Mon Oct 20 21:42:13 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* FIX #2688
- Change in TcSimplify.reduceContext:
We do *not* go around for new extra_eqs. Morally, we should,
but we can't without risking non-termination (see #2688). By
not going around, we miss some legal programs mixing FDs and
TFs, but we never claimed to support such programs in the
current implementation anyway.
MERGE TO 6.10
M ./compiler/typecheck/TcSimplify.lhs -7 +9
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20081021044213-6295e-1a2ead16820955c12a656a6fea86a3a6cb6cc410.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
