Changeset: 9f6b69bd4475 for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=9f6b69bd4475 Modified Files: clients/Tests/MAL-signatures.stable.out.int128 monetdb5/modules/mal/00_language_hge.mal Branch: Jul2017 Log Message:
language.assert is unsafe in all its guises. diffs (44 lines): 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 @@ -10172,21 +10172,21 @@ Ready. [ "json", "unfold", "pattern json.unfold(val:json) (o:bat[:oid], k:bat[:str], v:bat[:json]) ", "JSONunfold;", "Expands the outermost JSON object into key-value pairs." ] [ "json", "valuearray", "command json.valuearray(val:json):json ", "JSONvalueArray;", "Expands the outermost JSON object values into a JSON value array." ] [ "json", "values", "command json.values(val:json):bat[:json] ", "JSONvalueTable;", "Expands the outermost JSON values." ] -[ "language", "assert", "command language.assert(v:bit, term:str):void ", "MALassertBit;", "" ] -[ "language", "assert", "command language.assert(v:hge, term:str):void ", "MALassertHge;", "" ] -[ "language", "assert", "command language.assert(v:int, term:str):void ", "MALassertInt;", "" ] -[ "language", "assert", "command language.assert(v:lng, term:str):void ", "MALassertLng;", "" ] -[ "language", "assert", "command language.assert(v:oid, term:str):void ", "MALassertOid;", "" ] -[ "language", "assert", "command language.assert(v:sht, term:str):void ", "MALassertSht;", "" ] -[ "language", "assert", "command language.assert(v:str, term:str):void ", "MALassertStr;", "" ] -[ "language", "assert", "pattern language.assert(v:any_1, pname:str, oper:str, val:any_2):void ", "MALassertTriple;", "Assertion test." ] +[ "language", "assert", "unsafe command language.assert(v:bit, term:str):void ", "MALassertBit;", "" ] +[ "language", "assert", "unsafe command language.assert(v:hge, term:str):void ", "MALassertHge;", "" ] +[ "language", "assert", "unsafe command language.assert(v:int, term:str):void ", "MALassertInt;", "" ] +[ "language", "assert", "unsafe command language.assert(v:lng, term:str):void ", "MALassertLng;", "" ] +[ "language", "assert", "unsafe command language.assert(v:oid, term:str):void ", "MALassertOid;", "" ] +[ "language", "assert", "unsafe command language.assert(v:sht, term:str):void ", "MALassertSht;", "" ] +[ "language", "assert", "unsafe command language.assert(v:str, term:str):void ", "MALassertStr;", "" ] +[ "language", "assert", "unsafe pattern language.assert(v:any_1, pname:str, oper:str, val:any_2):void ", "MALassertTriple;", "Assertion test." ] [ "language", "block", "pattern language.block(v:int, w:any...):int ", "deblockdataflow;", "Block on availability of all variables w, and then pass on v" ] [ "language", "call", "pattern language.call(s:bat[:str]):void ", "CMDcallBAT;", "Evaluate a program stored in a BAT." ] [ "language", "call", "pattern language.call(m:str, f:str):void ", "CMDcallFunction;", "" ] [ "language", "call", "pattern language.call(s:str):void ", "CMDcallString;", "Evaluate a MAL string program." ] [ "language", "dataflow", "pattern language.dataflow():bit ", "MALstartDataflow;", "The current guarded block is executed using dataflow control. " ] [ "language", "pass", "pattern language.pass(v:any_1):void ", "MALpass;", "Cheap instruction to disgard storage while retaining the dataflow dependency" ] -[ "language", "raise", "command language.raise(msg:str):str ", "CMDraise;", "Raise an exception labeled \n\twith a specific message." ] +[ "language", "raise", "unsafe command language.raise(msg:str):str ", "CMDraise;", "Raise an exception labeled \n\twith a specific message." ] [ "language", "register", "pattern language.register(m:str, f:str, code:str, help:str):void ", "CMDregisterFunction;", "Compile the code string to MAL and register it as a function." ] [ "language", "sink", "pattern language.sink(v:any...):void ", "MALgarbagesink;", "Variables to be considered together when triggering garbage collection.\nUsed in the dataflow blocks to avoid early release of values." ] [ "language", "source", "pattern language.source(f:str):void ", "CMDevalFile;", "Merge the instructions stored in the file with the current program." ] diff --git a/monetdb5/modules/mal/00_language_hge.mal b/monetdb5/modules/mal/00_language_hge.mal --- a/monetdb5/modules/mal/00_language_hge.mal +++ b/monetdb5/modules/mal/00_language_hge.mal @@ -6,5 +6,5 @@ module language; -command assert(v:hge,term:str):void +unsafe command assert(v:hge,term:str):void address MALassertHge; _______________________________________________ checkin-list mailing list [email protected] https://www.monetdb.org/mailman/listinfo/checkin-list
