- maybeComputeFamilyInfo Nothing rep_tycon =
- return (tc_name, NoParentTyCon)
- maybeComputeFamilyInfo (Just (family, instTys, index)) rep_tycon =
- do { -- (1) New, derived name for the instance tycon
- ; final_name <- newImplicitBinder tc_name (mkInstTyTcOcc index)
-
- -- (2) Create the coercion.
- ; co_tycon_name <- newImplicitBinder tc_name (mkInstTyCoOcc index)
+ parentInfo Nothing rep_tycon =
+ return NoParentTyCon
+ parentInfo (Just (family, instTys)) rep_tycon =
+ do { -- Create the coercion
+ ; co_tycon_name <- newImplicitBinder tc_name mkInstTyCoOcc