Fwd: New restrictions to open type families

[Akio Takano]

(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/c26249e3/attachment.htm>