projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a393eb) | patch
[project @ 2005-03-16 09:04:26 by simonpj]
authorsimonpj <unknown>
Wed, 16 Mar 2005 09:04:26 +0000 (09:04 +0000)
committersimonpj <unknown>
Wed, 16 Mar 2005 09:04:26 +0000 (09:04 +0000)
commitad626c2450db94ae9094ff7f633afc2974babf7f
treec403c152afd45abf285909ba6ed0e5fc41388713tree | snapshot
parent9a393eb20e57838c027925e884c5cb6ed16ad6e1commit | diff
[project @ 2005-03-16 09:04:26 by simonpj]
----------------------------------
  Two GADT error-reporting bugs
----------------------------------

Merge to STABLE

...missed file...

1.  Bug in kind-checking for GADTs; turned out to be in
    isOpenTypeKind on KindVars

....
ghc/compiler/types/Kind.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)