interaction of GADTs and data families: a bug?

Sebastian Fischer sebf at
Thu Apr 15 09:08:44 EDT 2010

> 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.

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.

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Glasgow-haskell-users mailing list