temp regress for compile

Author: andrew4328

Makefile

@@ -8,7 +8,7 @@ LSTSFLAGS = MALLOC_CHECK_=3
 # recommendation: ulimit -s unlimited
 
 dev: install-production
-	lm tests/promises/syntax/lhs-nested-field.lsts > out.txt
+	lm tests/promises/syntax/lhs-nested-field-gc.lsts > out.txt
 	gcc tmp.c
 	./a.out
 

SRC/typecheck-infer-expr.lsts

@@ -11,6 +11,7 @@ let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: I
 );
 
 let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: IsUsed, hint: Type, rewritten-constant: Bool): (TypeContext?, AST) = (
+   print("Term: \{term}\n");
    #profile-visit-ast-unique(term);
    #profile-visit-ast-equal(term);
    if not(term.is-free-and-seen) { match term {

lib/core/common-macros.lsts

@@ -57,11 +57,17 @@ typed macro macro::fallible-bind(lhs-base lhs-index: macro::lhs-index, rhs: lazy
    $"set[]"(lhs-base, lhs-index, rhs); true
 );
 
+#typed macro macro::assign(lhs-base lhs-field-name: macro::lhs-field, rhs: lazy): Nil = (
+#   macro::concat($"set.", lhs-field-name)(macro::lhs-as-rhs(lhs-base), rhs)
+#);
+#typed macro macro::fallible-bind(lhs-base lhs-field-name: macro::lhs-field, rhs: lazy): Bool = (
+#   macro::concat($"set.", lhs-field-name)(macro::lhs-as-rhs(lhs-base), rhs); true
+#);
 typed macro macro::assign(lhs-base lhs-field-name: macro::lhs-field, rhs: lazy): Nil = (
-   macro::concat($"set.", lhs-field-name)(macro::lhs-as-rhs(lhs-base), rhs)
+   macro::concat($"set.", lhs-field-name)(lhs-base, rhs)
 );
 typed macro macro::fallible-bind(lhs-base lhs-field-name: macro::lhs-field, rhs: lazy): Bool = (
-   macro::concat($"set.", lhs-field-name)(macro::lhs-as-rhs(lhs-base), rhs); true
+   macro::concat($"set.", lhs-field-name)(lhs-base, rhs); true
 );
 
 typed macro macro::assign(lhs: macro::variable, rhs: lazy): Nil = (