projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from:
0cffd31
)
Fix Trac #3590: a nasty type-checker bug in left/right sections
author
simonpj@microsoft.com
<unknown>
Tue, 20 Oct 2009 15:55:40 +0000
(15:55 +0000)
committer
simonpj@microsoft.com
<unknown>
Tue, 20 Oct 2009 15:55:40 +0000
(15:55 +0000)
The bug related to the fact that boxyUnify (now) returns a coercion,
which was simply being ignored. (TcExpr is clearly not warning-free
wrt the unused-monadic-bind thing!)
Anyway, it's fine now. I added a test case to the test suite.
MERGE to 6.12 please.
No differences found