projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1a96ab) | patch
Fix Trac #2538: better error messages when validating types
authorsimonpj@microsoft.com <unknown>
Wed, 27 Aug 2008 15:30:51 +0000 (15:30 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 27 Aug 2008 15:30:51 +0000 (15:30 +0000)
commit93f3bbbece9f46811946d9de10a90f6c7a2114d6
tree9da21de81dfa83b7d73d68ff28efe118ea81c6f1tree | snapshot
parenta1a96ab952241f1ffbe3e3246bc2fb1715bbcf3bcommit | diff
Fix Trac #2538: better error messages when validating types

This fix solely concerns error messages, and uses a bit of contextual
information to suggest plausible flags.

It was rather more fiddly to implement than I expected.  Oh well.
compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)