projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 538da6c) | patch
[project @ 2001-09-20 08:47:13 by simonpj]
authorsimonpj <unknown>
Thu, 20 Sep 2001 08:47:13 +0000 (08:47 +0000)
committersimonpj <unknown>
Thu, 20 Sep 2001 08:47:13 +0000 (08:47 +0000)
commit2c2509997743edeb63830b86c8ee910db2414c6b
tree8115abc2913243399623ffdbfdfbdb552dc4ed01tree | snapshot
parent538da6cb2ff0450900e3a33cb285c942b079fe5dcommit | diff
[project @ 2001-09-20 08:47:13 by simonpj]
------------------------------
Fix a scoped-type-variable bug
------------------------------

MERGE WITH STABLE BRANCH

The bug caused an incorrect failure when the same type
variable was used more than once in a collection of patterns:

f (x :: t) (y :: t) = e

On the way, I eliminated bindNakedTyVarsFVRn, which was only
called once.
ghc/compiler/rename/RnEnv.lhs diff | blob | history
ghc/compiler/rename/RnExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)