From 5f24936ea8ffae9efac8f31dd9613503fbff6059 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 3 Dec 2012 13:26:44 +0000
Subject: in function curryGenericArgType1 use TA_Multi while arguments have
 TA_Multi attribute, instead of only for first argument

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

(limited to 'frontend')

diff --git a/frontend/generics1.icl b/frontend/generics1.icl
index 82247dd..0fcacfe 100644
--- a/frontend/generics1.icl
+++ b/frontend/generics1.icl
@@ -3891,6 +3891,10 @@ where
 	// outermost closure gets TA_Multi attribute
 	curry [] res av_num th_attrs
 		= (res, [], av_num, th_attrs)
+	curry [arg=:{at_attribute=TA_Multi}:args] res av_num th_attrs
+		#! (res, avs, av_num, th_attrs) = curry args res av_num th_attrs
+		#! atype = {at_attribute = TA_Multi, at_type = arg --> res}
+		= (atype, avs, av_num, th_attrs)
 	curry [arg:args] res av_num th_attrs
 		#! (res, avs, av_num, th_attrs) = curry1 args res av_num th_attrs
  		#! atype = makeAType (arg --> res) TA_Multi
-- 
cgit v1.2.3