projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5adfdfb) | patch
Refactoring of where tcSimplifyTop happens
authorsimonpj@microsoft.com <unknown>
Wed, 22 Nov 2006 13:51:21 +0000 (13:51 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 22 Nov 2006 13:51:21 +0000 (13:51 +0000)
commit344eb6d9a478a903a4bf6c35bbd76e609c7924dc
treecad4f16da4119675b66d6f76810fb9b838208539tree | snapshot
parent5adfdfb259415ca99d67d3c8b9e5df68cb736326commit | diff
Refactoring of where tcSimplifyTop happens

We want to do tcSimplifyTop after checkMain, because checkMain can add
useful type information that eliminates ambiguity.  E.g.
main = return undefined

This is the way it used to be in 6.6, and I think I mistakenly moved it
when doing implication constraints. This patch effectively puts it back
the way it was.

Cures the cg053 failure.
compiler/typecheck/TcRnDriver.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)