Commit 61c1f167 authored by John van Groningen's avatar John van Groningen
Browse files

expand types if NO error has occurred, instead of if an error has occurred

parent 6fd027e3
......@@ -91,7 +91,7 @@ where
= (dcl_modules, type_defs, marks,type_def_infos)
expand_synonym_types_of_groups main_dcl_module_index pi_groups (new_type_defs, icl_type_defs, new_cons_defs, icl_cons_defs, type_heaps, dcl_modules, error)
| not error.ea_ok
| error.ea_ok
= foldSt (expand_synonym_types_of_group main_dcl_module_index) pi_groups (new_type_defs, icl_type_defs, new_cons_defs, icl_cons_defs, type_heaps, dcl_modules, error)
= (new_type_defs, icl_type_defs, new_cons_defs, icl_cons_defs, type_heaps, dcl_modules, error)
......
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