projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 968e56d) | patch
[project @ 2001-08-21 12:56:05 by simonpj]
authorsimonpj <unknown>
Tue, 21 Aug 2001 12:56:06 +0000 (12:56 +0000)
committersimonpj <unknown>
Tue, 21 Aug 2001 12:56:06 +0000 (12:56 +0000)
commitad7fa9d9112044c6649e2ad5f939485b5425d588
tree75c86c6d35856588b44eea5d1f2389210cd99e16tree | snapshot
parent968e56da6d0f217b873ede020ec629b8e40382cdcommit | diff
[project @ 2001-08-21 12:56:05 by simonpj]
Further corrections to type validity checking
ghc/compiler/typecheck/TcInstDcls.lhs diff | blob | history
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)