Merge pull request #1980 from andrew-johnson-4/lm-gc-vector-iiiiii

Lm gc vector iiiiii

Author: andrew4328

BOOTSTRAP/cli.c

@@ -30,3 +30,4 @@ let parse-suffixes = [] : List<(CString,Type)>;
 non-zero(parse-suffixes); # TODO remove
 
 let config-v3 = true;
+let config-v1 = false;

LM23COMMON/ast-misc-globals.lsts

@@ -40,6 +40,7 @@ let main(argc: C_int, argv: CString[]): Nil = (
          c"--typecheck" => config-mode = ModeTypecheck();
          c"--parse" => config-mode = ModeParse();
          c"--compile" => config-mode = ModeCompile();
+         c"--v1" => (config-v3 = false; config-v1 = true;);
          c"--v2" => config-v3 = false;
          c"--v3" => config-v3 = true;
          c"--highlight" => (

LM23COMMON/unit-main-core.lsts

@@ -1,5 +1,6 @@
 
 let lsts-frontend(fp: CString): Nil = (
+   if config-v1 and fp==c"lib/std/minimal.lsts" then fp = c"lib1/std/minimal.lsts";
    if config-v3 and fp==c"lib/std/minimal.lsts" then fp = c"lib2/core/bedrock.lsts";
    if config-v3 and fp==c"lib/std/compiler-only.lsts" then fp = c"lib2/core/compiler-only.lsts";
    lsts-parse(lsts-tokenize(fp));

PLUGINS/FRONTEND/LSTS/lsts-frontend.lsts

@@ -60,7 +60,7 @@ let lsts-parse-doc-wordf(tokens: List<Token>, begin: CString, end: CString): Tup
       };
       tokens = tail(tokens);
    };
-   Tuple ( text.buffer-into-string.into(type(CString)), tokens )
+   Tuple ( text.buffer-into-cstring, tokens )
 );
 
 let lsts-parse-doc-expr(tokens: List<Token>): Tuple<AST, List<(CString, AST)>, List<Token>> = (

PLUGINS/FRONTEND/LSTS/lsts-parse.lsts

@@ -263,5 +263,12 @@ let deep-hash(ts: Vector<t>): U64 = (
 # for compatibility in lmcommon
 let .buffer-into-string(c: Vector<U8>): Vector<U8> = c;
 
+# new allocations = 1 if realloc is necessary
+#                 | 0
+let .buffer-into-cstring(v: Vector<U8>): CString = (
+   v.into(type(CString))
+);
+
 let .release(v: Vector<x>): Nil = ();
 let .retain(v: Vector<x>): Vector<x> = v;
+

lib/std/vector.lsts

@@ -0,0 +1,33 @@
+
+type L suffix _l;
+
+let :Blob $":expression"(x: Any): L = ();
+let :Blob $":program"(x: Any): L = ();
+let :Blob $":frame"(x: Any): L = ();
+let :Blob $":case-number"(x: Any): L = ();
+let :Blob $":function-id"(x: Any): L = ();
+
+let :Blob $"=="(l: L, r: L): L = ();
+let :Blob $"!="(l: L, r: L): L = ();
+let :Blob $"<"(l: L, r: L): L = ();
+let :Blob $"<="(l: L, r: L): L = ();
+let :Blob $">"(l: L, r: L): L = ();
+let :Blob $">="(l: L, r: L): L = ();
+
+let :Blob $"*"(l: L, r: L): L = ();
+let :Blob $"/"(l: L, r: L): L = ();
+let :Blob $"%"(l: L, r: L): L = ();
+let :Blob $"+"(l: L, r: L): L = ();
+let :Blob $"-"(l: L, r: L): L = ();
+
+let :Blob range(hi: L): L = ();
+let :Blob range(lo: L, hi: L): L = ();
+
+let :Blob align(hi: L): L = ();
+let :Blob uuid(t: L): L = ();
+
+let :Blob remove-trailing-comma(t: L): L = ();
+
+let :Blob mangle(t: L): L = ();
+let :Blob mangle-pre(t: Type<Any>): L = ();
+let :Blob mangle-post(t: Type<Any>): L = ();