-dsMonoBinds :: AutoScc -- scc annotation policy (see below)
- -> TypecheckedMonoBinds
- -> [(Id,CoreExpr)] -- Put this on the end (avoid quadratic append)
- -> DsM [(Id,CoreExpr)] -- Result
+dsHsBinds :: AutoScc -- scc annotation policy (see below)
+ -> Bag (LHsBind Id)
+ -> [(Id,CoreExpr)] -- Put this on the end (avoid quadratic append)
+ -> DsM [(Id,CoreExpr)] -- Result
+
+dsHsBinds auto_scc binds rest =
+ foldM (dsLHsBind auto_scc) rest (bagToList binds)