patch applied (ghc-6.10/ghc): FIX #2688
Ian Lynagh
igloo at earth.li
Tue Oct 21 15:14:20 EDT 2008
Mon Oct 20 21:42:13 PDT 2008 Manuel M T Chakravarty <chak at cse.unsw.edu.au>
* 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-6.10/ghc/_darcs/patches/20081021044213-6295e-1a2ead16820955c12a656a6fea86a3a6cb6cc410.gz
More information about the Cvs-ghc
mailing list