projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1ee74d) | patch
[project @ 2002-05-10 12:43:02 by simonpj]
authorsimonpj <unknown>
Fri, 10 May 2002 12:43:02 +0000 (12:43 +0000)
committersimonpj <unknown>
Fri, 10 May 2002 12:43:02 +0000 (12:43 +0000)
commit229270a933be5a219c2da09501224a15ffcd3138
tree10ea7854c4b1cc87438fe39ffb7a781c9410b65ftree | snapshot
parentc1ee74d8665d16ae85ec19bb6f16b0972b374148commit | diff
[project @ 2002-05-10 12:43:02 by simonpj]
If a type signature mentions a type variable that doesn't appear in
the type, GHC was dying horribly. Example (from happy -s):

type T a = () -> ()

f :: T a
f () = ()

This commit fixes the problem.
ghc/compiler/typecheck/TcBinds.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)