New restrictions to open type families

[Richard Eisenberg]

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 <eir at 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
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20130823/0a44411d/attachment.htm>