Lib1 lib2 merger zero init fdsjjj

LM23COMMON/typecheck-infer-expr.lsts

@@ -334,7 +334,7 @@ let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: I
                   tctx = tctx.phi-override(to-tt, from-tt, term);
                   if from-tt.is-t(c"Phi::Id",1) and from-tt.slot(c"Phi::Id",1).l1.simple-tag != to-tt.slot(c"Phi::Id",1).l1.simple-tag {
                      tctx = tctx.phi-move(from-tt, term);
-                  }
+                  };
                };
 
                rt = tctx.with-phi(rt, term);
@@ -408,6 +408,7 @@ let wrap-call(tctx: TypeContext?, fname: CString, term: AST): (TypeContext?, AST
 );
 
 let std-infer-call-arg(tctx: TypeContext?, term: AST, function-name: CString, hint: Type): (TypeContext?, AST) = (
+   let feq = function-name==c"list::cons";
    if function-name==c"list::cons" { match term {
       App{k=left, m=right} => (
          (tctx, let new-k) = std-infer-expr(tctx, k, false, Call(function-name), ta);

LM23COMMON/unit-main-core.lsts

@@ -93,7 +93,7 @@ let main(argc: C_int, argv: CString[]): Nil = (
          for list fp in input.reverse { frontend(fp); };
          match config-mode {
             ModeTypecheck{} => (preprocess(); typecheck(););
-            ModeCompile{} => (preprocess(); typecheck(); plugin-current-backend(););
+            ModeCompile{} => (preprocess(); typecheck(); plugin-current-backend(); );
          };
       );
    };

lib/std/string.lsts

@@ -56,9 +56,10 @@ let .is-digit(base: CString): U64 = (
 );
 
 let $"[]"(base: CString, idx: U64): U8 = (
-   if idx < base.length
+   if (base as USize) == 0 then fail(c"Index Out Of Bounds in String[]");
+   else if idx < base.length
    then (base as U8[])[idx]
-   else fail("Index Out Of Bounds in String[]");
+   else fail(c"Index Out Of Bounds in String[]");
 );
 
 let .into(s: CString, tgt: Type<String>): String = intern(s);
@@ -104,10 +105,10 @@ let .get-suffix(s: String, pre: String): String = (
    s[s.length - pre.length:]
 );
 
-let head-string(x: CString): U8 = (x as U8[])[0_u64];
-let tail-string(x: CString): CString = ((x as U8[]) + 1_u64) as CString;
-let head(x: CString): U8 = (x as U8[])[0_u64];
-let tail(x: CString): CString = ((x as U8[]) + 1_u64) as CString;
+let head-string(x: CString): U8 = if (x as USize)==0 then 0_u8 else (x as U8[])[0_u64];
+let tail-string(x: CString): CString = if (x as USize)==0 then c"" else (((x as U8[]) + 1_u64) as CString);
+let head(x: CString): U8 = head-string(x);
+let tail(x: CString): CString = tail-string(x);
 
 let deep-hash(key: CString): U64 = (
    let i = 0_u64;
@@ -125,11 +126,13 @@ let deep-hash(key: CString): U64 = (
 );
 
 let .length(s: CString): U64 = (
-   let si = 0_u64;
-   while (s as U8[])[si] != 0 {
-      si = si + 1;
-   };
-   si
+   if (s as USize) == 0 then 0 else {
+      let si = 0_u64;
+      while (s as U8[])[si] != 0 {
+         si = si + 1;
+      };
+      si
+   }
 );
 
 let .has-prefix(base: CString, pfx: CString): U64 = (
@@ -204,10 +207,13 @@ let .contains(base: CString, pat: CString): U64 = (
 );
 
 let $"+"(l: CString, r: CString): CString = (
+   let l_length = l.length;
+   let r_length = r.length;
    let buf = malloc(l.length + r.length + 1) as C<"char">[];
    memset(buf, 0, l.length+r.length+1); 
    strcat(buf, l as C<"char">[]);
    strcat(buf, r as C<"char">[]);
+   buf[l_length + r_length] = 0 as C<"char">;
    buf as CString
 );
 

lib1/std/vector.lsts

@@ -145,6 +145,7 @@ let .sort(v: Vector<t>): Vector<t> = (
 # new allocations = 1 if realloc is necessary
 #                 | 0
 let .buffer-into-cstring(v: Vector<U8>): CString = (
+   v.push(0);
    v.data.retain;
    v.data.data as CString
 );

lib2/core/vector.lsts

@@ -152,6 +152,7 @@ let .buffer-into-string(v: Vector<U8>): String = (
 # new allocations = 1 if realloc is necessary
 #                 | 0
 let .buffer-into-cstring(v: Vector<U8>): CString = (
+   v.push(0);
    v.data.retain;
    v.data.data as CString
 );