interaction of GADTs and data families: a bug?
José Pedro Magalhães
jpm at cs.uu.nl
Thu Apr 15 09:14:25 EDT 2010
On Thu, Apr 15, 2010 at 15:08, Sebastian Fischer <
sebf at informatik.uni-kiel.de> wrote:
> Is this perhaps another instance of #3851?
> Honestly: I don't know.
> My example is different from the one shown in #3851 in that it also does
> not work in GHC 6.10 (which even panics instead of giving the error 6.12
> gives) and in that it uses a data family, not a type family.
The example in the ticket uses type families, but later in the comments I
show an example with data families which fails on both 6.10.4 and 6.12.1.
> Whether or not it is the same "awkward interaction" that causes this
> behaviour is beyond my expertise.
> Underestimating the novelty of the future is a time-honored tradition.
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users