patch applied (ghc): Fix several bugs related to finding free variables

Simon Peyton Jones <[email protected]> Wed, 3 Jan 2007 04:16:34 -0800

Newsgroups	gmane.comp.lang.haskell.cvs.all,gmane.comp.lang.haskell.cvs.ghc
Message-ID	<[email protected]>

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