From cd7cf6d57af6dcd61136b166e7505bc4cf43bec9 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 19 Jun 2003 15:07:37 +0000
Subject: 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
---
 frontend/comparedefimp.icl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'frontend')

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
 
-- 
cgit v1.2.3