Thu Sep 7 03:27:18 PDT 2006 [EMAIL PROTECTED]
* Result type signatures are no longer supported (partial)
I had failed to remove the bit where result type signatures bind
lexical type variables. And now we are planning to remove them entirely.
This commit therefore does a partial removal (to avoid destablising 6.6).
It also arranges that
f :: sig = rhs
means a *pattern* binding (not a function binding with no arguments
and a result signature), which makes sense.
M ./compiler/hsSyn/HsBinds.lhs -5 +6
M ./compiler/parser/RdrHsSyn.lhs +4
M ./compiler/typecheck/TcMatches.lhs -7 +7
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
