projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31c7568) | patch
Fix Trac #4099: better error message for type functions
authorsimonpj@microsoft.com <unknown>
Mon, 31 May 2010 14:04:13 +0000 (14:04 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 31 May 2010 14:04:13 +0000 (14:04 +0000)
commit6270b3e37ee9cb00529e4bb341291e1e3447e8eb
tree86268286813a7a132adf91952d9b27cdf635c5d9tree | snapshot
parent31c7568b24ac63f0b60751a457eeb697dfffc11fcommit | diff
Fix Trac #4099: better error message for type functions

Now we only want about "T is a type function and might not be
injective" when matchin (T x) against (T y), which is the case
that is really confusing.
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)