cvs commit: fptools/libraries/base/GHC Base.lhs
simonpj at microsoft.com
Fri Feb 13 15:44:23 EST 2004
| Right, but I'm also interested in GHC's desugaring. The old deal was
| that the argument order was the order of the leftmost occurrences of
| variables in the type. Is that changing, or is this protection
| any change in the future?
I don't think that was ever an explicit rule. The rule is only that it's
the order of the for-alls and otherwise undefined.
Now, I think there may well be a case for nailing down the order when
there aren't explicit for-alls, but the case hasn't been made yet.
More information about the Cvs-libraries