Changeset: 9ee99b8827cf for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=9ee99b8827cf Modified Files: clients/Tests/MAL-signatures.stable.out Branch: typing Log Message:
Approved no int-128 output diffs (truncated from 794 to 300 lines): diff --git a/clients/Tests/MAL-signatures.stable.out b/clients/Tests/MAL-signatures.stable.out --- a/clients/Tests/MAL-signatures.stable.out +++ b/clients/Tests/MAL-signatures.stable.out @@ -1349,30 +1349,94 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:flt, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:flt, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] @@ -1471,18 +1535,50 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:int], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:lng], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:sht], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:flt], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:flt], X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:sht], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:sht], X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:sht], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:sht], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:sht], X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:bte], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:dbl], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] @@ -2182,42 +2278,106 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:flt, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:dbl, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:flt, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:flt, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:int, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] @@ -2398,24 +2558,56 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:sht], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:sht], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:sht], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:bte], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:flt], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:int], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:lng], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:dbl, X_2:bat[:sht], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:bte], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:dbl], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:flt], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:flt], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:int], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:flt, X_2:bat[:lng], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
