projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bfa3486) | patch
[project @ 2001-02-08 15:00:28 by simonmar]
authorsimonmar <unknown>
Thu, 8 Feb 2001 15:00:28 +0000 (15:00 +0000)
committersimonmar <unknown>
Thu, 8 Feb 2001 15:00:28 +0000 (15:00 +0000)
commit510d96b44148caf7261dcc3530648c5905016efc
tree7a4609e29478e07b4049fe3ddc97ee6ac5abf989tree | snapshot
parentbfa348652cc8d75240bccdbbad819998f0396726commit | diff
[project @ 2001-02-08 15:00:28 by simonmar]
Allow zonking an unbound type variable with kind openTypeKind with voidTy.
I'm fairly sure this is ok - Simon?
ghc/compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)