import DsMonad
import DsGRHSs
import DsUtils
+import DsBreakpoint
import HsSyn -- lots of things
import CoreSyn -- lots of things
import FastString
import Util ( mapSnd )
+import Name
+import OccName
+import Literal
+
import Control.Monad
import Data.List
\end{code}
\begin{code}
dsTopLHsBinds :: AutoScc -> LHsBinds Id -> DsM [(Id,CoreExpr)]
-dsTopLHsBinds auto_scc binds = ds_lhs_binds auto_scc binds
+dsTopLHsBinds auto_scc binds = do
+ mb_mod_name_ref <- getModNameRefDs
+ debugging <- breakpoints_enabled
+ case mb_mod_name_ref of
+ Nothing | debugging -> do -- Inject a CAF with the module name as literal
+ mod <- getModuleDs
+ mod_name_ref <- do
+ u <- newUnique
+ let n = mkSystemName u (mkVarOcc "_module")
+ return (mkLocalId n stringTy)
+ let mod_name = moduleNameFS$ moduleName mod
+ mod_lit <- dsExpr (HsLit (HsString mod_name))
+ withModNameRefDs mod_name_ref $ do
+ res <- ds_lhs_binds auto_scc binds
+ return$ (mod_name_ref, mod_lit) : res
+ _ -> ds_lhs_binds auto_scc binds
+
dsLHsBinds :: LHsBinds Id -> DsM [(Id,CoreExpr)]
dsLHsBinds binds = ds_lhs_binds NoSccs binds
addDictScc var core_expr `thenDs` \ core_expr' ->
returnDs ((var, core_expr') : rest)
-dsHsBind auto_scc rest (FunBind { fun_id = L _ fun, fun_matches = matches, fun_co_fn = co_fn })
+dsHsBind auto_scc rest (FunBind { fun_id = L _ fun, fun_matches = matches, fun_co_fn = co_fn, fun_tick = tick })
= matchWrapper (FunRhs (idName fun)) matches `thenDs` \ (args, body) ->
- dsCoercion co_fn (return (mkLams args body)) `thenDs` \ rhs ->
+ mkOptTickBox tick body `thenDs` \ body' ->
+ dsCoercion co_fn (return (mkLams args body')) `thenDs` \ rhs ->
returnDs ((fun,rhs) : rest)
dsHsBind auto_scc rest (PatBind { pat_lhs = pat, pat_rhs = grhss, pat_rhs_ty = ty })