From 6395821c35d3741088e4e7ee23891537137f28ae Mon Sep 17 00:00:00 2001
From: diederik
Date: Fri, 15 Nov 2002 13:24:52 +0000
Subject: Fix bug with active and accumulating dictionary args

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1282 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/classify.icl | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'frontend')

diff --git a/frontend/classify.icl b/frontend/classify.icl
index 10d6ae3..110187e 100644
--- a/frontend/classify.icl
+++ b/frontend/classify.icl
@@ -306,6 +306,8 @@ instance consumerRequirements App where
 // ACTIVATE DICTIONARIES... [SUBSUMES SPECIAL]
 		# num_dicts = length imported_funs.[glob_module].[glob_object].ft_type.st_context
 		| num_dicts > 0 && num_dicts <= length app_args
+			= reqs_of_args (repeatn num_dicts CActive ++ repeatn (imported_funs.[glob_module].[glob_object].ft_arity) CPassive) app_args CPassive common_defs ai
+/* wrong version...
 			= activeArgs num_dicts app_args common_defs ai
 			with
 				activeArgs 0 app_args common_defs ai
@@ -314,6 +316,7 @@ instance consumerRequirements App where
 					# (cc, _, ai)	= consumerRequirements app_arg common_defs ai
 					# ai			= aiUnifyClassifications CActive cc ai
 					= activeArgs (n-1) app_args common_defs ai
+...*/
 // ...ACTIVATE DICTIONARIES
 		= consumerRequirements app_args common_defs ai
 	consumerRequirements {app_symb={symb_kind = SK_LocalMacroFunction glob_object,symb_name}, app_args}
-- 
cgit v1.2.3