New restrictions to open type families
tkn.akio at gmail.com
Thu Aug 22 10:34:26 CEST 2013
Looking at the ticket  and a draft paper linked there  , I learned
that in GHC 7.8, two type family instances are considered overlapping if
the argument lists unify in the presence of infinite types.
My question is, why is this restriction necessary? A footnote in the paper
states that it was not possible with GHC 7.6 to actually exploit the
inconsistency. Would it be difficult to solve the problem by making this
behaviour part of the specification, rather than accepting fewer programs?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users