[project @ 2002-02-28 12:17:19 by simonpj]
---------------------------------
Fix a rather obscure bug in tcGen
---------------------------------
This bug concerns deciding when a type variable "escapes",
and hence we can't generalise it. Our new subsumption-checking
machinery for higher-ranked types requires a slightly
more general approach than I had before. The main excitement
is in TcUnify.checkSigTyVars and its friends.
As usual, I moved functions around and cleaned things up a bit;
hence the multi-module commit.
12 files changed: