-
Simon Peyton Jones authored
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
e2cf518a