projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e25bdc) | patch
[project @ 2002-09-09 13:48:01 by simonpj]
authorsimonpj <unknown>
Mon, 9 Sep 2002 13:48:01 +0000 (13:48 +0000)
committersimonpj <unknown>
Mon, 9 Sep 2002 13:48:01 +0000 (13:48 +0000)
commit404e3520f5c8ed2887d26d82a4c2f5cbf328e63c
treeb3279ea47f60578b4b8cca6695d6cc426791e342tree | snapshot
parent1e25bdc2ea3683b7b9932e709ca90e258ad6c4bfcommit | diff
[project @ 2002-09-09 13:48:01 by simonpj]
The body of a for-all should be of kind *

MERGE TO STABLE
ghc/compiler/typecheck/TcMonoType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)