projects / ghc-hetmet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ff8e1d0)
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)
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


No differences found
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)