these macros have significant dependendcies

Author: andrew-johnson-4

PLATFORM/C/LIB/common-macros.lsts

@@ -26,3 +26,7 @@ typed macro macro::for(item: lazy, iter: Vector<?>, loop: lazy): lazy = (
       );
    }}
 );
+
+typed macro macro::while(cond: lazy, body: lazy): lazy = (
+   $"primitive::while"( body as Nil, into-branch-conditional(cond) )
+);

PLUGINS/FRONTEND/LSTS/lsts-parse.lsts

@@ -1075,13 +1075,13 @@ let lsts-parse-small-expression(tokens: List<Token>): Tuple<AST,List<Token>> = (
          tokens = rhs-rest.second;
          lsts-parse-expect(c"}", tokens); tokens = tail(tokens);
          base = mk-app(
-            mk-app(
-               Var{ c"while", with-location(mk-token("while"),loc) },
-               c-rest.first
-            ),
-            mk-app(
-               Var{ c"scope", with-location(mk-token("scope"),loc) },
-               rhs-rest.first
+            Var{ c"macro::while", with-location(mk-token("macro::while"),loc) },
+            mk-cons(
+               c-rest.first,
+               mk-app(
+                  Var{ c"scope", with-location(mk-token("scope"),loc) },
+                  rhs-rest.first
+               )
             )
          );         
       );

SRC/typecheck.lm

@@ -1,23 +1,17 @@
 
 typecheck := λ. (: (
-   (print 'Typecheck\s1\n_s)
    (infer-global-context ast-parsed-program)
-   (print 'Typecheck\s2\n_s)
    (set ast-parsed-program (infer-global-terms ast-parsed-program))
-   (print 'Typecheck\s3\n_s)
    (let tctx-ast (std-infer-expr( (: None Maybe<TContext>) ast-parsed-program false Used TAny )))
    (set ast-parsed-program (.second tctx-ast))
-   (print 'Typecheck\s4\n_s)
    (while (non-zero stack-to-specialize) (match stack-to-specialize (
       ()
       ( (LCons( (StackToSpecialize( function-name ft unify-ctx special-type )) rst )) (
          (set stack-to-specialize rst)
          (specialize( function-name ft unify-ctx special-type ))
       ))
    )))
-   (print 'Typecheck\s5\sn_s)
    (validate-interfaces())
    (assert-well-typed ast-parsed-program)
    (decorate-var-to-def())
-   (print 'Typecheck\sEnd\sn_s)
 ) Nil);

tests/unit/ast-macros.lsts

@@ -11,5 +11,5 @@ typed macro ast-macros-test-add(x: I64, y: lazy): lazy = (
 assert( ast-macros-test-add(1_u64, 2_u64) == 3_u64 );
 assert( ast-macros-test-add(2_i64, 3_i64) == 5_i64 );
 
-$"macro::for"(x, [1, 2], print(x));
-$"macro::for"(x, mk-vector(type(U64)).push(3).push(4), print(x));
+#$"macro::for"(x, [1, 2], print(x));
+#$"macro::for"(x, mk-vector(type(U64)).push(3).push(4), print(x));