Thu Sep 18 09:17:19 PDT 2008 [EMAIL PROTECTED]
* Fix Trac #1470: improve handling of recursive instances (needed for SYB3)
This bug has been hanging around for a long time, as you'll see by its
number. The fix implements a feature that is really needed by SYB3, to
allow an instance to (rather indirectly) refer to itself. The trickiness
comes when solving the superclass constraints.
The whoel issue is explained in Note [Recursive instances and superclases]
in TcSimplify.
In cracking this one I found I could remove the WantSCs argument to the
ReduceMe flag, which is a worthwhile simplification. Good!
M ./compiler/typecheck/TcInstDcls.lhs -4 +5
M ./compiler/typecheck/TcSimplify.lhs -71 +144
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080918161719-1287e-4d38548f0c63b3d31e84737669d277c4be455d89.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
