projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6561069) | patch
Fix Trac #2999: change an ASSERT to a WARN
authorsimonpj@microsoft.com <unknown>
Wed, 4 Feb 2009 08:38:00 +0000 (08:38 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 4 Feb 2009 08:38:00 +0000 (08:38 +0000)
commit9524fc33fdd65eca2c29be0dd03904fae4b22f46
treef49541d387ff3fc68516b73fe95ff6129f8e8e00tree | snapshot
parent6561069ad5d0b11de223686be59372a3b1e6aed7commit | diff
Fix Trac #2999: change an ASSERT to a WARN

A bug in the constraint simplifier means that an equality can be solved
twice.  It's harmless, and will go away with the new constraint simplifier.
Hence warning, to avoid unnecessary outright failure on eg Trac #2999.
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)