projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d831632) | patch
FIX #1688: Givens in checkLoop are not that rigid after all
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 19 Sep 2007 15:07:38 +0000 (15:07 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 19 Sep 2007 15:07:38 +0000 (15:07 +0000)
commit1d051fbc5df6586298357580fd48de1a51e645b4
treeda5147419ac91897c957a5222cb0d9d4d6d22ad4tree | snapshot
parentd831632bcfbee58a1951b1880ce1a07b70d21ecccommit | diff
FIX #1688: Givens in checkLoop are not that rigid after all
- This patch re-instates the policy of 6.6.1 to zonk the given constraints
  in the simplifier loop.

MERGE TO STABLE
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)