diff options
| author | johnvg | 2012-12-03 13:26:44 +0000 |
|---|---|---|
| committer | johnvg | 2012-12-03 13:26:44 +0000 |
| commit | 5f24936ea8ffae9efac8f31dd9613503fbff6059 (patch) | |
| tree | 4c177f6cb3daa05c6061a55b92ca8d065e12f8b6 | |
| parent | in the generic representation use RECORD instead of OBJECT and CONS for records, (diff) | |
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
| -rw-r--r-- | frontend/generics1.icl | 4 |
1 files changed, 4 insertions, 0 deletions
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 |