Wed Jan 3 03:50:09 PST 2007 [EMAIL PROTECTED]
* Fix several bugs related to finding free variables
Now that coercion variables mention types, a type-lambda binder can
have free variables. This patch adjusts the free-variable finder
to take account of this, by treating Ids and TyVars more uniformly.
In addition, I fixed a bug in the specialiser that was missing a
free type variable in a binder. And a bug in tyVarsOfInst that
was missing the type variables in the kinds of the quantified tyvars.
M ./compiler/basicTypes/Var.lhs -14 +16
M ./compiler/coreSyn/CoreFVs.lhs -22 +22
M ./compiler/simplCore/SetLevels.lhs -2 +1
M ./compiler/specialise/Specialise.lhs -3 +5
M ./compiler/typecheck/Inst.lhs -3 +5
M ./compiler/typecheck/TcPat.lhs -1 +1
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
