Make records work properly with type families
authorsimonpj@microsoft.com <unknown>
Wed, 2 May 2007 16:34:57 +0000 (16:34 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 2 May 2007 16:34:57 +0000 (16:34 +0000)
commitff8e1d01524b48e028b09e2b04b2e5303cb6d95f
tree35b6a148ed905994b7dca04414aec18d7c9b64d7
parent86bec4298d582ef1d8f0a201d6a81145e1be9498
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
12 files changed:
compiler/basicTypes/DataCon.lhs
compiler/basicTypes/MkId.lhs
compiler/deSugar/Coverage.lhs
compiler/deSugar/DsExpr.lhs
compiler/deSugar/DsMeta.hs
compiler/hsSyn/Convert.lhs
compiler/hsSyn/HsExpr.lhs
compiler/parser/RdrHsSyn.lhs
compiler/rename/RnExpr.lhs
compiler/typecheck/TcExpr.lhs
compiler/typecheck/TcHsSyn.lhs
compiler/types/Type.lhs