• simonpj's avatar
    [project @ 2003-01-24 11:26:39 by simonpj] · 9ceeb6e5
    simonpj authored
    Perform 'tidying' on the implicit bindings before emitting
    	External Core.  We were getting silly bindings like
    		\ tpl -> case tpl of tpl -> (tpl,tpl) -> tpl
    	Maybe we should add these implicit bindings in CoreTidy,
    	rather than in both MkExternalCore and CorePrep?
MkExternalCore.lhs 7.21 KB