Changeset: 60cb3c56a5db for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/60cb3c56a5db Modified Files: clients/Tests/MAL-signatures.stable.out clients/Tests/MAL-signatures.stable.out.int128 monetdb5/modules/atoms/blob.c monetdb5/modules/atoms/mtime.c monetdb5/modules/kernel/batmmath.c monetdb5/modules/kernel/batstr.c monetdb5/modules/mal/batcalc.c monetdb5/modules/mal/mkey.c monetdb5/modules/mal/pcre.c monetdb5/optimizer/opt_mergetable.c monetdb5/optimizer/opt_remap.c sql/backends/monet5/sql.c sql/backends/monet5/sql_statement.c Branch: pushcands Log Message:
We don't have to maintain the candidate-less version of internal MAL functions anymore diffs (truncated from 7562 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,236 +760,121 @@ stdout of test 'MAL-signatures` in direc [ "bataggr", "not_exist", "pattern bataggr.not_exist(X_0:any_1):bat[:bit] ", "SQLnot_exist;", "" ] [ "bataggr", "not_exist", "pattern bataggr.not_exist(X_0:bat[:any_1]):bat[:bit] ", "SQLnot_exist;", "" ] [ "bataggr", "not_exist", "pattern bataggr.not_exist(X_0:bat[:any_1]):bit ", "SQLnot_exist;", "" ] -[ "batalgebra", "like", "pattern batalgebra.like(X_0:bat[:str], X_1:bat[:str], X_2:str, X_3:bit):bat[:bit] ", "BATPCRElike;", "" ] [ "batalgebra", "like", "pattern batalgebra.like(X_0:bat[:str], X_1:bat[:str], X_2:str, X_3:bit, X_4:bat[:oid], X_5:bat[:oid]):bat[:bit] ", "BATPCRElike;", "" ] -[ "batalgebra", "like", "pattern batalgebra.like(X_0:bat[:str], X_1:str, X_2:str, X_3:bit):bat[:bit] ", "BATPCRElike;", "" ] [ "batalgebra", "like", "pattern batalgebra.like(X_0:bat[:str], X_1:str, X_2:str, X_3:bit, X_4:bat[:oid]):bat[:bit] ", "BATPCRElike;", "" ] -[ "batalgebra", "like", "pattern batalgebra.like(X_0:str, X_1:bat[:str], X_2:str, X_3:bit):bat[:bit] ", "BATPCRElike;", "" ] [ "batalgebra", "like", "pattern batalgebra.like(X_0:str, X_1:bat[:str], X_2:str, X_3:bit, X_4:bat[:oid]):bat[:bit] ", "BATPCRElike;", "" ] -[ "batalgebra", "not_like", "pattern batalgebra.not_like(X_0:bat[:str], X_1:bat[:str], X_2:str, X_3:bit):bat[:bit] ", "BATPCREnotlike;", "" ] [ "batalgebra", "not_like", "pattern batalgebra.not_like(X_0:bat[:str], X_1:bat[:str], X_2:str, X_3:bit, X_4:bat[:oid], X_5:bat[:oid]):bat[:bit] ", "BATPCREnotlike;", "" ] -[ "batalgebra", "not_like", "pattern batalgebra.not_like(X_0:bat[:str], X_1:str, X_2:str, X_3:bit):bat[:bit] ", "BATPCREnotlike;", "" ] [ "batalgebra", "not_like", "pattern batalgebra.not_like(X_0:bat[:str], X_1:str, X_2:str, X_3:bit, X_4:bat[:oid]):bat[:bit] ", "BATPCREnotlike;", "" ] -[ "batalgebra", "not_like", "pattern batalgebra.not_like(X_0:str, X_1:bat[:str], X_2:str, X_3:bit):bat[:bit] ", "BATPCREnotlike;", "" ] [ "batalgebra", "not_like", "pattern batalgebra.not_like(X_0:str, X_1:bat[:str], X_2:str, X_3:bit, X_4:bat[:oid]):bat[:bit] ", "BATPCREnotlike;", "" ] -[ "batblob", "nitems", "pattern batblob.nitems(X_0:bat[:blob]):bat[:int] ", "BLOBnitems_bulk;", "" ] [ "batblob", "nitems", "pattern batblob.nitems(X_0:bat[:blob], X_1:bat[:oid]):bat[:int] ", "BLOBnitems_bulk;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:any_1, X_1:bat[:any_1]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:any_1, X_1:bat[:any_1], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:any_1, X_1:bat[:any_1], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:any_1, X_1:bat[:any_1], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:any_1):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:any_1, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:any_1, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:any_1, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:bte], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:bat[:date], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:date):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:date, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:date, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:date], X_1:date, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:bat[:daytime]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:bat[:daytime], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:bat[:daytime], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:bat[:daytime], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:daytime], X_1:daytime):bat[:bit] ", "CMDbatNE;", "" ] [ "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[: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;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:int], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:bat[:json], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:json], X_1:json, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bat[:sht], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:lng], X_1:sht, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bat[:lng], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:bte, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:int, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:sht], X_1:lng, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:bat[:timestamp], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:timestamp):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:timestamp, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:timestamp, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:timestamp], X_1:timestamp, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:bat[:uuid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:bat[:uuid], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:bat[:uuid], X_2:bat[:oid], X_3:bat[:oid], X_4:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:bat[:uuid], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bat[:uuid], X_1:uuid, X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:bte, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:date, X_1:bat[:date], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:daytime, X_1:bat[:daytime]):bat[:bit] ", "CMDbatNE;", "" ] [ "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: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;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:int, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:json, X_1:bat[:json], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:lng, X_1:bat[:sht], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:bte], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:timestamp, X_1:bat[:timestamp], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:uuid, X_1:bat[:uuid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:uuid, X_1:bat[:uuid], X_2:bat[:oid]):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "!=", "pattern batcalc.!=(X_0:uuid, X_1:bat[:uuid], X_2:bat[:oid], X_3:bit):bat[:bit] ", "CMDbatNE;", "" ] -[ "batcalc", "!=", "pattern batcalc.!=(X_0:uuid, X_1:bat[:uuid], X_2:bit):bat[:bit] ", "CMDbatNE;", "" ] [ "batcalc", "%", "pattern batcalc.%(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bte] ", "CMDbatMODsignal;", "" ] [ "batcalc", "%", "pattern batcalc.%(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:int] ", "CMDbatMODsignal;", "" ] [ "batcalc", "%", "pattern batcalc.%(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:lng] ", "CMDbatMODsignal;", "" ] @@ -1887,29 +1772,17 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "+", "pattern batcalc.+(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:int] ", "CMDbatADDsignal;", "" ] [ "batcalc", "+", "pattern batcalc.+(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:lng] ", "CMDbatADDsignal;", "" ] [ "batcalc", "+", "pattern batcalc.+(X_0:sht, X_1:bat[:sht], X_2:bat[:oid]):bat[:sht] ", "CMDbatADDsignal;", "" ] -[ "batcalc", "++", "pattern batcalc.++(X_0:bat[:bte]):bat[:bte] ", "CMDbatINCR;", "" ] [ "batcalc", "++", "pattern batcalc.++(X_0:bat[:bte], X_1:bat[:oid]):bat[:bte] ", "CMDbatINCR;", "" ] -[ "batcalc", "++", "pattern batcalc.++(X_0:bat[:dbl]):bat[:dbl] ", "CMDbatINCR;", "" ] [ "batcalc", "++", "pattern batcalc.++(X_0:bat[:dbl], X_1:bat[:oid]):bat[:dbl] ", "CMDbatINCR;", "" ] -[ "batcalc", "++", "pattern batcalc.++(X_0:bat[:flt]):bat[:flt] ", "CMDbatINCR;", "" ] [ "batcalc", "++", "pattern batcalc.++(X_0:bat[:flt], X_1:bat[:oid]):bat[:flt] ", "CMDbatINCR;", "" ] -[ "batcalc", "++", "pattern batcalc.++(X_0:bat[:int]):bat[:int] ", "CMDbatINCR;", "" ] [ "batcalc", "++", "pattern batcalc.++(X_0:bat[:int], X_1:bat[:oid]):bat[:int] ", "CMDbatINCR;", "" ] -[ "batcalc", "++", "pattern batcalc.++(X_0:bat[:lng]):bat[:lng] ", "CMDbatINCR;", "" ] [ "batcalc", "++", "pattern batcalc.++(X_0:bat[:lng], X_1:bat[:oid]):bat[:lng] ", "CMDbatINCR;", "" ] -[ "batcalc", "++", "pattern batcalc.++(X_0:bat[:sht]):bat[:sht] ", "CMDbatINCR;", "" ] [ "batcalc", "++", "pattern batcalc.++(X_0:bat[:sht], X_1:bat[:oid]):bat[:sht] ", "CMDbatINCR;", "" ] -[ "batcalc", "-", "pattern batcalc.-(X_0:bat[:bte]):bat[:bte] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:bte], X_1:bat[:oid]):bat[:bte] ", "CMDbatNEG;", "" ] -[ "batcalc", "-", "pattern batcalc.-(X_0:bat[:dbl]):bat[:dbl] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:dbl], X_1:bat[:oid]):bat[:dbl] ", "CMDbatNEG;", "" ] -[ "batcalc", "-", "pattern batcalc.-(X_0:bat[:flt]):bat[:flt] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:flt], X_1:bat[:oid]):bat[:flt] ", "CMDbatNEG;", "" ] -[ "batcalc", "-", "pattern batcalc.-(X_0:bat[:int]):bat[:int] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:int], X_1:bat[:oid]):bat[:int] ", "CMDbatNEG;", "" ] -[ "batcalc", "-", "pattern batcalc.-(X_0:bat[:lng]):bat[:lng] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:lng], X_1:bat[:oid]):bat[:lng] ", "CMDbatNEG;", "" ] -[ "batcalc", "-", "pattern batcalc.-(X_0:bat[:sht]):bat[:sht] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:sht], X_1:bat[:oid]):bat[:sht] ", "CMDbatNEG;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:dbl] ", "CMDbatSUBenlarge;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:flt] ", "CMDbatSUBenlarge;", "" ] @@ -2184,17 +2057,11 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "-", "pattern batcalc.-(X_0:sht, X_1:bat[:int], X_2:bat[:oid]):bat[:int] ", "CMDbatSUBsignal;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:sht, X_1:bat[:lng], X_2:bat[:oid]):bat[:lng] ", "CMDbatSUBsignal;", "" ] [ "batcalc", "-", "pattern batcalc.-(X_0:sht, X_1:bat[:sht], X_2:bat[:oid]):bat[:sht] ", "CMDbatSUBsignal;", "" ] -[ "batcalc", "--", "pattern batcalc.--(X_0:bat[:bte]):bat[:bte] ", "CMDbatDECR;", "" ] [ "batcalc", "--", "pattern batcalc.--(X_0:bat[:bte], X_1:bat[:oid]):bat[:bte] ", "CMDbatDECR;", "" ] -[ "batcalc", "--", "pattern batcalc.--(X_0:bat[:dbl]):bat[:dbl] ", "CMDbatDECR;", "" ] [ "batcalc", "--", "pattern batcalc.--(X_0:bat[:dbl], X_1:bat[:oid]):bat[:dbl] ", "CMDbatDECR;", "" ] -[ "batcalc", "--", "pattern batcalc.--(X_0:bat[:flt]):bat[:flt] ", "CMDbatDECR;", "" ] [ "batcalc", "--", "pattern batcalc.--(X_0:bat[:flt], X_1:bat[:oid]):bat[:flt] ", "CMDbatDECR;", "" ] -[ "batcalc", "--", "pattern batcalc.--(X_0:bat[:int]):bat[:int] ", "CMDbatDECR;", "" ] [ "batcalc", "--", "pattern batcalc.--(X_0:bat[:int], X_1:bat[:oid]):bat[:int] ", "CMDbatDECR;", "" ] -[ "batcalc", "--", "pattern batcalc.--(X_0:bat[:lng]):bat[:lng] ", "CMDbatDECR;", "" ] [ "batcalc", "--", "pattern batcalc.--(X_0:bat[:lng], X_1:bat[:oid]):bat[:lng] ", "CMDbatDECR;", "" ] -[ "batcalc", "--", "pattern batcalc.--(X_0:bat[:sht]):bat[:sht] ", "CMDbatDECR;", "" ] [ "batcalc", "--", "pattern batcalc.--(X_0:bat[:sht], X_1:bat[:oid]):bat[:sht] ", "CMDbatDECR;", "" ] [ "batcalc", "/", "pattern batcalc./(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_0:bat[:bte], X_1:bat[:bte], X_2:bat[:oid], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] @@ -2670,857 +2537,431 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "/", "pattern batcalc./(X_0:sht, X_1:bat[:sht], X_2:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_0:sht, X_1:bat[:sht], X_2:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_0:sht, X_1:bat[:sht], X_2:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_0:any_1, X_1:bat[:any_1]):bat[:bit] ", "CMDbatLT;", "" ] [ "batcalc", "<", "pattern batcalc.<(X_0:any_1, X_1:bat[:any_1], X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:any_1], X_1:any_1):bat[:bit] ", "CMDbatLT;", "" ] [ "batcalc", "<", "pattern batcalc.<(X_0:bat[:any_1], X_1:any_1, X_2:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:any_1], X_1:bat[:any_1]):bat[:bit] ", "CMDbatLT;", "" ] [ "batcalc", "<", "pattern batcalc.<(X_0:bat[:any_1], X_1:bat[:any_1], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ] -[ "batcalc", "<", "pattern batcalc.<(X_0:bat[:bte], X_1:bat[:int]):bat[:bit] ", "CMDbatLT;", "" ] [ "batcalc", "<", "pattern batcalc.<(X_0:bat[:bte], X_1:bat[:int], X_2:bat[:oid], X_3:bat[:oid]):bat[:bit] ", "CMDbatLT;", "" ] _______________________________________________ checkin-list mailing list [email protected] https://www.monetdb.org/mailman/listinfo/checkin-list
