patch applied (ghc): In float-out,
make sure we abstract over the type variables in the kind of a
Simon Peyton Jones
simonpj at microsoft.com
Thu Jan 17 06:11:50 EST 2008
Wed Jan 16 07:39:08 PST 2008 simonpj at microsoft.com
* In float-out, make sure we abstract over the type variables in the kind of a coercion
I can't remember where this bug showed up, but we were abstracting over a
coercion variable (co :: a ~ T), without also abstracting over 'a'.
The fix is simple.
M ./compiler/simplCore/SetLevels.lhs -13 +18
More information about the Cvs-ghc