projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65d9413) | patch
Use mkFunTy to ensure that invariants are respected
authorsimonpj@microsoft.com <unknown>
Mon, 14 Jun 2010 13:41:59 +0000 (13:41 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 14 Jun 2010 13:41:59 +0000 (13:41 +0000)
commit8c5e145eb7f4e88fc3f2ecf5e509768818ae6c02
tree26ee591fa3f4590678d02c038902132538b5de6atree | snapshot
parent65d9413573466e789ba2b1c5c7c74339df0f16edcommit | diff
Use mkFunTy to ensure that invariants are respected
compiler/types/Coercion.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)