Changeset: e73a304ddd87 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=e73a304ddd87
Modified Files:
clients/Tests/MAL-signatures.stable.out
Branch: typing
Log Message:
Approved no int-128 output
diffs (truncated from 791 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
@@ -1324,16 +1324,28 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "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;", "" ]
@@ -1362,49 +1374,85 @@ stdout of test 'MAL-signatures` in direc
[ "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:sht,
X_3:bat[:oid]):bat[:flt] ", "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;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl],
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[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:sht,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:bte],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:lng],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bat[:sht],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:bte,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:sht], X_2:lng,
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
@@ -1412,8 +1460,14 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:bte],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:flt],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:flt],
X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:bte, X_2:bat[:flt],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "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;", "" ]
@@ -1430,25 +1484,43 @@ stdout of test 'MAL-signatures` in direc
[ "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[:sht],
X_3:bat[:oid]):bat[:flt] ", "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;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:int],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:lng],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:int, X_2:bat[:sht],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:bte],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:int],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:lng],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:lng, X_2:bat[:sht],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:bte],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
+[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:int],
X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ]
[ "batcalc", "*", "pattern batcalc.*(X_1:sht, X_2:bat[:lng],
X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ]
@@ -2153,12 +2225,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
@@ -2179,12 +2249,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:int], X_2:int,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
@@ -2204,11 +2272,9 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
@@ -2224,11 +2290,9 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:int,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:int,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:lng], X_2:int,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
@@ -2248,13 +2312,11 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:dbl],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:flt],
X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:bat[:int],
X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
@@ -2280,13 +2342,11 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:dbl,
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:flt,
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:int,
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:int,
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:bat[:sht], X_2:int,
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
@@ -2363,12 +2423,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:int],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:int, X_2:bat[:int],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
@@ -2388,11 +2446,9 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:int],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:int],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:lng, X_2:bat[:int],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
@@ -2412,13 +2468,11 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:dbl],
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
-[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:flt],
X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:int],
X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:int],
X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ]
[ "batcalc", "/", "pattern batcalc./(X_1:sht, X_2:bat[:int],
X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ]
@@ -4034,12 +4088,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:int],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", ""
]
[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:int],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIV;", ""
]
[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:int],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIV;", ""
]
-[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:int],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIV;", ""
]
[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:int],
X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIV;", ""
]
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
