projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 049cdff) | patch
FIX #2688
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 21 Oct 2008 04:42:13 +0000 (04:42 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 21 Oct 2008 04:42:13 +0000 (04:42 +0000)
commite47c481d3e69601d902ce525f54de9246a80bcda
treeeb98e3ee3e926bf6f6b3bcaafe4b77de1dfa719ctree | snapshot
parent049cdffa62fb2e0b1580eacb5ed8a30650c3faf7commit | diff
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
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)