projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e342d89) | patch
Improve error messages
authorsimonpj@microsoft.com <unknown>
Mon, 1 Nov 2010 16:46:30 +0000 (16:46 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 1 Nov 2010 16:46:30 +0000 (16:46 +0000)
commit1c84e30e295e486c8e97e48aae6ae28060c15a85
tree38c035646e88f09d2dbf3411220df8dd7a307ce7tree | snapshot
parente342d89f5b51d940ccf3ded17e5eb882ee82ae33commit | diff
Improve error messages

In particular, instead of
   Cannot match 'a' with 'b'
we get
   Could not deduce (a~b) from context (F a ~ b)
or whatever
compiler/typecheck/TcErrors.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)