diff options
| author | johnvg | 2003-06-19 15:07:37 +0000 |
|---|---|---|
| committer | johnvg | 2003-06-19 15:07:37 +0000 |
| commit | cd7cf6d57af6dcd61136b166e7505bc4cf43bec9 (patch) | |
| tree | 9b9c03a264e383e759f9c0ab9658f400a1641ec7 /frontend/comparedefimp.icl | |
| parent | check type properties also for abstract type synonyms (diff) | |
compare lhs root attributes for type definitions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1359 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/comparedefimp.icl')
| -rw-r--r-- | frontend/comparedefimp.icl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl index 3d9a632..e281d23 100644 --- a/frontend/comparedefimp.icl +++ b/frontend/comparedefimp.icl @@ -32,7 +32,7 @@ where comp_attr_var_heap = initialyseAttributeVars dcl_type_def.td_attrs icl_type_def.td_attrs comp_attr_var_heap comp_st = { comp_st & comp_type_var_heap = comp_type_var_heap, comp_attr_var_heap = comp_attr_var_heap } (ok, icl_cons_defs, comp_st) = compare_rhs_of_types dcl_type_def.td_rhs icl_type_def.td_rhs dcl_cons_defs icl_cons_defs comp_st - | ok && dcl_type_def.td_arity==icl_type_def.td_arity + | ok && dcl_type_def.td_arity==icl_type_def.td_arity && dcl_type_def.td_attribute==icl_type_def.td_attribute = (icl_type_defs, icl_cons_defs, comp_st) # comp_error = compareError type_def_error (newPosition icl_type_def.td_ident icl_type_def.td_pos) comp_st.comp_error = (icl_type_defs, icl_cons_defs, { comp_st & comp_error = comp_error }) @@ -1230,7 +1230,6 @@ e_corresponds_app_symb {symb_ident=dcl_symb_name, symb_kind=SK_Constructor dcl_g | dcl_glob_index.glob_module==icl_glob_index.glob_module && dcl_symb_name.id_name==icl_symb_name.id_name = ec_state = give_error icl_symb_name ec_state -//e_corresponds_app_symb {symb_ident} _ ec_state e_corresponds_app_symb {symb_ident,symb_kind} {symb_kind=symb_kind2} ec_state = give_error symb_ident ec_state |