projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9591547) | patch
Fixes the way we check if flattening happened during
authorDimitrios Vytiniotis <dimitris@microsoft.com>
Wed, 18 May 2011 09:13:55 +0000 (10:13 +0100)
committerDimitrios Vytiniotis <dimitris@microsoft.com>
Wed, 18 May 2011 09:13:55 +0000 (10:13 +0100)
commitb6264a6b8a8e22e24464da39ca0a3a0176d91f4e
tree3357ffb2f9961fb841b46d69efc4f972828dc70etree | snapshot
parent9591547fbbdf12728884e125f8ba08b0e6e69f82commit | diff
Fixes the way we check if flattening happened during
canonicalization. We now check whether the returned
coercion is an identity coercion. We used to check
whether we return any constraints from flattening but
that's wrong in the presence of the flattening cache.
compiler/typecheck/TcCanonical.lhs diff | blob | history
compiler/typecheck/TcSMonad.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)