Commit a22251cc authored by John van Groningen's avatar John van Groningen

make source clean 2.0 compatible

parent 6b843949
...@@ -956,16 +956,6 @@ where ...@@ -956,16 +956,6 @@ where
ds_index = to_fun_index, ds_index = to_fun_index,
ds_arity = 1 ds_arity = 1
} }
# gtd_info = GTDI_Generic {
gt_type = generic_rep_type,
gt_type_args = [atv_variable \\ {atv_variable} <- type_def.td_args],
gt_iso = iso_def_sym,
gt_isomap_group = NoIndex,
gt_isomap = EmptyDefinedSymbol,
gt_isomap_from = EmptyDefinedSymbol,
gt_isomap_to = EmptyDefinedSymbol
}
# (from_fun_def, gs) = buildIsoFrom from_def_sym from_group_index module_index type_def gs # (from_fun_def, gs) = buildIsoFrom from_def_sym from_group_index module_index type_def gs
# (to_fun_def, gs) = buildIsoTo to_def_sym to_group_index module_index type_def cons_infos gs # (to_fun_def, gs) = buildIsoTo to_def_sym to_group_index module_index type_def cons_infos gs
...@@ -1362,9 +1352,9 @@ where ...@@ -1362,9 +1352,9 @@ where
#! instance_defs = {instance_defs & [instance_index] = instance_def} #! instance_defs = {instance_defs & [instance_index] = instance_def}
# (dcl_fun_index, gs) = get_dcl_member_index instance_index gs # (dcl_fun_index, gs) = get_dcl_member_index instance_index gs
with with
get_dcl_member_index icl_instance_index gs=:{gs_dcl_modules, gs_main_dcl_module_n} get_dcl_member_index icl_instance_index gs=:{gs_main_dcl_module_n}
# ({dcl_conversions, dcl_common}, gs_dcl_modules) = gs_dcl_modules![gs_main_dcl_module_n] // # ({dcl_common}, gs_dcl_modules) = gs_dcl_modules![gs_main_dcl_module_n]
# gs = {gs & gs_dcl_modules = gs_dcl_modules} // # gs = {gs & gs_dcl_modules = gs_dcl_modules}
// # dcl_index = case dcl_conversions of // # dcl_index = case dcl_conversions of
# dcl_index = NoIndex # dcl_index = NoIndex
/* /*
...@@ -1717,7 +1707,7 @@ where ...@@ -1717,7 +1707,7 @@ where
#! gs_fun_defs = {gs_fun_defs & [fun_index] = fun_def} #! gs_fun_defs = {gs_fun_defs & [fun_index] = fun_def}
// update corresponding DCL function type, which is empty at the moment // update corresponding DCL function type, which is empty at the moment
#! ({dcl_conversions}, gs_dcl_modules) = gs_dcl_modules ! [gs_main_dcl_module_n] // #! (gs_dcl_modules) = gs_dcl_modules ! [gs_main_dcl_module_n]
#! (dcl_fun_index, gs_opt_dcl_icl_conversions) #! (dcl_fun_index, gs_opt_dcl_icl_conversions)
= find_dcl_fun_index fun_index gs_opt_dcl_icl_conversions// XXX = find_dcl_fun_index fun_index gs_opt_dcl_icl_conversions// XXX
with with
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment