On Mon, Mar 31, 2008 at 03:47:04PM +0200, Alexey Rodriguez Yakushev wrote:
> 
> The Data instance that Derive generates is as follows:
> 
> > instance (Data ctx a,
> >                   Data ctx (BinTree a),
> >                   Sat (ctx (BinTree a))) =>
> >                   Data ctx (BinTree a) where
> 
> Note the recursive |Data ctx (BinTree a)| in the context.

This looks like it is related to these tickets:

http://hackage.haskell.org/trac/ghc/ticket/1470
http://hackage.haskell.org/trac/ghc/ticket/1735


Thanks
Ian

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to