• simonpj's avatar
    [project @ 2001-09-20 08:47:13 by simonpj] · 2c250999
    simonpj authored
    ------------------------------
    	Fix a scoped-type-variable bug
    	------------------------------
    
    	MERGE WITH STABLE BRANCH
    
    The bug caused an incorrect failure when the same type
    variable was used more than once in a collection of patterns:
    
    	f (x :: t) (y :: t) = e
    
    On the way, I eliminated bindNakedTyVarsFVRn, which was only
    called once.
    2c250999