-Simplest thing in the world, desugaring External Core:
-
-\begin{code}
-deSugarCore :: (TypeEnv, [TypecheckedCoreBind], [TypecheckedRuleDecl])
- -> IO (ModDetails, (SDoc, SDoc, [FAST_STRING], [CoreBndr]))
-deSugarCore (type_env, pairs, rules)
- = return (mod_details, no_foreign_stuff)
- where
- mod_details = ModDetails { md_types = type_env
- , md_insts = []
- , md_rules = ds_rules
- , md_binds = ds_binds }
- ds_binds = [Rec pairs]
- ds_rules = [(fun,rule) | IfaceRuleOut fun rule <- rules]
-
- no_foreign_stuff = (empty,empty,[],[])
-\end{code}