Changeset: fdbc5d36669b for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/fdbc5d36669b
Modified Files:
clients/Tests/MAL-signatures.stable.out
clients/Tests/MAL-signatures.stable.out.int128
monetdb5/modules/atoms/inet.c
monetdb5/modules/mal/batcalc.c
monetdb5/modules/mal/calc.c
monetdb5/modules/mal/wlc.c
sql/test/SQLancer/Tests/sqlancer17.test
Branch: Jul2021
Log Message:
Move inet calc MAL calls to the right place, add missing 'nil_matches' ones
and approved output
diffs (truncated from 667 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
@@ -760,6 +760,14 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:daytime,
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet,
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
@@ -876,6 +884,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:daytime, X_1:bat[:daytime],
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet],
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
@@ -2630,6 +2642,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:daytime],
X_1:bat[:daytime], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLT;",
"" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:daytime],
X_1:daytime):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
+[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatLT;", "" ]
+[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
+[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatLT;", "" ]
+[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:int],
X_1:bat[:lng]):bat[:bit] ", "CMDbatLT;", "" ]
@@ -2688,6 +2704,8 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "<", "pattern batcalc.<(X_0:date, X_1:bat[:date],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:daytime,
X_1:bat[:daytime]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
+[ "batcalc", "<", "pattern batcalc.<(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatLT;", "" ]
+[ "batcalc", "<", "pattern batcalc.<(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:int, X_1:bat[:bte]):bat[:bit] ",
"CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ]
[ "batcalc", "<", "pattern batcalc.<(X_0:int, X_1:bat[:lng]):bat[:bit] ",
"CMDbatLT;", "" ]
@@ -2834,6 +2852,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:daytime],
X_1:bat[:daytime], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLE;",
"" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:daytime],
X_1:daytime):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
+[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatLE;", "" ]
+[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
+[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatLE;", "" ]
+[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:bat[:int],
X_1:bat[:lng]):bat[:bit] ", "CMDbatLE;", "" ]
@@ -2892,6 +2914,8 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "<=", "pattern batcalc.<=(X_0:date, X_1:bat[:date],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:daytime,
X_1:bat[:daytime]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
+[ "batcalc", "<=", "pattern batcalc.<=(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatLE;", "" ]
+[ "batcalc", "<=", "pattern batcalc.<=(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatLE;", "" ]
[ "batcalc", "<=", "pattern batcalc.<=(X_0:int, X_1:bat[:lng]):bat[:bit]
", "CMDbatLE;", "" ]
@@ -2968,6 +2992,14 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:daytime], X_1:daytime,
X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:bat[:inet],
X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:inet], X_1:inet,
X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
@@ -3084,6 +3116,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "==", "pattern batcalc.==(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:daytime, X_1:bat[:daytime],
X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatEQ;", "" ]
+[ "batcalc", "==", "pattern batcalc.==(X_0:inet, X_1:bat[:inet],
X_2:bit):bat[:bit] ", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatEQ;", "" ]
[ "batcalc", "==", "pattern batcalc.==(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatEQ;", "" ]
@@ -3158,6 +3194,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:daytime],
X_1:bat[:daytime], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatGT;",
"" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:daytime],
X_1:daytime):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
+[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatGT;", "" ]
+[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
+[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatGT;", "" ]
+[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:bat[:int],
X_1:bat[:lng]):bat[:bit] ", "CMDbatGT;", "" ]
@@ -3216,6 +3256,8 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", ">", "pattern batcalc.>(X_0:date, X_1:bat[:date],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:daytime,
X_1:bat[:daytime]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
+[ "batcalc", ">", "pattern batcalc.>(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatGT;", "" ]
+[ "batcalc", ">", "pattern batcalc.>(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:int, X_1:bat[:bte]):bat[:bit] ",
"CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGT;", "" ]
[ "batcalc", ">", "pattern batcalc.>(X_0:int, X_1:bat[:lng]):bat[:bit] ",
"CMDbatGT;", "" ]
@@ -3266,6 +3308,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:daytime],
X_1:bat[:daytime], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatGE;",
"" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:daytime],
X_1:daytime):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:daytime], X_1:daytime,
X_2:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
+[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatGE;", "" ]
+[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
+[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatGE;", "" ]
+[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:bat[:int],
X_1:bat[:lng]):bat[:bit] ", "CMDbatGE;", "" ]
@@ -3324,6 +3370,8 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", ">=", "pattern batcalc.>=(X_0:date, X_1:bat[:date],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:daytime,
X_1:bat[:daytime]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:daytime, X_1:bat[:daytime],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
+[ "batcalc", ">=", "pattern batcalc.>=(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatGE;", "" ]
+[ "batcalc", ">=", "pattern batcalc.>=(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatGE;", "" ]
[ "batcalc", ">=", "pattern batcalc.>=(X_0:int, X_1:bat[:lng]):bat[:bit]
", "CMDbatGE;", "" ]
@@ -6659,6 +6707,8 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "!=", "pattern calc.!=(X_0:flt, X_1:lng, X_2:bit):bit ",
"CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:flt, X_1:sht):bit ",
"CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:flt, X_1:sht, X_2:bit):bit ",
"CMDvarNE;", "" ]
+[ "calc", "!=", "pattern calc.!=(X_0:inet, X_1:inet):bit ",
"CMDvarNE;", "" ]
+[ "calc", "!=", "pattern calc.!=(X_0:inet, X_1:inet, X_2:bit):bit ",
"CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:int, X_1:bte):bit ",
"CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:int, X_1:bte, X_2:bit):bit ",
"CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:int, X_1:dbl):bit ",
"CMDvarNE;", "" ]
@@ -6705,7 +6755,6 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "!=", "pattern calc.!=(X_0:timestamp, X_1:timestamp,
X_2:bit):bit ", "CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:uuid, X_1:uuid):bit ",
"CMDvarNE;", "" ]
[ "calc", "!=", "pattern calc.!=(X_0:uuid, X_1:uuid, X_2:bit):bit ",
"CMDvarNE;", "" ]
-[ "calc", "!=", "command calc.!=(X_0:inet, X_1:inet):bit ",
"INET_comp_NEQ;", "" ]
[ "calc", "%", "pattern calc.%(X_0:bte, X_1:bte):bte ",
"CMDvarMODsignal;", "" ]
[ "calc", "%", "pattern calc.%(X_0:bte, X_1:bte):int ",
"CMDvarMODsignal;", "" ]
[ "calc", "%", "pattern calc.%(X_0:bte, X_1:bte):lng ",
"CMDvarMODsignal;", "" ]
@@ -7289,6 +7338,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "<", "pattern calc.<(X_0:flt, X_1:int):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:flt, X_1:lng):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:flt, X_1:sht):bit ",
"CMDvarLT;", "" ]
+[ "calc", "<", "pattern calc.<(X_0:inet, X_1:inet):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:int, X_1:bte):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:int, X_1:dbl):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:int, X_1:flt):bit ",
"CMDvarLT;", "" ]
@@ -7312,7 +7362,6 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "<", "pattern calc.<(X_0:str, X_1:str):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:timestamp, X_1:timestamp):bit ",
"CMDvarLT;", "" ]
[ "calc", "<", "pattern calc.<(X_0:uuid, X_1:uuid):bit ",
"CMDvarLT;", "" ]
-[ "calc", "<", "command calc.<(X_0:inet, X_1:inet):bit ",
"INET_comp_LT;", "" ]
[ "calc", "<<", "pattern calc.<<(X_0:bte, X_1:bte):bte ",
"CMDvarLSHsignal;", "" ]
[ "calc", "<<", "pattern calc.<<(X_0:bte, X_1:int):bte ",
"CMDvarLSHsignal;", "" ]
[ "calc", "<<", "pattern calc.<<(X_0:bte, X_1:lng):bte ",
"CMDvarLSHsignal;", "" ]
@@ -7351,6 +7400,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "<=", "pattern calc.<=(X_0:flt, X_1:int):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:flt, X_1:lng):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:flt, X_1:sht):bit ",
"CMDvarLE;", "" ]
+[ "calc", "<=", "pattern calc.<=(X_0:inet, X_1:inet):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:int, X_1:bte):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:int, X_1:dbl):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:int, X_1:flt):bit ",
"CMDvarLE;", "" ]
@@ -7374,7 +7424,6 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "<=", "pattern calc.<=(X_0:str, X_1:str):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:timestamp, X_1:timestamp):bit ",
"CMDvarLE;", "" ]
[ "calc", "<=", "pattern calc.<=(X_0:uuid, X_1:uuid):bit ",
"CMDvarLE;", "" ]
-[ "calc", "<=", "command calc.<=(X_0:inet, X_1:inet):bit ",
"INET_comp_LE;", "" ]
[ "calc", "==", "pattern calc.==(X_0:bit, X_1:bit):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:bit, X_1:bit, X_2:bit):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:blob, X_1:blob):bit ",
"CMDvarEQ;", "" ]
@@ -7419,6 +7468,8 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "==", "pattern calc.==(X_0:flt, X_1:lng, X_2:bit):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:flt, X_1:sht):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:flt, X_1:sht, X_2:bit):bit ",
"CMDvarEQ;", "" ]
+[ "calc", "==", "pattern calc.==(X_0:inet, X_1:inet):bit ",
"CMDvarEQ;", "" ]
+[ "calc", "==", "pattern calc.==(X_0:inet, X_1:inet, X_2:bit):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:int, X_1:bte):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:int, X_1:bte, X_2:bit):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:int, X_1:dbl):bit ",
"CMDvarEQ;", "" ]
@@ -7465,7 +7516,6 @@ stdout of test 'MAL-signatures` in direc
[ "calc", "==", "pattern calc.==(X_0:timestamp, X_1:timestamp,
X_2:bit):bit ", "CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:uuid, X_1:uuid):bit ",
"CMDvarEQ;", "" ]
[ "calc", "==", "pattern calc.==(X_0:uuid, X_1:uuid, X_2:bit):bit ",
"CMDvarEQ;", "" ]
-[ "calc", "==", "command calc.==(X_0:inet, X_1:inet):bit ",
"INET_comp_EQ;", "" ]
[ "calc", ">", "pattern calc.>(X_0:bit, X_1:bit):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:blob, X_1:blob):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:bte, X_1:bte):bit ",
"CMDvarGT;", "" ]
@@ -7488,6 +7538,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", ">", "pattern calc.>(X_0:flt, X_1:int):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:flt, X_1:lng):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:flt, X_1:sht):bit ",
"CMDvarGT;", "" ]
+[ "calc", ">", "pattern calc.>(X_0:inet, X_1:inet):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:int, X_1:bte):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:int, X_1:dbl):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:int, X_1:flt):bit ",
"CMDvarGT;", "" ]
@@ -7511,7 +7562,6 @@ stdout of test 'MAL-signatures` in direc
[ "calc", ">", "pattern calc.>(X_0:str, X_1:str):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:timestamp, X_1:timestamp):bit ",
"CMDvarGT;", "" ]
[ "calc", ">", "pattern calc.>(X_0:uuid, X_1:uuid):bit ",
"CMDvarGT;", "" ]
-[ "calc", ">", "command calc.>(X_0:inet, X_1:inet):bit ",
"INET_comp_GT;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:bit, X_1:bit):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:blob, X_1:blob):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:bte, X_1:bte):bit ",
"CMDvarGE;", "" ]
@@ -7534,6 +7584,7 @@ stdout of test 'MAL-signatures` in direc
[ "calc", ">=", "pattern calc.>=(X_0:flt, X_1:int):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:flt, X_1:lng):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:flt, X_1:sht):bit ",
"CMDvarGE;", "" ]
+[ "calc", ">=", "pattern calc.>=(X_0:inet, X_1:inet):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:int, X_1:bte):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:int, X_1:dbl):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:int, X_1:flt):bit ",
"CMDvarGE;", "" ]
@@ -7557,7 +7608,6 @@ stdout of test 'MAL-signatures` in direc
[ "calc", ">=", "pattern calc.>=(X_0:str, X_1:str):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:timestamp, X_1:timestamp):bit ",
"CMDvarGE;", "" ]
[ "calc", ">=", "pattern calc.>=(X_0:uuid, X_1:uuid):bit ",
"CMDvarGE;", "" ]
-[ "calc", ">=", "command calc.>=(X_0:inet, X_1:inet):bit ",
"INET_comp_GE;", "" ]
[ "calc", ">>", "pattern calc.>>(X_0:bte, X_1:bte):bte ",
"CMDvarRSHsignal;", "" ]
[ "calc", ">>", "pattern calc.>>(X_0:bte, X_1:int):bte ",
"CMDvarRSHsignal;", "" ]
[ "calc", ">>", "pattern calc.>>(X_0:bte, X_1:lng):bte ",
"CMDvarRSHsignal;", "" ]
@@ -9445,15 +9495,15 @@ stdout of test 'MAL-signatures` in direc
[ "sqlcatalog", "alter_table", "pattern
sqlcatalog.alter_table(X_0:str, X_1:str, X_2:ptr, X_3:int):void ",
"SQLalter_table;", "" ]
[ "sqlcatalog", "alter_user", "pattern sqlcatalog.alter_user(X_0:str,
X_1:str, X_2:int, X_3:str, X_4:str, X_5:str):void ", "SQLalter_user;",
"" ]
[ "sqlcatalog", "comment_on", "pattern sqlcatalog.comment_on(X_0:int,
X_1:str):void ", "SQLcomment_on;", "" ]
-[ "sqlcatalog", "create_function", "pattern
sqlcatalog.create_function(X_0:str, X_1:str, X_2:ptr):void ",
"SQLcreate_function;", "" ]
+[ "sqlcatalog", "create_function", "pattern
sqlcatalog.create_function(X_0:str, X_1:str, X_2:ptr, X_3:int):void ",
"SQLcreate_function;", "" ]
[ "sqlcatalog", "create_role", "pattern
sqlcatalog.create_role(X_0:str, X_1:str, X_2:int):void ",
"SQLcreate_role;", "" ]
[ "sqlcatalog", "create_schema", "pattern
sqlcatalog.create_schema(X_0:str, X_1:str, X_2:int):void ",
"SQLcreate_schema;", "" ]
[ "sqlcatalog", "create_seq", "pattern sqlcatalog.create_seq(X_0:str,
X_1:str, X_2:ptr, X_3:int):void ", "SQLcreate_seq;", "" ]
[ "sqlcatalog", "create_table", "pattern
sqlcatalog.create_table(X_0:str, X_1:str, X_2:ptr, X_3:int):void ",
"SQLcreate_table;", "" ]
-[ "sqlcatalog", "create_trigger", "pattern
sqlcatalog.create_trigger(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int, X_5:int,
X_6:str, X_7:str, X_8:str, X_9:str):void ", "SQLcreate_trigger;", "" ]
+[ "sqlcatalog", "create_trigger", "pattern
sqlcatalog.create_trigger(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int, X_5:int,
X_6:str, X_7:str, X_8:str, X_9:str, X_10:int):void ", "SQLcreate_trigger;",
"" ]
[ "sqlcatalog", "create_type", "pattern
sqlcatalog.create_type(X_0:str, X_1:str, X_2:str):void ",
"SQLcreate_type;", "" ]
[ "sqlcatalog", "create_user", "pattern
sqlcatalog.create_user(X_0:str, X_1:str, X_2:int, X_3:str, X_4:str,
X_5:str):void ", "SQLcreate_user;", "" ]
-[ "sqlcatalog", "create_view", "pattern
sqlcatalog.create_view(X_0:str, X_1:str, X_2:ptr, X_3:int):void ",
"SQLcreate_view;", "" ]
+[ "sqlcatalog", "create_view", "pattern
sqlcatalog.create_view(X_0:str, X_1:str, X_2:ptr, X_3:int, X_4:int):void ",
"SQLcreate_view;", "" ]
[ "sqlcatalog", "drop_constraint", "pattern
sqlcatalog.drop_constraint(X_0:str, X_1:str, X_2:str, X_3:int, X_4:int):void ",
"SQLdrop_constraint;", "" ]
[ "sqlcatalog", "drop_function", "pattern
sqlcatalog.drop_function(X_0:str, X_1:str, X_2:int, X_3:int, X_4:int):void ",
"SQLdrop_function;", "" ]
[ "sqlcatalog", "drop_index", "pattern sqlcatalog.drop_index(X_0:str,
X_1:str, X_2:int):void ", "SQLdrop_index;", "" ]
@@ -9623,15 +9673,15 @@ stdout of test 'MAL-signatures` in direc
[ "wlc", "comment_on", "pattern wlc.comment_on(X_0:int, X_1:str):void
", "WLCgeneric;", "" ]
[ "wlc", "commit", "pattern wlc.commit():void ",
"WLCcommitCmd;", "" ]
[ "wlc", "commit", "pattern wlc.commit():void ",
"WLCcommitCmd;", "" ]
-[ "wlc", "create_function", "pattern wlc.create_function(X_0:str,
X_1:str):void ", "WLCgeneric;", "" ]
+[ "wlc", "create_function", "pattern wlc.create_function(X_0:str,
X_1:str, X_2:int):void ", "WLCgeneric;", "" ]
[ "wlc", "create_role", "pattern wlc.create_role(X_0:str, X_1:str,
X_2:int):void ", "WLCgeneric;", "" ]
[ "wlc", "create_schema", "pattern wlc.create_schema(X_0:str,
X_1:str, X_2:int):void ", "WLCgeneric;", "" ]
[ "wlc", "create_seq", "pattern wlc.create_seq(X_0:str, X_1:str,
X_2:int):void ", "WLCgeneric;", "" ]
[ "wlc", "create_table", "pattern wlc.create_table(X_0:str, X_1:str,
X_2:int):void ", "WLCgeneric;", "" ]
-[ "wlc", "create_trigger", "pattern wlc.create_trigger(X_0:str,
X_1:str, X_2:str, X_3:int, X_4:int, X_5:int, X_6:str, X_7:str, X_8:str,
X_9:str):void ", "WLCgeneric;", "" ]
+[ "wlc", "create_trigger", "pattern wlc.create_trigger(X_0:str,
X_1:str, X_2:str, X_3:int, X_4:int, X_5:int, X_6:str, X_7:str, X_8:str,
X_9:str, X_10:int):void ", "WLCgeneric;", "" ]
[ "wlc", "create_type", "pattern wlc.create_type(X_0:str, X_1:str,
X_2:str):void ", "WLCgeneric;", "" ]
[ "wlc", "create_user", "pattern wlc.create_user(X_0:str, X_1:str,
X_2:int, X_3:str, X_4:str):void ", "WLCgeneric;", "" ]
-[ "wlc", "create_view", "pattern wlc.create_view(X_0:str, X_1:str,
X_2:int):void ", "WLCgeneric;", "" ]
+[ "wlc", "create_view", "pattern wlc.create_view(X_0:str, X_1:str,
X_2:int, X_3:int):void ", "WLCgeneric;", "" ]
[ "wlc", "delete", "pattern wlc.delete(X_0:str, X_1:str,
X_2:any):int ", "WLCdelete;", "" ]
[ "wlc", "drop_constraint", "pattern wlc.drop_constraint(X_0:str,
X_1:str, X_2:str, X_3:int, X_4:int):void ", "WLCgeneric;", "" ]
[ "wlc", "drop_function", "pattern wlc.drop_function(X_0:str,
X_1:str, X_2:int, X_3:int, X_4:int):void ", "WLCgeneric;", "" ]
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
@@ -915,6 +915,14 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:hge], X_1:sht):bat[:bit]
", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:hge], X_1:sht,
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:hge], X_1:sht,
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet],
X_1:bat[:inet]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:bat[:inet],
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet,
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:inet], X_1:inet,
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int],
X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte],
X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
@@ -1075,6 +1083,10 @@ stdout of test 'MAL-signatures` in direc
[ "batcalc", "!=", "pattern batcalc.!=(X_0:hge, X_1:bat[:sht]):bat[:bit]
", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:hge, X_1:bat[:sht],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:hge, X_1:bat[:sht],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet]):bat[:bit]
", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet],
X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ]
+[ "batcalc", "!=", "pattern batcalc.!=(X_0:inet, X_1:bat[:inet],
X_2:bit):bat[:bit] ", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte]):bat[:bit]
", "CMDbatNE;", "" ]
[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte],
X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ]
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
