cvs commit: fptools/ghc/compiler/iface TcIface.lhs fptools/ghc/compiler/main CmdLineOpts.lhs DriverFlags.hs HscTypes.lhs fptools/ghc/compiler/rename RnBinds.lhs RnEnv.lhs fptools/ghc/compiler/typecheck Inst.lhs TcArrows.lhs TcBinds.lhs ...

[Simon Peyton Jones]

simonpj     2004/12/22 08:59:24 PST

  Modified files:
    ghc/compiler/iface   TcIface.lhs 
    ghc/compiler/main    CmdLineOpts.lhs DriverFlags.hs 
                         HscTypes.lhs 
    ghc/compiler/rename  RnBinds.lhs RnEnv.lhs 
    ghc/compiler/typecheck Inst.lhs TcArrows.lhs TcBinds.lhs 
                           TcClassDcl.lhs TcDeriv.lhs TcEnv.lhs 
                           TcHsType.lhs TcInstDcls.lhs TcMType.lhs 
                           TcPat.lhs TcRnMonad.lhs TcType.lhs 
    ghc/compiler/types   InstEnv.lhs Unify.lhs 
    ghc/docs/users_guide flags.xml glasgow_exts.xml 
  Log:
  	----------------------------------------
  	     Add more scoped type variables
  	----------------------------------------
  
  Now the top-level forall'd variables of a type signature scope
  over the right hand side of that function.
  
  	f :: a -> a
  	f x = ....
  
  The type variable 'a' is in scope in the RHS, and in f's patterns.
  
  It's implied by -fglasgow-exts, but can also be switched off independently
  using -fscoped-type-variables (and the -fno variant)
  
  Revision  Changes    Path
  1.28      +2 -2      fptools/ghc/compiler/iface/TcIface.lhs
  1.195     +1 -0      fptools/ghc/compiler/main/CmdLineOpts.lhs
  1.144     +2 -1      fptools/ghc/compiler/main/DriverFlags.hs
  1.120     +0 -1      fptools/ghc/compiler/main/HscTypes.lhs
  1.94      +7 -3      fptools/ghc/compiler/rename/RnBinds.lhs
  1.186     +48 -20    fptools/ghc/compiler/rename/RnEnv.lhs
  1.144     +14 -13    fptools/ghc/compiler/typecheck/Inst.lhs
  1.10      +2 -2      fptools/ghc/compiler/typecheck/TcArrows.lhs
  1.131     +66 -59    fptools/ghc/compiler/typecheck/TcBinds.lhs
  1.144     +9 -12     fptools/ghc/compiler/typecheck/TcClassDcl.lhs
  1.138     +2 -2      fptools/ghc/compiler/typecheck/TcDeriv.lhs
  1.135     +3 -7      fptools/ghc/compiler/typecheck/TcEnv.lhs
  1.18      +1 -2      fptools/ghc/compiler/typecheck/TcHsType.lhs
  1.171     +24 -25    fptools/ghc/compiler/typecheck/TcInstDcls.lhs
  1.63      +44 -34    fptools/ghc/compiler/typecheck/TcMType.lhs
  1.104     +1 -1      fptools/ghc/compiler/typecheck/TcPat.lhs
  1.42      +5 -5      fptools/ghc/compiler/typecheck/TcRnMonad.lhs
  1.115     +8 -3      fptools/ghc/compiler/typecheck/TcType.lhs
  1.37      +4 -1      fptools/ghc/compiler/types/InstEnv.lhs
  1.19      +3 -2      fptools/ghc/compiler/types/Unify.lhs
  1.8       +11 -2     fptools/ghc/docs/users_guide/flags.xml
  1.10      +22 -13    fptools/ghc/docs/users_guide/glasgow_exts.xml