Haskell platform proposal: split package

Henning Thielemann 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...
Name: split.diff
Type: text/x-diff
Size: 4267 bytes
URL: <http://www.haskell.org/pipermail/libraries/attachments/20120721/4e5ee4e5/attachment.diff>

More information about the Libraries mailing list