Changeset: b1dc435d9d7d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=b1dc435d9d7d Modified Files: clients/Tests/MAL-signatures.stable.out clients/Tests/MAL-signatures.stable.out.int128 monetdb5/modules/mal/batcalc.c monetdb5/modules/mal/calc.c Branch: typing Log Message:
The division functions were in duplicated. Added missing multiplication ones diffs (truncated from 1639 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 @@ -2045,14 +2045,12 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] @@ -2083,14 +2081,12 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] @@ -2313,14 +2309,12 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:bte], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:bte], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] -[ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIVsignal;", "" ] [ "batcalc", "/", "pattern batcalc./(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:int] ", "CMDbatDIVsignal;", "" ] @@ -3932,14 +3926,12 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] -[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] -[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatDIV;", "" ] @@ -3970,14 +3962,12 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] -[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:sht] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] -[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:flt] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatDIV;", "" ] @@ -4200,14 +4190,12 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:bte], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:bte], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] -[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:int] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:lng] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:dbl], X_3:bat[:oid]):bat[:sht] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] -[ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:bte] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:dbl] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:flt] ", "CMDbatDIV;", "" ] [ "batcalc", "div_noerror", "pattern batcalc.div_noerror(X_1:bte, X_2:bat[:flt], X_3:bat[:oid]):bat[:int] ", "CMDbatDIV;", "" ] @@ -6304,9 +6292,11 @@ stdout of test 'MAL-signatures` in direc [ "calc", "*", "pattern calc.*(X_1:lng, X_2:bte):flt ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:bte):lng ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:dbl):dbl ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:lng, X_2:dbl):hge ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:dbl):lng ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:flt):dbl ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:flt):flt ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:lng, X_2:flt):hge ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:flt):lng ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:int):dbl ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:lng, X_2:int):flt ", "CMDvarMULsignal;", "" ] @@ -6322,10 +6312,18 @@ stdout of test 'MAL-signatures` in direc [ "calc", "*", "pattern calc.*(X_1:sht, X_2:bte):int ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:bte):lng ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:bte):sht ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:dbl):bte ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:dbl):dbl ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:dbl):hge ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:dbl):int ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:dbl):lng ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:dbl):sht ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):bte ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):dbl ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):flt ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):hge ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):int ", "CMDvarMULsignal;", "" ] +[ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):lng ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:flt):sht ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:int):dbl ", "CMDvarMULsignal;", "" ] [ "calc", "*", "pattern calc.*(X_1:sht, X_2:int):flt ", "CMDvarMULsignal;", "" ] @@ -6548,14 +6546,12 @@ stdout of test 'MAL-signatures` in direc [ "calc", "/", "pattern calc./(X_1:bte, X_2:bte):lng ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:bte):sht ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):bte ", "CMDvarDIVsignal;", "" ] -[ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):bte ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):dbl ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):flt ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):int ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):lng ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:dbl):sht ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:flt):bte ", "CMDvarDIVsignal;", "" ] -[ "calc", "/", "pattern calc./(X_1:bte, X_2:flt):bte ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:flt):dbl ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:flt):flt ", "CMDvarDIVsignal;", "" ] [ "calc", "/", "pattern calc./(X_1:bte, X_2:flt):int ", "CMDvarDIVsignal;", "" ] @@ -7152,14 +7148,12 @@ stdout of test 'MAL-signatures` in direc [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:bte):lng ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:bte):sht ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):bte ", "CMDvarDIV;", "" ] -[ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):bte ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):dbl ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):flt ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):int ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):lng ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:dbl):sht ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:flt):bte ", "CMDvarDIV;", "" ] -[ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:flt):bte ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:flt):dbl ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:flt):flt ", "CMDvarDIV;", "" ] [ "calc", "div_noerror", "pattern calc.div_noerror(X_1:bte, X_2:flt):int ", "CMDvarDIV;", "" ] @@ -7515,8 +7509,14 @@ stdout of test 'MAL-signatures` in direc [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:lng, X_2:sht):lng ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:bte):sht ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:dbl):dbl ", "CMDvarMUL;", "" ] +[ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:dbl):hge ", "CMDvarMUL;", "" ] +[ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:dbl):int ", "CMDvarMUL;", "" ] +[ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:dbl):lng ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:dbl):sht ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:flt):flt ", "CMDvarMUL;", "" ] +[ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:flt):hge ", "CMDvarMUL;", "" ] +[ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:flt):int ", "CMDvarMUL;", "" ] +[ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:flt):lng ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:flt):sht ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:int):int ", "CMDvarMUL;", "" ] [ "calc", "mul_noerror", "pattern calc.mul_noerror(X_1:sht, X_2:lng):lng ", "CMDvarMUL;", "" ] diff --git a/clients/Tests/MAL-signatures.stable.out.int128 b/clients/Tests/MAL-signatures.stable.out.int128 --- a/clients/Tests/MAL-signatures.stable.out.int128 +++ b/clients/Tests/MAL-signatures.stable.out.int128 @@ -1778,8 +1778,16 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] @@ -1787,8 +1795,16 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:bte, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:dbl, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:flt, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:bte], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] @@ -1822,72 +1838,136 @@ stdout of test 'MAL-signatures` in direc [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:flt], X_2:sht, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:bte, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:dbl, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:flt, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:int, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:lng, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:hge], X_2:sht, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:bte, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:dbl] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:dbl, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:flt] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:flt, X_3:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:hge, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:int, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:lng, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:int], X_2:sht, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:bte], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:dbl], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:flt], X_3:bat[:oid], X_4:bat[:oid]):bat[:sht] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:hge], X_3:bat[:oid], X_4:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:int], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:lng], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bat[:sht], X_3:bat[:oid], X_4:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:bte, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:bte] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:hge] ", "CMDbatMULsignal;", "" ] +[ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:int] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] [ "batcalc", "*", "pattern batcalc.*(X_1:bat[:lng], X_2:dbl, X_3:bat[:oid]):bat[:lng] ", "CMDbatMULsignal;", "" ] _______________________________________________ checkin-list mailing list checkin-list@monetdb.org https://www.monetdb.org/mailman/listinfo/checkin-list