• simonpj's avatar
    [project @ 2002-02-28 12:17:19 by simonpj] · 469c3333
    simonpj authored
    ---------------------------------
    	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.
    469c3333