From 7dcf00377ae45d2eb405d8de86c01462a8fd161b Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 13 Feb 2002 11:05:10 +0000
Subject: compare strictness annotations of constructors

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/comparedefimp.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/comparedefimp.icl b/frontend/comparedefimp.icl
index 7084aec..72935e0 100644
--- a/frontend/comparedefimp.icl
+++ b/frontend/comparedefimp.icl
@@ -85,7 +85,7 @@ where
 		  comp_type_var_heap = initialyseATypeVars dcl_cons_def.cons_exi_vars comp_type_var_heap
 		  comp_type_var_heap = initialyseATypeVars icl_cons_def.cons_exi_vars comp_type_var_heap
 		  comp_st = { comp_st & comp_type_var_heap = comp_type_var_heap }
-		  (ok, comp_st) = compare dcl_cons_type.st_args icl_cons_type.st_args comp_st
+		  (ok, comp_st) = compare (dcl_cons_type.st_args,dcl_cons_type.st_args_strictness) (icl_cons_type.st_args,icl_cons_type.st_args_strictness) comp_st
 		| dcl_cons_def.cons_priority == icl_cons_def.cons_priority
 			| ok && do_compare_result_types
 				# (ok, comp_st) = compare dcl_cons_type.st_result icl_cons_type.st_result comp_st
-- 
cgit v1.2.3