some bug, but close

Author: andrew-johnson-4

PLUGINS/FRONTEND/LSTS/lsts-parse.lsts

@@ -262,7 +262,7 @@ let lsts-parse(tokens: List<Token>): Nil = (
 
 let lsts-parse-top-level(tokens: List<Token>): Tuple<AST,List<Token>> = (
    # TODO, accept all top-level expressions here
-   lsts-parse-small-expression(tokens);
+   lsts-parse-expression(tokens);
 );
 
 let lsts-parse-typed-macro(tokens: List<Token>): (AST, List<Token>) = (
@@ -1353,10 +1353,7 @@ let lsts-parse-lhs-one(tokens: List<Token>): Tuple<AST,List<Token>> = (
       let base-rest = lsts-parse-lhs-one(tokens);
       tokens = base-rest.second;
       lsts-parse-expect(c")", tokens); tokens = tail(tokens);
-      mk-cons(
-         Var{ u.key, u },
-         base-rest.first
-      );
+      mk-cons( Var{ u.key, u }, base-rest.first );
    } else if lsts-is-ident-head(lsts-parse-head(tokens)) {
       let base-rest = lsts-make-maybe-var(tokens);
       tokens = base-rest.second;

SRC/std-infer-expr.lsts

@@ -152,6 +152,7 @@ let std-infer-expr(tctx: Maybe<TContext>, term: AST, is-scoped: Bool, used: IsUs
 
             if index-macro-table.has(var-name-if-var(l)) {
                (tctx, term) = std-apply-macro(tctx, term);
+               print("Applied Macro: \{var-name-if-var(l)}\nTerm: \{term}\n");
             } else {
                (tctx, let new-l) = std-infer-expr(tctx, l, false, used, TAny);
                if typeof(l).is-arrow {

tests/unit/ast-macros.lsts

@@ -19,3 +19,5 @@ typed macro macro::for(item: lazy, iter: List<?>, loop: lazy): lazy = (
       );
    }}
 );
+
+$"macro::for"(x, [1, 2], print(x));