-Simplest thing in the world, desugaring External Core:
-
-\begin{code}
-deSugarCore :: TypeEnv -> [TypecheckedCoreBind]
- -> IO (ModDetails, (SDoc, SDoc, [FAST_STRING], [CoreBndr]))
-deSugarCore type_env cs = do
- let
- mod_details
- = ModDetails { md_types = type_env
- , md_insts = []
- , md_rules = []
- , md_binds = [Rec (map (\ (lhs,_,rhs) -> (lhs,rhs)) cs)]
- }
-
- no_foreign_stuff = (empty,empty,[],[])
- return (mod_details, no_foreign_stuff)
-
-\end{code}