\section[Desugar]{@deSugar@: the main function}
\begin{code}
-module Desugar ( deSugar, deSugarExpr ) where
+module Desugar ( deSugar, deSugarExpr,
+ deSugarCore ) where
#include "HsVersions.h"
import CmdLineOpts ( DynFlags, DynFlag(..), dopt, opt_SccProfilingOn )
-import HscTypes ( ModDetails(..) )
+import HscTypes ( ModDetails(..), TypeEnv )
import HsSyn ( MonoBinds, RuleDecl(..), RuleBndr(..),
HsExpr(..), HsBinds(..), MonoBinds(..) )
-import TcHsSyn ( TypecheckedRuleDecl, TypecheckedHsExpr )
+import TcHsSyn ( TypecheckedRuleDecl, TypecheckedHsExpr,
+ TypecheckedCoreBind )
import TcModule ( TcResults(..) )
import Id ( Id )
import CoreSyn
-> IO (ModDetails, (SDoc, SDoc, [FAST_STRING], [CoreBndr]))
deSugar dflags pcs hst mod_name unqual
- (TcResults {tc_env = type_env,
- tc_binds = all_binds,
- tc_insts = insts,
- tc_rules = rules,
- tc_fords = fo_decls})
+ (TcResults {tc_env = type_env,
+ tc_binds = all_binds,
+ tc_insts = insts,
+ tc_rules = rules,
+-- tc_cbinds = core_binds,
+ tc_fords = fo_decls})
= do { showPass dflags "Desugar"
; us <- mkSplitUniqSupply 'd'
(dsProgram mod_name all_binds rules fo_decls)
(ds_binds, ds_rules, foreign_stuff) = ds_result
-
+
+{-
+ addCoreBinds ls =
+ case core_binds of
+ [] -> ls
+ cs -> (Rec cs) : ls
+-}
mod_details = ModDetails { md_types = type_env,
md_insts = insts,
md_rules = ds_rules,
pprIdRules rules
\end{code}
+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}
+
%************************************************************************
%* *