-
Simon Peyton Jones 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?
9ceeb6e5