You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#5486 once merged will add caseList and caseData built-in functions. casePair is likely going to be less beneficial than either of caseList and caseData, because it'll only replace two builtin calls with a single one + a bunch of wiring, while the latter builtins replace much more than that, but it's likely that it'll still be worth it. So we should try adding casePair the same way as caseList and caseData, should be basically a simpler version of caseList.
The text was updated successfully, but these errors were encountered:
#5486 once merged will add
caseList
andcaseData
built-in functions.casePair
is likely going to be less beneficial than either ofcaseList
andcaseData
, because it'll only replace two builtin calls with a single one + a bunch of wiring, while the latter builtins replace much more than that, but it's likely that it'll still be worth it. So we should try addingcasePair
the same way ascaseList
andcaseData
, should be basically a simpler version ofcaseList
.The text was updated successfully, but these errors were encountered: