-import Match ( matchWrapper )
-
-import BasicTypes ( Module, RecFlag(..) )
-import CmdLineOpts ( opt_SccProfilingOn, opt_AutoSccsOnAllToplevs,
- opt_AutoSccsOnExportedToplevs
- )
-import CostCentre ( mkAutoCC, IsCafCC(..), mkAllDictsCC )
-import Id ( idType, Id )
-import Name ( isExported )
-import Type ( mkTyVarTy, isDictTy, instantiateTy
- )
-import TyVar ( zipTyVarEnv )
-import TysPrim ( voidTy )
-\end{code}
-
-%************************************************************************
-%* *
-\subsection[toplevel-and-regular-DsBinds]{Regular and top-level @dsBinds@}
-%* *
-%************************************************************************
-
-Like @dsBinds@, @dsBind@ returns a @[CoreBinding]@, but it may be
-that some of the binders are of unboxed type. This is sorted out when
-the caller wraps the bindings round an expression.
-
-\begin{code}
-
-dsBinds :: Bool -- if candidate, auto add scc's on toplevs ?
- -> TypecheckedHsBinds
- -> DsM [CoreBinding]
-
-dsBinds _ EmptyBinds = returnDs []
-dsBinds auto_scc (ThenBinds binds_1 binds_2)
- = andDs (++) (dsBinds auto_scc binds_1) (dsBinds auto_scc binds_2)