• simonpj's avatar
    [project @ 2004-12-22 16:58:34 by simonpj] · 20e39e0e
    simonpj authored
    	     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)