Changeset: 3f102989da46 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=3f102989da46
Removed Files:
        
sql/test/BugTracker-2008/Tests/too_many_nested_operators.SF-2102167.timeout
Modified Files:
        clients/Tests/MAL-signatures.stable.out
        clients/Tests/MAL-signatures.stable.out.int128
        clients/Tests/exports.stable.out
        monetdb5/modules/kernel/alarm.mal
        sql/backends/monet5/sql_upgrades.c
        sql/benchmarks/tpcds/Tests/79.sql
        sql/benchmarks/tpcds/Tests/79.stable.out
        sql/benchmarks/tpcds/Tests/79.stable.out.int128
        sql/test/BugTracker-2008/Tests/too_many_nested_operators.SF-2102167.sql
        
sql/test/BugTracker-2008/Tests/too_many_nested_operators.SF-2102167.stable.err
        
sql/test/BugTracker-2008/Tests/too_many_nested_operators.SF-2102167.stable.out
        
sql/test/BugTracker-2009/Tests/union_where_combined.SF-2887282.stable.out
        
sql/test/BugTracker-2009/Tests/use_order_column_first.SF-2686008.stable.out
        sql/test/emptydb/Tests/check.stable.out
        sql/test/emptydb/Tests/check.stable.out.32bit
        sql/test/emptydb/Tests/check.stable.out.int128
        sql/test/sys-schema/Tests/systemfunctions.stable.out
        sql/test/sys-schema/Tests/systemfunctions.stable.out.int128
Branch: default
Log Message:

Merged with linear-hashing


diffs (truncated from 593 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,10 +760,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], 
b2:bat[:flt]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], 
b2:bat[:int]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:flt], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
@@ -788,10 +784,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], 
b2:bat[:int]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:int], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B1 != 
B2 with candidates list"  ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], 
b2:bat[:lng]):bat[:bit] ",    "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B1 != B2"       ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b1:bat[:int], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B1 != B2 with 
candidates list"  ]
@@ -908,10 +900,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:dbl, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:dbl, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:dbl, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:flt):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:flt, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:flt, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:int):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:int, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:flt], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
@@ -936,10 +924,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:flt, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:flt, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:int):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:int, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:int, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return B != V with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:lng):bat[:bit] ",    
"CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:lng, 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return B != V" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(b:bat[:int], v:lng, 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return B != V with candidates 
list"    ]
@@ -1052,10 +1036,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:dbl], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:flt]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:flt], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:int]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:flt, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
@@ -1080,10 +1060,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:flt], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:int]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
-[ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:int], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatNE;",    "Return V != B with 
candidates list"    ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:lng]):bat[:bit] ",    
"CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatNE;",    "Return V != B" ]
 [ "batcalc",   "!=",   "pattern batcalc.!=(v:int, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatNE;",    "Return V != B with candidates 
list"    ]
@@ -4022,8 +3998,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], 
b2:bat[:dbl]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], 
b2:bat[:flt]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], 
b2:bat[:int]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:flt], 
b2:bat[:lng]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
@@ -4036,8 +4010,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], 
b2:bat[:flt]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], 
b2:bat[:int]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
-[ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], 
b2:bat[:lng]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B1 < B2 with 
candidates list"   ]
 [ "batcalc",   "<",    "pattern batcalc.<(b1:bat[:int], 
b2:bat[:sht]):bat[:bit] ",     "CMDbatLT;",    "Return B1 < B2"        ]
@@ -4096,8 +4068,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:bte, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:dbl):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:dbl, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:flt):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:flt, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:int):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:int, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:flt], v:lng):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
@@ -4110,8 +4080,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:dbl, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:flt):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:flt, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:int):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:int, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:lng):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:lng, 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return B < V with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(b:bat[:int], v:sht):bat[:bit] ",     
"CMDbatLT;",    "Return B < V"  ]
@@ -4168,8 +4136,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:dbl]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:flt]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:int]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:flt, b:bat[:lng]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
@@ -4182,8 +4148,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:flt]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:int]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
-[ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:lng]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",        "CMDbatLT;",    "Return V < B with candidates 
list"     ]
 [ "batcalc",   "<",    "pattern batcalc.<(v:int, b:bat[:sht]):bat[:bit] ",     
"CMDbatLT;",    "Return V < B"  ]
@@ -4336,8 +4300,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], 
b2:bat[:dbl]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], 
b2:bat[:flt]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], 
b2:bat[:int]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:flt], 
b2:bat[:lng]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
@@ -4350,8 +4312,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], 
b2:bat[:flt]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], 
b2:bat[:int]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], 
b2:bat[:lng]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B1 <= B2 with 
candidates list"  ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b1:bat[:int], 
b2:bat[:sht]):bat[:bit] ",    "CMDbatLE;",    "Return B1 <= B2"       ]
@@ -4410,8 +4370,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:bte, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:dbl):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:dbl, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:flt):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:int):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:flt], v:lng):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
@@ -4424,8 +4382,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:dbl, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:flt):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:int):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:lng):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:lng, 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return B <= V with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(b:bat[:int], v:sht):bat[:bit] ",    
"CMDbatLE;",    "Return B <= V" ]
@@ -4482,8 +4438,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:dbl]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:flt]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:int]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:flt, b:bat[:lng]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
@@ -4496,8 +4450,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:flt]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:int]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
-[ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:lng]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatLE;",    "Return V <= B with candidates 
list"    ]
 [ "batcalc",   "<=",   "pattern batcalc.<=(v:int, b:bat[:sht]):bat[:bit] ",    
"CMDbatLE;",    "Return V <= B" ]
@@ -4584,10 +4536,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B1 == B2"       ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B1 == B2 with 
candidates list"  ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B1 == 
B2 with candidates list"  ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], 
b2:bat[:flt]):bat[:bit] ",    "CMDbatEQ;",    "Return B1 == B2"       ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B1 == B2"       ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B1 == B2 with 
candidates list"  ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B1 == 
B2 with candidates list"  ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], 
b2:bat[:int]):bat[:bit] ",    "CMDbatEQ;",    "Return B1 == B2"       ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B1 == B2"       ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:flt], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B1 == B2 with 
candidates list"  ]
@@ -4612,10 +4560,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B1 == B2"       ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B1 == B2 with 
candidates list"  ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B1 == 
B2 with candidates list"  ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], 
b2:bat[:int]):bat[:bit] ",    "CMDbatEQ;",    "Return B1 == B2"       ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B1 == B2"       ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B1 == B2 with 
candidates list"  ]
-[ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:int], 
s:bat[:oid], nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B1 == 
B2 with candidates list"  ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], 
b2:bat[:lng]):bat[:bit] ",    "CMDbatEQ;",    "Return B1 == B2"       ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B1 == B2"       ]
 [ "batcalc",   "==",   "pattern batcalc.==(b1:bat[:int], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B1 == B2 with 
candidates list"  ]
@@ -4732,10 +4676,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:dbl, 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B == V" ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:dbl, 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B == V with candidates 
list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:dbl, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B == V with 
candidates list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:flt):bat[:bit] ",    
"CMDbatEQ;",    "Return B == V" ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:flt, 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B == V" ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B == V with candidates 
list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:flt, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B == V with 
candidates list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:int):bat[:bit] ",    
"CMDbatEQ;",    "Return B == V" ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:int, 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B == V" ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:flt], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B == V with candidates 
list"    ]
@@ -4760,10 +4700,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:flt, 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B == V" ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:flt, 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B == V with candidates 
list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:flt, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B == V with 
candidates list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:int):bat[:bit] ",    
"CMDbatEQ;",    "Return B == V" ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:int, 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B == V" ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:int, 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B == V with candidates 
list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:int, s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return B == V with 
candidates list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:lng):bat[:bit] ",    
"CMDbatEQ;",    "Return B == V" ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:lng, 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return B == V" ]
 [ "batcalc",   "==",   "pattern batcalc.==(b:bat[:int], v:lng, 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return B == V with candidates 
list"    ]
@@ -4876,10 +4812,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:dbl], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return V == B" ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return V == B with candidates 
list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:dbl], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return V == B with 
candidates list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:flt]):bat[:bit] ",    
"CMDbatEQ;",    "Return V == B" ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return V == B" ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return V == B with candidates 
list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:flt], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return V == B with 
candidates list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:int]):bat[:bit] ",    
"CMDbatEQ;",    "Return V == B" ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return V == B" ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:flt, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return V == B with candidates 
list"    ]
@@ -4904,10 +4836,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:flt], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return V == B" ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return V == B with candidates 
list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:flt], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return V == B with 
candidates list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:int]):bat[:bit] ",    
"CMDbatEQ;",    "Return V == B" ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:int], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return V == B" ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return V == B with candidates 
list"    ]
-[ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:int], s:bat[:oid], 
nil_matches:bit):bat[:bit] ",      "CMDbatEQ;",    "Return V == B with 
candidates list"    ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:lng]):bat[:bit] ",    
"CMDbatEQ;",    "Return V == B" ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:lng], 
nil_matches:bit):bat[:bit] ",   "CMDbatEQ;",    "Return V == B" ]
 [ "batcalc",   "==",   "pattern batcalc.==(v:int, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",       "CMDbatEQ;",    "Return V == B with candidates 
list"    ]
@@ -4990,8 +4918,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], 
b2:bat[:dbl]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
-[ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], 
b2:bat[:flt]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
-[ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], 
b2:bat[:int]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:flt], 
b2:bat[:lng]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
@@ -5004,8 +4930,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], b2:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], 
b2:bat[:flt]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], b2:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
-[ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], 
b2:bat[:int]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
-[ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], b2:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], 
b2:bat[:lng]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], b2:bat[:lng], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B1 > B2 with 
candidates list"   ]
 [ "batcalc",   ">",    "pattern batcalc.>(b1:bat[:int], 
b2:bat[:sht]):bat[:bit] ",     "CMDbatGT;",    "Return B1 > B2"        ]
@@ -5064,8 +4988,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:bte, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:dbl):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:dbl, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
-[ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:flt):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
-[ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:flt, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:int):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:int, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:flt], v:lng):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
@@ -5078,8 +5000,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:dbl, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:flt):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:flt, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
-[ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:int):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
-[ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:int, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:lng):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:lng, 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return B > V with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(b:bat[:int], v:sht):bat[:bit] ",     
"CMDbatGT;",    "Return B > V"  ]
@@ -5136,8 +5056,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:bte], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:dbl]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
-[ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:flt]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
-[ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:int]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:flt, b:bat[:lng]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
@@ -5150,8 +5068,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:dbl], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:flt]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:flt], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
-[ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:int]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
-[ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:int], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:lng]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:lng], 
s:bat[:oid]):bat[:bit] ",        "CMDbatGT;",    "Return V > B with candidates 
list"     ]
 [ "batcalc",   ">",    "pattern batcalc.>(v:int, b:bat[:sht]):bat[:bit] ",     
"CMDbatGT;",    "Return V > B"  ]
@@ -5208,8 +5124,6 @@ stdout of test 'MAL-signatures` in direc
 [ "batcalc",   ">=",   "pattern batcalc.>=(b1:bat[:flt], b2:bat[:bte], 
s:bat[:oid]):bat[:bit] ",       "CMDbatGE;",    "Return B1 >= B2 with 
candidates list"  ]
 [ "batcalc",   ">=",   "pattern batcalc.>=(b1:bat[:flt], 
b2:bat[:dbl]):bat[:bit] ",    "CMDbatGE;",    "Return B1 >= B2"       ]
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to