projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 923ee9d) | patch
Fix bug in tcSimplifyInfer (Trac #1382)
authorsimonpj@microsoft.com <unknown>
Wed, 30 May 2007 08:12:40 +0000 (08:12 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 30 May 2007 08:12:40 +0000 (08:12 +0000)
commitfd7f8e936e50b3ee589efc36ac2fc54cc6c05300
treec9503a53bd250a8ee051331e79981831e11ecda9tree | snapshot
parent923ee9d360ed15331ac6faf8a6b4aca334fc0ceecommit | diff
Fix bug in tcSimplifyInfer (Trac #1382)

When I rejigged constraint simplification when inferring types, I missed
a corner case.  Somethign that it's distressingly easy to do.  Anyway
this fixes it; see the comments in tcSimplifyInfer with the second call
to partition and extendLIEs.

The test is tcfail181.
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)