\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 PprCore ( pprIdCoreRule, pprCoreExpr )
+import PprCore ( pprIdRules, pprCoreExpr )
import Subst ( substExpr, mkSubst, mkInScopeSet )
import DsMonad
import DsExpr ( dsExpr )
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_fords = fo_decls})
+ (TcResults {tc_env = type_env,
+ tc_binds = all_binds,
+ tc_insts = insts,
+ tc_rules = rules,
+ 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
-
+
mod_details = ModDetails { md_types = type_env,
md_insts = insts,
md_rules = ds_rules,
ppr_ds_rules [] = empty
ppr_ds_rules rules
= text "" $$ text "-------------- DESUGARED RULES -----------------" $$
- vcat (map pprIdCoreRule rules)
+ 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}