Hi Sebastian,

On Thu, Apr 15, 2010 at 15:08, Sebastian Fischer <sebf@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@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users