the new test passes but the new common project doesnt from a different error. going to commit and deploy just this change

Author: andrew4328

…OMMON/typecheck-acontext-substitute.lsts LM23COMMON/ast-acontext-substitute.lstsLM23COMMON/typecheck-acontext-substitute.lsts renamed to LM23COMMON/ast-acontext-substitute.lsts LM23COMMON/typecheck-acontext-substitute.lsts renamed to LM23COMMON/ast-acontext-substitute.lsts

@@ -1,13 +1,13 @@
 
-let substitute(ctx: List<(CString,AST)>, v: Token): Token = (
+let substitute(ctx: AContext, v: Token): Token = (
    match ctx.lookup(v.key, mk-eof()) {
       Lit{t=token} => t;
       Var{t=token} => t;
       _ => v;
    }
 );
 
-let substitute(ctx: List<(CString,AST)>, tt: Type): Type = (
+let substitute(ctx: AContext, tt: Type): Type = (
    match tt {
       TVar{v=name} => match ctx.lookup(v, mk-eof()) {
          Lit{tv1=key} => t0(tv1);
@@ -35,14 +35,14 @@ let substitute(ctx: List<(CString,AST)>, tt: Type): Type = (
    }
 );
 
-let substitute(ctx: List<(CString,AST)>, tt: List<Type>): List<Type> = (
+let substitute(ctx: AContext, tt: List<Type>): List<Type> = (
    match tt {
       LCons{head=head,tail=tail} => cons( substitute(ctx,head), substitute(ctx,tail) );
       _ => tt;
    }
 );
 
-let substitute(ctx: List<(CString,AST)>, term: AST): AST = (
+let substitute(ctx: AContext, term: AST): AST = (
    match term {
       App{left:Var{key:c"uuid"}, right:Var{x1=key}} => ctx.lookup(x1,term).unique;
       Var{x2=key} => ctx.lookup(x2,term).unique;

LM23COMMON/typecheck-acontext-union.lsts LM23COMMON/ast-acontext-union.lstsLM23COMMON/typecheck-acontext-union.lsts renamed to LM23COMMON/ast-acontext-union.lsts

@@ -25,3 +25,4 @@ import LM23COMMON/ast-misc-todo-remove-or-stabilize.lsts;
 import LM23COMMON/ast-misc-globals.lsts;
 import LM23COMMON/ast-acontext-apply.lsts;
 import LM23COMMON/ast-acontext-bind.lsts;
+import LM23COMMON/ast-acontext-substitute.lsts;

LM23COMMON/unit-ast-core.lsts

@@ -22,6 +22,4 @@ import LM23COMMON/typecheck-std-apply-macro-candidates.lsts;
 import LM23COMMON/typecheck-std-maybe-release-after-call.lsts;
 import LM23COMMON/typecheck-index-of-tag.lsts;
 import LM23COMMON/typecheck-extract-uuids.lsts;
-import LM23COMMON/typecheck-acontext-union.lsts;
-import LM23COMMON/typecheck-acontext-substitute.lsts;
 import LM23COMMON/typecheck-std-direct-destructure-macro.lsts;

LM23COMMON/unit-typecheck-core.lsts

@@ -2,7 +2,7 @@ CC = clang
 CFLAGS = -w -O2 -march=native -mtune=native
 
 dev: install-production
-	lm tests/promises/typechecking/phi-on-alias.lsts
+	lm tests/promises/lm-typecheck/direct-inference.lsts
 	gcc tmp.c
 	./a.out