Changeset: ab3900a2a837 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=ab3900a2a837
Modified Files:
        clients/Tests/MAL-signatures.stable.out
Branch: linear-hashing
Log Message:

Approved MAL-signatures on 32-bit


diffs (truncated from 351 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
@@ -758,10 +758,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"  ]
@@ -786,10 +782,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"  ]
@@ -906,10 +898,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"    ]
@@ -934,10 +922,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"    ]
@@ -1050,10 +1034,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"    ]
@@ -1078,10 +1058,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"    ]
@@ -4020,8 +3996,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"        ]
@@ -4034,8 +4008,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"        ]
@@ -4094,8 +4066,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"  ]
@@ -4108,8 +4078,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"  ]
@@ -4166,8 +4134,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"  ]
@@ -4180,8 +4146,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"  ]
@@ -4334,8 +4298,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"       ]
@@ -4348,8 +4310,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"       ]
@@ -4408,8 +4368,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" ]
@@ -4422,8 +4380,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" ]
@@ -4480,8 +4436,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" ]
@@ -4494,8 +4448,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" ]
@@ -4582,10 +4534,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"  ]
@@ -4610,10 +4558,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"  ]
@@ -4730,10 +4674,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"    ]
@@ -4758,10 +4698,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"    ]
@@ -4874,10 +4810,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"    ]
@@ -4902,10 +4834,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"    ]
@@ -4988,8 +4916,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"        ]
@@ -5002,8 +4928,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"        ]
@@ -5062,8 +4986,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"  ]
@@ -5076,8 +4998,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"  ]
@@ -5134,8 +5054,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"  ]
@@ -5148,8 +5066,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"  ]
@@ -5206,8 +5122,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