(I forgot to send to the list, trying again) Thank you very much for your detailed explanation!
On Fri, Aug 23, 2013 at 1:24 PM, Richard Eisenberg <e...@cis.upenn.edu>wrote: > This is a good question. Happily, there are at least two decent answers. > > 1) We're not sure that this problem cannot cause a segfault… it's just > that we've been unable to produce one when trying. Perhaps we haven't tried > hard enough. > I successfully constructed such an example. https://github.com/takano-akio/type-family-overlap - Akio
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users