Haskell platform proposal: split package
lemming at henning-thielemann.de
Sat Jul 21 09:34:13 CEST 2012
On Fri, 20 Jul 2012, Brent Yorgey wrote:
> As to whether there is a way to do this without using
> ExistentialQuantification, I don't see an obvious solution (though
> there probably is one). The issue is that we certainly don't want to
> require an (Eq a) constraint when using a predicate, but we need one
> when matching sublists. I'm open to suggestions.
If you do not embed the Eq dictionary into DelimSublist then you have to
add the Eq constraint to some functions. Is this a problem? In turn you
would get a perfectly portable Haskell 98 module.
See attached patch. You would still need to do a major version bump.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 4267 bytes
More information about the Libraries