Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: <chak <at> cse.unsw.edu.au>
Subject: patch applied (ghc): Parse and desugar equational constraints
Newsgroups: gmane.comp.lang.haskell.cvs.ghc
Date: Thursday 28th December 2006 01:07:02 UTC (over 11 years ago)
Wed Dec 27 17:03:48 PST 2006  Manuel M T Chakravarty 
  * 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
 
CD: 3ms