From: simonpj@microsoft.com <unknown>
Date: Mon, 7 Jan 2008 14:26:01 +0000 (+0000)
Subject: Fix Trac #2018: float-out was ignoring the kind of a coercion variable
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e2cf518a3dcccdddd609188ddba6fb121c2e25fe;hp=e2cf518a3dcccdddd609188ddba6fb121c2e25fe;p=ghc-hetmet.git

Fix Trac #2018: float-out was ignoring the kind of a coercion variable

The float-out transformation must handle the case where a coercion
variable is free, which in turn mentions type variables in its kind.
Just like a term variable really.

I did a bit of refactoring at the same time.

Test is tc241

MERGE to stable branch
---