when you cant find the bug, consider whether things are working as intended

Author: andrew4328

Makefile

@@ -12,7 +12,9 @@ dev: install-production
 	#lm --showalloc SRC/unit-prop-core.lsts > out.txt
 	#lm --showalloc SRC/unit-ascript-core.lsts > out.txt
 	#lm --showalloc SRC/index.lsts > out.txt
-	lm tests/promises/typechecking/misc-linear-error-1.lsts
+	lm tests/promises/typechecking/misc-linear-error-1.lsts > out.txt
+	gcc tmp.c;
+	./a.out
 
 build: compile-production
 	time env $(LSTSFLAGS) ./production --v23 --c -o deploy1.c SRC/index.lsts

SRC/typecheck-infer-expr.lsts

@@ -201,6 +201,7 @@ let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: I
          }};
       );
       Glb{key1=key, val=val} => (
+         print("Glb \{term}\n");
          let prev-count-history = safe-alloc-block-count-monotonic-history;
          let rough-tt = typeof-term(term);
          if rough-tt.is-arrow and not(rough-tt.is-open) and not(rough-tt.is-t(c"TypedMacro",0)) {

tests/promises/typechecking/misc-linear-error-1.lsts

@@ -10,7 +10,7 @@ let g(): Nil = (
 );
 
 f();
-assert( safe-alloc-block-count-monotonic == 0 );
+assert( safe-alloc-block-count == 0 );
 
 g();
-assert( safe-alloc-block-count-monotonic == 0 );
+assert( safe-alloc-block-count == 0 );