diff options
Diffstat (limited to 'frontend')
| -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 |