\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
import Outputable
import UniqSupply ( mkSplitUniqSupply )
import HscTypes ( HomeSymbolTable, PersistentCompilerState(..), TyThing(..), lookupType, )
+import FastString
\end{code}
%************************************************************************
-> PersistentCompilerState -> HomeSymbolTable
-> Module -> PrintUnqualified
-> TcResults
- -> IO (ModDetails, (SDoc, SDoc, [FAST_STRING], [CoreBndr]))
+ -> IO (ModDetails, (SDoc, SDoc, [FastString], [CoreBndr]))
deSugar dflags pcs hst mod_name unqual
(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'
(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,
- md_binds = addCoreBinds ds_binds }
+ md_binds = ds_binds }
-- Display any warnings
; doIfSet (not (isEmptyBag ds_warns))
pprIdRules rules
\end{code}
+Simplest thing in the world, desugaring External Core:
+
+\begin{code}
+deSugarCore :: (TypeEnv, [TypecheckedCoreBind], [TypecheckedRuleDecl])
+ -> IO (ModDetails, (SDoc, SDoc, [FastString], [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}
+
%************************************************************************
%* *