-import Match ( matchWrapper )
-
-import BasicTypes ( SYN_IE(Module) )
-import CmdLineOpts ( opt_SccProfilingOn, opt_AutoSccsOnAllToplevs,
- opt_AutoSccsOnExportedToplevs, opt_CompilingGhcInternals )
-import CostCentre ( mkAutoCC, IsCafCC(..), mkAllDictsCC, preludeDictsCostCentre )
-import Id ( idType, SYN_IE(DictVar), GenId, SYN_IE(Id) )
-import ListSetOps ( minusList, intersectLists )
-import Name ( isExported )
-import PprType ( GenType )
-import Outputable ( PprStyle(..) )
-import Type ( mkTyVarTy, isDictTy, instantiateTy
- )
-import TyVar ( tyVarSetToList, GenTyVar{-instance Eq-} )
-import TysPrim ( voidTy )
-import Util ( isIn, panic, assertPanic )
-\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}
-type Group = FAST_STRING
-
-dsBinds :: Maybe (Module, Group) -> TypecheckedHsBinds -> DsM [CoreBinding]