- (core_const_binds, shadows1)
- = initDs us0 nullIdEnv mod_name (dsBinds const_inst_binds)
- core_const_prs = pairsFromCoreBinds core_const_binds
-
- (core_clas_binds, shadows2)
- = initDs us1 nullIdEnv mod_name (dsBinds clas_binds)
- core_clas_prs = pairsFromCoreBinds core_clas_binds
-
- (core_inst_binds, shadows3)
- = initDs us2 nullIdEnv mod_name (dsBinds inst_binds)
- core_inst_prs = pairsFromCoreBinds core_inst_binds
-
- (core_val_binds, shadows4)
- = initDs us3 nullIdEnv mod_name (dsBinds val_binds)
- core_val_pairs = map (addAutoScc module_and_group) (pairsFromCoreBinds core_val_binds)
-
- (core_recsel_binds, shadows5)
- = initDs us4 nullIdEnv mod_name (dsBinds recsel_binds)
- core_recsel_prs = pairsFromCoreBinds core_recsel_binds
-
- final_binds
- = if (null core_clas_prs && null core_inst_prs
- && null core_recsel_prs {-???dont know???-} && null core_const_prs) then
- -- we don't have to make the whole thing recursive
- core_clas_binds ++ core_val_binds