[project @ 2003-01-24 11:26:39 by simonpj]
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?
Please register or sign in to comment