• simonpj's avatar
    [project @ 2001-05-03 08:13:25 by simonpj] · cd7dc9b1
    simonpj authored
    ****	MERGE WITH 5.00 BRANCH     ********
    
    	--------------------------------
    	Fix a bad implicit parameter bug
    	--------------------------------
    
    TcSimplify.tcSimplifyIPs was just completely wrong; it wasn't
    doing improvement properly nor binding values properly. Sigh.
    
    To make this work nicely I added
    	Inst.instName :: Inst -> Name
    cd7dc9b1
TcSimplify.lhs 52.5 KB