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
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
