21 Jul
2012
21 Jul
'12
3:34 a.m.
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.