Refactor the way we infer types for functions in a mutually recursive group
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 21 Aug 2012 13:37:20 +0000 (14:37 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 21 Aug 2012 13:37:20 +0000 (14:37 +0100)
commit1a591a0ce0e1b70eb5e6646542d5f110bfefc9af
tree00ddb7c688c681f8746c67ed2cc42b1a982c3f67
parent2c6d11fa17ff5cab7d62e6dbea3fc9e501fce7f3
Refactor the way we infer types for functions in a mutually recursive group

See Note [Impedence matching] in TcBinds.
Fixes Trac #7173
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcMType.lhs
compiler/typecheck/TcSimplify.lhs