[Haskell-cafe] SYB with class: Bug in Derive.hs module

[Ian Lynagh]

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