projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e3ec3f) | patch
Do less simplification when doing let-generalisation
authorsimonpj@microsoft.com <unknown>
Fri, 8 Oct 2010 13:35:42 +0000 (13:35 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 8 Oct 2010 13:35:42 +0000 (13:35 +0000)
commitcd2f5397bc1345fc37706168c268a8bd37af7f2f
treebbacf9ae03b8d32129c11ffe124be0f26a17a440tree | snapshot
parent7e3ec3f3aa3ecaf39cb4519f562ee20debcb5ececommit | diff
Do less simplification when doing let-generalisation

This fixes Trac #4361.  In a rather delicate way, but
no more delicate than before.  A more remoseless typechecker
would reject #4361 altogether.

See Note [Avoid unecessary constraint simplification]
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)