retain release

Author: andrew4328

BOOTSTRAP/cli.c

@@ -31,3 +31,7 @@ let .retain(t: Type): Type = (
    };
    t
 );
+
+# TODO: remove
+let .release(tt: x[]): Nil = ();
+let .retain(tt: x[]): x[] = tt;

LM23COMMON/type-definition.lsts

@@ -1099,7 +1099,6 @@ let lsts-parse-let(tokens: List<Token>): (AST, List<Token>) = (
    } else {
       mk-glb( with-location(mk-token(name),loc), return-term );
    };
-   if not(config-v3) and (name==c".retain" or name==c".release") then rvalue = mk-nil();
    (rvalue, tokens)
 );
 

PLUGINS/FRONTEND/LSTS/lsts-parse.lsts

@@ -33,4 +33,5 @@ import std/cmp.lsts;
 import std/print.lsts;
 import std/collections.lsts;
 import std/regex.lsts;
-#import std/owned-data.lsts;
+import std/phi.lsts;
+import std/owned-data.lsts;

lib/std/default.lsts

@@ -197,3 +197,7 @@ let deep-hash(ts: List<t>): U64 = (
    for list t0 in ts { return = return + deep-hash(t0); };
    return;
 );
+
+# TODO: remove
+let .release(tt: List<x>): Nil = ();
+let .retain(tt: List<x>): List<x> = tt;

lib/std/list.lsts

@@ -31,3 +31,4 @@ import std/cmp.lsts;
 import std/print.lsts;
 import std/collections.lsts;
 import std/owned-data.lsts;
+import std/phi.lsts;

lib/std/minimal.lsts

@@ -0,0 +1,21 @@
+
+type phi MustRelease = ToRelease{ promise:'a } | Released;
+
+let :Blob mark-as-released(x: x+(MustRelease::ToRelease<'a> ~> MustRelease::Released)+MustNotRetain): Nil = (
+   $":frame"($":frame"(x));
+   $":expression"($":expression"(x));
+);
+let :Blob mark-as-released(x: x+(MustRelease::Released ~> MustRelease::Released)+MustNotRetain): Nil = (
+   $":frame"($":frame"(x));
+   $":expression"($":expression"(x));
+);
+let :Blob mark-as-released(x: x): Nil = (
+   $":frame"($":frame"(x));
+   $":expression"($":expression"(x));
+);
+
+let :Blob destroy(x: x+MustNotRetain): Nil = (
+   $":frame"();
+   $":expression"(l"memset(&"; $":expression"(x); l",0,sizeof "; $":expression"(x); l");");
+);
+

lib/std/phi.lsts

@@ -262,3 +262,6 @@ let deep-hash(ts: Vector<t>): U64 = (
 # ignore, don't port to lib2
 # for compatibility in lmcommon
 let .buffer-into-string(c: Vector<U8>): Vector<U8> = c;
+
+let .release(v: Vector<x>): Nil = ();
+let .retain(v: Vector<x>): Vector<x> = v;