projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ec7f45) | patch
[project @ 2001-05-31 09:46:21 by simonpj]
authorsimonpj <unknown>
Thu, 31 May 2001 09:46:21 +0000 (09:46 +0000)
committersimonpj <unknown>
Thu, 31 May 2001 09:46:21 +0000 (09:46 +0000)
commitf0d65bc7f6d4f70490fedac2a6ef0bb113c71443
treeec480a40190e6ac87ca39dfca0f44e499ab39c8etree | snapshot
parent6ec7f45fd25a978c9f955f0c07790e1e42949d4bcommit | diff
[project @ 2001-05-31 09:46:21 by simonpj]
----------------------------------
Fix an existential-constructor bug
----------------------------------

DON'T MERGE!

This fixes a bug I introduced in my
tidying up for scoped type variables.

You'll get bizarre behaviour from the HEAD if
you use existentials, until you add this fix!
ghc/compiler/typecheck/TcMatches.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)