Wed Dec 27 17:03:48 PST 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Parse and desugar equational constraints
- With -findexed-types, equational constraints can appear in contexts
wherever class predicates are allowed.
- The two argument types need to be boxed and rank 0.
M ./compiler/deSugar/DsMeta.hs +1
M ./compiler/hsSyn/HsTypes.lhs -6 +9
M ./compiler/parser/Parser.y.pp -1 +2
M ./compiler/parser/RdrHsSyn.lhs -17 +23
M ./compiler/rename/RnHsSyn.lhs +2
M ./compiler/rename/RnTypes.lhs -7 +13
M ./compiler/typecheck/TcHsType.lhs -12 +26
M ./compiler/typecheck/TcMType.lhs -9 +25
M ./compiler/typecheck/TcType.lhs -7 +4
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
