projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 858a5b2) | patch
Fix Trac #3955: renamer and type variables
authorsimonpj@microsoft.com <unknown>
Fri, 9 Apr 2010 16:37:10 +0000 (16:37 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 9 Apr 2010 16:37:10 +0000 (16:37 +0000)
commitb87e22d21055cd2bee40f0cc6873f1dcbe60fd01
tree4240a369fc82a6d9d0d807617a5f54f704f52e3ftree | snapshot
parent858a5b2607fc14f55e285127996c8af24a90b00ecommit | diff
Fix Trac #3955: renamer and type variables

The renamer wasn't computing the free variables of a type declaration
properly.  This patch refactors a bit, and makes it more robust,
fixing #3955 and several other closely-related bugs.  (We were
omitting some free variables and that could just possibly lead to a
usage-version tracking error.
compiler/rename/RnEnv.lhs diff | blob | history
compiler/rename/RnSource.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)