Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Simon Peyton Jones <simonpj <at> microsoft.com>
Subject: patch applied (ghc): Make records work properly with type families
Newsgroups: gmane.comp.lang.haskell.cvs.ghc
Date: Wednesday 2nd May 2007 16:40:20 UTC (over 10 years ago)
Wed May  2 09:34:57 PDT 2007  [email protected]
  * Make records work properly with type families
  
  This fixes Trac #1204.  There's quite a delicate interaction of
  GADTs, type families, records, and in particular record updates.
  
  Test is indexed-types/should_compile/Records.hs

    M ./compiler/basicTypes/DataCon.lhs -15 +5
    M ./compiler/basicTypes/MkId.lhs +2
    M ./compiler/deSugar/Coverage.lhs -5 +5
    M ./compiler/deSugar/DsExpr.lhs -53 +32
    M ./compiler/deSugar/DsMeta.hs -1 +1
    M ./compiler/hsSyn/Convert.lhs -1 +1
    M ./compiler/hsSyn/HsExpr.lhs -4 +7
    M ./compiler/parser/RdrHsSyn.lhs -1 +1
    M ./compiler/rename/RnExpr.lhs -2 +2
    M ./compiler/typecheck/TcExpr.lhs -33 +41
    M ./compiler/typecheck/TcHsSyn.lhs -6 +6
    M ./compiler/types/Type.lhs -6 +17
 
CD: 4ms