Changeset: 1bda50c9b8f2 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=1bda50c9b8f2
Modified Files:
        clients/Tests/MAL-signatures.stable.out
        clients/Tests/MAL-signatures.stable.out.int128
        clients/odbc/samples/testgetinfo.c
        gdk/gdk_batop.c
        gdk/gdk_cand.h
        gdk/gdk_project.c
        gdk/gdk_select.c
        gdk/gdk_unique.c
        
monetdb5/extras/mal_optimizer_template/Tests/opt_sql_append.stable.err.Windows
        monetdb5/extras/mal_optimizer_template/Tests/opt_sql_append.stable.out
        
monetdb5/extras/mal_optimizer_template/Tests/opt_sql_append.stable.out.Windows
        monetdb5/modules/atoms/uuid.c
        monetdb5/modules/mal/01_batcalc.mal
        monetdb5/modules/mal/01_batcalc.mal.sh
        sql/backends/monet5/generator/generator.c
        sql/backends/monet5/sql_scenario.c
        sql/benchmarks/ssbm/Tests/check1.sql
        sql/benchmarks/tpcds/Tests/79.stable.out
        sql/benchmarks/tpcds/Tests/79.stable.out.int128
        sql/benchmarks/tpch/Tests/check1.sql
        sql/benchmarks/tpch/Tests/lowcardinality.sql
        sql/benchmarks/tpch/Tests/lowcardinality.stable.out
        sql/test/BugTracker-2019/Tests/rank-nan.Bug-6780.sql
        sql/test/BugTracker-2019/Tests/rank-nan.Bug-6780.stable.out
        sql/test/BugTracker-2019/Tests/subselect.Bug-6688.sql
        sql/test/BugTracker-2019/Tests/subselect.Bug-6688.stable.out
        sql/test/BugTracker-2019/Tests/subselect.Bug-6700.sql
        sql/test/BugTracker-2019/Tests/subselect.Bug-6700.stable.out
        tools/mserver/mserver5.c
Branch: default
Log Message:

Merged with linear hashing


diffs (truncated from 5055 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
@@ -700,18 +700,10 @@ stdout of test 'MAL-signatures` in direc
 [ "batbam",    "reverse_seq",  "command 
batbam.reverse_seq(seqs:bat[:str]):bat[:str] ",        "reverse_seq_bat;",     
"Reverse a bat of DNA sequences."       ]
 [ "batbam",    "seq_char",     "command batbam.seq_char(ref_pos:int, 
alg_seq:bat[:str], alg_pos:bat[:int], alg_cigar:bat[:str]):bat[:str] ",   
"seq_char_bat;",        "Calculate the character in the alignment string 
(alg_str) that is aligned to position 'ref_pos', conforming to the given cigar 
string (bat based version)"     ]
 [ "batbam",    "seq_length",   "command 
batbam.seq_length(cigars:bat[:str]):bat[:int] ",       "seq_length_bat;",      
"Calculate the real length of a bat of DNA sequences, given their CIGAR 
string."        ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bit], 
b2:bat[:bit]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bit], b2:bat[:bit], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bit], b2:bat[:bit], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bit], b2:bat[:bit], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:blob], 
b2:bat[:blob]):bat[:bit] ",  "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:blob], b2:bat[:blob], 
nil_matches:bit):bat[:bit] ", "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:blob], b2:bat[:blob], 
s:bat[:oid]):bat[:bit] ",     "CMDbatNE;",    "Return B1 != B2 with candidates 
list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:blob], b2:bat[:blob], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2 
with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], 
b2:bat[:bte]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], b2:bat[:bte], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], b2:bat[:bte], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:any_1], 
b2:bat[:any_1]):bat[:bit] ",        "CMDbatNE;",    "Return B1 != B2"       ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:any_1], b2:bat[:any_1], 
nil_matches:bit):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2"       ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:any_1], b2:bat[:any_1], 
s:bat[:oid]):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2 with candidates 
list"  ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:any_1], b2:bat[:any_1], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",  "CMDbatNE;",    "Return B1 != B2 
with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], 
b2:bat[:dbl]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], b2:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:bte], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
@@ -744,10 +736,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:bte], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:bte], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], 
b2:bat[:dbl]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:dbl], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], 
b2:bat[:flt]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:dbl], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
@@ -830,18 +818,10 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:int], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], 
b2:bat[:lng]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:lng], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], 
b2:bat[:sht]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:sht], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:sht], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:lng], b2:bat[:sht], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:oid], 
b2:bat[:oid]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:oid], b2:bat[:oid], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:oid], b2:bat[:oid], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:oid], b2:bat[:oid], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], 
b2:bat[:bte]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:bte], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
@@ -862,32 +842,16 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:lng], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], 
b2:bat[:sht]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:sht], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:sht], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:sht], b2:bat[:sht], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:str], 
b2:bat[:str]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:str], b2:bat[:str], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:str], b2:bat[:str], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:str], b2:bat[:str], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:timestamp], 
b2:bat[:timestamp]):bat[:bit] ",        "CMDbatNE;",    "Return B1 != B2"       
]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:timestamp], 
b2:bat[:timestamp], nil_matches:bit):bat[:bit] ",       "CMDbatNE;",    "Return 
B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:timestamp], 
b2:bat[:timestamp], s:bat[:oid]):bat[:bit] ",   "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:timestamp], 
b2:bat[:timestamp], s:bat[:oid], nil_matches:bit):bat[:bit] ",  "CMDbatNE;",    
"Return B1 != B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:uuid], 
b2:bat[:uuid]):bat[:bit] ",  "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:uuid], b2:bat[:uuid], 
nil_matches:bit):bat[:bit] ", "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bit], v:bit):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bit], v:bit, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bit], v:bit, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bit], v:bit, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:blob], v:blob):bat[:bit] ",  
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:blob], v:blob, 
nil_matches:bit):bat[:bit] ", "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:blob], v:blob, 
s:bat[:oid]):bat[:bit] ",     "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:blob], v:blob, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",    "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:bte):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:bte, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:bte, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:bte, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:any_1], v:any_1):bat[:bit] 
",        "CMDbatNE;",    "Return B != V" ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:any_1], v:any_1, 
nil_matches:bit):bat[:bit] ",       "CMDbatNE;",    "Return B != V" ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:any_1], v:any_1, 
s:bat[:oid]):bat[:bit] ",   "CMDbatNE;",    "Return B != V with candidates 
list"    ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:any_1], v:any_1, 
s:bat[:oid], nil_matches:bit):bat[:bit] ",  "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:dbl):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:dbl, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:bte], v:dbl, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
@@ -920,10 +884,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:bte, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:bte, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:bte, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:dbl):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:dbl, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:dbl, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:dbl, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:flt):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:flt, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:dbl], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
@@ -1004,18 +964,10 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:int, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:int, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:lng):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:lng, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:lng, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:lng, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:sht):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:sht, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:sht, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:lng], v:sht, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:oid], v:oid):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:oid], v:oid, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:oid], v:oid, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:oid], v:oid, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:bte):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:bte, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:bte, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
@@ -1036,30 +988,14 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:lng, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:lng, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:lng, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:sht):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:sht, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:sht, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:sht], v:sht, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:str], v:str):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:str], v:str, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:str], v:str, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:str], v:str, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:timestamp], 
v:timestamp):bat[:bit] ",        "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:timestamp], v:timestamp, 
nil_matches:bit):bat[:bit] ",       "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:timestamp], v:timestamp, 
s:bat[:oid]):bat[:bit] ",   "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:timestamp], v:timestamp, 
s:bat[:oid], nil_matches:bit):bat[:bit] ",  "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bit, b:bat[:bit]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bit, b:bat[:bit], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bit, b:bat[:bit], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bit, b:bat[:bit], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:blob, b:bat[:blob]):bat[:bit] ",  
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:blob, b:bat[:blob], 
nil_matches:bit):bat[:bit] ", "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:blob, b:bat[:blob], 
s:bat[:oid]):bat[:bit] ",     "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:blob, b:bat[:blob], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",    "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:bte]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:bte], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:bte], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(v:any_1, b:bat[:any_1]):bat[:bit] 
",        "CMDbatNE;",    "Return V != B" ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(v:any_1, b:bat[:any_1], 
nil_matches:bit):bat[:bit] ",       "CMDbatNE;",    "Return V != B" ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(v:any_1, b:bat[:any_1], 
s:bat[:oid]):bat[:bit] ",   "CMDbatNE;",    "Return V != B with candidates 
list"    ]
+[ "batcalc",   "!=",   "pattern batcalc.!=(v:any_1, b:bat[:any_1], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",  "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:dbl]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:bte, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
@@ -1092,10 +1028,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:bte], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:bte], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:dbl]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:dbl], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:flt]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:dbl, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
@@ -1176,18 +1108,10 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:int], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:lng]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:lng], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:sht]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:sht], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:sht], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:lng, b:bat[:sht], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:oid, b:bat[:oid]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:oid, b:bat[:oid], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:oid, b:bat[:oid], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:oid, b:bat[:oid], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:bte]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:bte], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
@@ -1208,14 +1132,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:lng], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:sht]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:sht], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:sht], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:sht, b:bat[:sht], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:str, b:bat[:str]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:str, b:bat[:str], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:str, b:bat[:str], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:str, b:bat[:str], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:timestamp, 
b:bat[:timestamp]):bat[:bit] ",        "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:timestamp, b:bat[:timestamp], 
nil_matches:bit):bat[:bit] ",       "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:timestamp, b:bat[:timestamp], 
s:bat[:oid]):bat[:bit] ",   "CMDbatNE;",    "Return V != B with candidates 
list"    ]
@@ -4076,12 +3992,8 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "/",    "pattern batcalc./(v:sht, b:bat[:sht], 
s:bat[:oid]):bat[:int] ",        "CMDbatDIVsignal;",     "Return V / B with 
candidates list, signal error on overflow"   ]
 [ "batcalc",   "/",    "pattern batcalc./(v:sht, b:bat[:sht], 
s:bat[:oid]):bat[:lng] ",        "CMDbatDIVsignal;",     "Return V / B with 
candidates list, signal error on overflow"   ]
 [ "batcalc",   "/",    "pattern batcalc./(v:sht, b:bat[:sht], 
s:bat[:oid]):bat[:sht] ",        "CMDbatDIVsignal;",     "Return V / B with 
candidates list, signal error on overflow"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bit], 
b2:bat[:bit]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bit], b2:bat[:bit], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:blob], 
b2:bat[:blob]):bat[:bit] ",   "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:blob], b2:bat[:blob], 
s:bat[:oid]):bat[:bit] ",      "CMDbatLT;",    "Return B1 < B2 with candidates 
list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bte], 
b2:bat[:bte]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bte], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
+[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:any_1], 
b2:bat[:any_1]):bat[:bit] ", "CMDbatLT;",    "Return B1 < B2"        ]
+[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:any_1], b2:bat[:any_1], 
s:bat[:oid]):bat[:bit] ",    "CMDbatLT;",    "Return B1 < B2 with candidates 
list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bte], 
b2:bat[:dbl]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bte], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:bte], 
b2:bat[:flt]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
@@ -4098,8 +4010,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:daytime], b2:bat[:daytime], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], 
b2:bat[:bte]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], 
b2:bat[:dbl]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], 
b2:bat[:flt]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:dbl], 
b2:bat[:int]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
@@ -4141,12 +4051,8 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], 
b2:bat[:int]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], 
b2:bat[:lng]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], 
b2:bat[:sht]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:lng], b2:bat[:sht], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:oid], 
b2:bat[:oid]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:oid], b2:bat[:oid], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], 
b2:bat[:bte]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], 
b2:bat[:dbl]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
@@ -4157,19 +4063,11 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], 
b2:bat[:lng]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], 
b2:bat[:sht]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:sht], b2:bat[:sht], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:str], 
b2:bat[:str]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:str], b2:bat[:str], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:timestamp], 
b2:bat[:timestamp]):bat[:bit] ", "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:timestamp], 
b2:bat[:timestamp], s:bat[:oid]):bat[:bit] ",    "CMDbatLT;",    "Return B1 < 
B2 with candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:uuid], 
b2:bat[:uuid]):bat[:bit] ",   "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bit], v:bit):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bit], v:bit, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:blob], v:blob):bat[:bit] ",   
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:blob], v:blob, 
s:bat[:oid]):bat[:bit] ",      "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bte], v:bte):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bte], v:bte, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
+[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:any_1], v:any_1):bat[:bit] ", 
"CMDbatLT;",    "Return B < V"  ]
+[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:any_1], v:any_1, 
s:bat[:oid]):bat[:bit] ",    "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bte], v:dbl):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bte], v:dbl, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:bte], v:flt):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
@@ -4186,8 +4084,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:daytime], v:daytime, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:bte):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:bte, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:dbl):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:dbl, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:flt):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:flt, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:dbl], v:int):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
@@ -4228,12 +4124,8 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:flt, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:int):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:int, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:lng):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:lng, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:sht):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:lng], v:sht, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:oid], v:oid):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:oid], v:oid, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:bte):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:bte, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:dbl):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
@@ -4244,18 +4136,10 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:int, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:lng):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:lng, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:sht):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:sht], v:sht, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:str], v:str):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:str], v:str, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:timestamp], 
v:timestamp):bat[:bit] ", "CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:timestamp], v:timestamp, 
s:bat[:oid]):bat[:bit] ",    "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:bit, b:bat[:bit]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:bit, b:bat[:bit], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:blob, b:bat[:blob]):bat[:bit] ",   
"CMDbatLT;",    "Return V < B"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:blob, b:bat[:blob], 
s:bat[:oid]):bat[:bit] ",      "CMDbatLT;",    "Return V < B with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:bte, b:bat[:bte]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:bte, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to