Commit 48902cb7 authored by John van Groningen's avatar John van Groningen
Browse files

in function curryGenericArgType1 use TA_Multi while arguments have TA_Multi attribute,

instead of only for first argument
parent f20b3093
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment