• simonpj's avatar
    [project @ 2002-06-21 13:34:42 by simonpj] · e91b5dcb
    simonpj 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