Changeset: 180d20f2f40e for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=180d20f2f40e Modified Files: clients/Tests/MAL-signatures.stable.out.int128 monetdb5/modules/mal/batcalc.c monetdb5/modules/mal/calc.c Branch: typing Log Message:
More calc.* and calc./ signatures missing diffs (truncated from 1329 to 300 lines): diff --git a/clients/Tests/MAL-signatures.stable.out.int128 b/clients/Tests/MAL-signatures.stable.out.int128 --- a/clients/Tests/MAL-signatures.stable.out.int128 +++ b/clients/Tests/MAL-signatures.stable.out.int128 @@ -1809,34 +1809,134 @@ 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[:hge] ", "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[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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:hge, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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:hge, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:hge, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:hge, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:hge, X_3:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] @@ -1990,20 +2090,70 @@ 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[:hge] ", "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[:hge], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:hge], X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:hge], X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:hge], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:hge], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:dbl, X_2:bat[:hge], X_3:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:hge], X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:hge], X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:hge], X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:hge], X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:flt, X_2:bat[:hge], X_3:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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:hge, X_2:bat[:bte], X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:hge, X_2:bat[:dbl], X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:hge, X_2:bat[:dbl], X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] @@ -3055,48 +3205,148 @@ 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[:hge] ", "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[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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:hge, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:dbl], X_2:hge, X_3:bat[:oid]):bat[:sht] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge] ", "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[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "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[:hge] ", "CMDbatDIVsignal;", "" ] +[ "batcalc", "/", "pattern batcalc./(X_1:bat[:flt], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list
