patch applied (ghc): Make scoped type variables work for default methods

[Simon Peyton Jones]

Mon Jun 12 04:38:55 PDT 2006  simonpj at microsoft.com
  * Make scoped type variables work for default methods
  
  Consider
    class C a where
      op :: forall b. a -> b -> b
      op = <rhs>
  
  Then 'b' should be in scope in <rhs>.  I had omitted this case.
  This patch fixes it.
  

    M ./compiler/rename/RnBinds.lhs -9 +11
    M ./compiler/rename/RnSource.lhs -4 +5
    M ./compiler/typecheck/TcBinds.lhs -26 +32
    M ./compiler/typecheck/TcClassDcl.lhs -15 +14
    M ./compiler/typecheck/TcDeriv.lhs -1 +1
    M ./compiler/typecheck/TcInstDcls.lhs -1 +4