restrictions to open type families
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.
2) The type soundness of Haskell
Akio
Thanks that's amazing! I wonder if it'd be worth adding it, with commentary,
(and attaching the files) as a Trac ticket? I know its already fixed, but it's
great to be able to say to see an example of why this is vital, see Trac
#8324, whereas email archives are more ephemeral somehow.
I created a ticket and attached the files:
http://ghc.haskell.org/trac/ghc/ticket/8162
-- Akio
On Fri, Aug 23, 2013 at 7:46 PM, Simon Peyton-Jones
simo...@microsoft.comwrote:
Akio
** **
Thanks that’s amazing! I wonder if it’d be worth adding it, with
commentary, (and attaching
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
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.
2) The type soundness of Haskell (as implemented in GHC)