-
Simon Peyton Jones authored
--------------------------------------------- Calculate the free vars of a type 'right' --------------------------------------------- type C u a = u Question: is 'a' free in 'C u a'? I think the answer should be 'no'; see typecheck/should_compile/tc157.hs for an example of why it matters. This commit makes it so, and adds comments to explain a dark corner in the zonking code.
e91b5dcb