From: simonpj@microsoft.com <unknown>
Date: Wed, 13 May 2009 15:09:22 +0000 (+0000)
Subject: Fix Trac #3219: type of a record update
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=80d071f68134bf3ad89d4de0d83807e2f0ec32c0;hp=80d071f68134bf3ad89d4de0d83807e2f0ec32c0

Fix Trac #3219: type of a record update

Record updates are amazingly hard to typecheck right.  This is one place
where GHC's policy of typechecking the original source is much harder than
desugaring and typechecking that!

Anyway, the bug here is that to compute the 'fixed' type variables I was
only looking at one constructor rather than all the relevant_cons

Test is typecheck/should_compile/T3219, which GHC 6.10 barfs on (with Lint).
---