projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 931de17) | patch
[project @ 2005-03-15 15:40:23 by simonpj]
authorsimonpj <unknown>
Tue, 15 Mar 2005 15:40:23 +0000 (15:40 +0000)
committersimonpj <unknown>
Tue, 15 Mar 2005 15:40:23 +0000 (15:40 +0000)
commitb462d6a6d58609293a5ede8f87917042a68886d1
tree2e5e82fec600b09963955cf1d6799ce5a67c7f3btree | snapshot
parent931de17ed344e8b63fc086ba9e1b28a86cd7b531commit | diff
[project @ 2005-03-15 15:40:23 by simonpj]
----------------------------------
  Two GADT error-reporting bugs
----------------------------------

Merge to STABLE

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

2.  Missed check for the return type for GADTs
ghc/compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)