patch applied (ghc): Parse and desugar equational constraints

[email protected] Wed, 27 Dec 2006 17:07:02 -0800

Newsgroups	gmane.comp.lang.haskell.cvs.all,gmane.comp.lang.haskell.cvs.ghc
Message-ID	<[email protected]>

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