interaction of GADTs and data families: a bug?

[José Pedro Magalhães]

Hi Sebastian,

On Thu, Apr 15, 2010 at 15:08, Sebastian Fischer <
sebf at informatik.uni-kiel.de> wrote:

> Is this perhaps another instance of #3851?
> http://hackage.haskell.org/trac/ghc/ticket/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.


Cheers,
Pedro


>
> Whether or not it is the same "awkward interaction" that causes this
> behaviour is beyond my expertise.
>
> Cheers,
> Sebastian
>
>   --
> Underestimating the novelty of the future is a time-honored tradition.
> (D.G.)
>
>
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20100415/b117966b/attachment.html