Yes -- wow. I had tried similar techniques, but couldn't get it to go through in the end. I think using the datatype was the key. Cool!
I will update the wiki as per Simon's suggestions. On Aug 23, 2013, at 6:34 AM, Akio Takano wrote: > (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
