diff options
| author | martinw | 2001-02-13 09:29:39 +0000 |
|---|---|---|
| committer | martinw | 2001-02-13 09:29:39 +0000 |
| commit | 4a1649a8718b3fbd79d9d68c29e2a3ca1106fbfc (patch) | |
| tree | d313c1e1bb960ff1d669ec53b7e9976165002c9f /frontend/checktypes.icl | |
| parent | Removed pretty printing of types in instances (diff) | |
delaying "determineTypesOfInstances" and "checkSpecialsOfInstances" after
checking of a whole dcl module component --> now cyclic module dependencies
should work
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@294 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 2b8f743..09f4dcc 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -416,12 +416,6 @@ checkTypeDefs is_main_dcl type_defs module_index cons_defs selector_defs module where check_type_defs is_main_dcl type_index nr_of_types module_index ts ti=:{ti_type_heaps,ti_var_heap} cs | type_index == nr_of_types - | cs.cs_error.ea_ok && not is_main_dcl - # marks = createArray nr_of_types CS_NotChecked - {exp_type_defs,exp_modules,exp_type_heaps,exp_error} = (expand_syn_types_late_XXX id (expand_syn_types module_index 0 nr_of_types)) - { exp_type_defs = ts.ts_type_defs, exp_modules = ts.ts_modules, exp_marks = marks, - exp_type_heaps = ti_type_heaps, exp_error = cs.cs_error } - = (exp_type_defs, ts.ts_cons_defs, ts.ts_selector_defs, exp_modules, ti_var_heap, exp_type_heaps, { cs & cs_error = exp_error }) = (ts.ts_type_defs, ts.ts_cons_defs, ts.ts_selector_defs, ts.ts_modules, ti_var_heap, ti_type_heaps, cs) # (ts, ti, cs) = checkTypeDef type_index module_index ts ti cs = check_type_defs is_main_dcl (inc type_index) nr_of_types module_index ts ti cs @@ -437,8 +431,6 @@ expand_syn_types module_index type_index nr_of_types expst expandSynonymTypes :: !.Index !*{#CheckedTypeDef} !*{#.DclModule} !*TypeHeaps !*ErrorAdmin -> (!.{#CheckedTypeDef},!.{#DclModule},!.TypeHeaps,!.ErrorAdmin) expandSynonymTypes module_index exp_type_defs exp_modules exp_type_heaps exp_error - | expand_syn_types_late_XXX False True - = abort "expandSynonymTypes" #! nr_of_types = size exp_type_defs # marks |