projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5932ca8) | patch
[project @ 2004-03-17 08:54:19 by simonpj]
authorsimonpj <unknown>
Wed, 17 Mar 2004 08:54:19 +0000 (08:54 +0000)
committersimonpj <unknown>
Wed, 17 Mar 2004 08:54:19 +0000 (08:54 +0000)
commita6001411fdda0de932e8c70b10c5e1637ff827e1
tree9d775ebe99bcd6ffa9d7fd3059327d114cd2a0fatree | snapshot
parent5932ca86bc4e13f7491cf9db8baa28884696ff4dcommit | diff
[project @ 2004-03-17 08:54:19 by simonpj]
Use sub-kind rather than kind-equality check in matchTys,
just as we do in TcUnify.  This is someting I failed to
do when shifting to the funky new kind representation.
ghc/compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)