patch applied (ghc): Make records work properly with type families

Simon Peyton Jones simonpj at microsoft.com
Wed May 2 12:40:20 EDT 2007


Wed May  2 09:34:57 PDT 2007  simonpj at microsoft.com
  * 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



More information about the Cvs-ghc mailing list