phi and garbage collection back to 100%

Author: andrew4328

SRC/dev-type-move-linear.lsts

@@ -1,6 +1,6 @@
 
 let .move-linear(tt: Type): Type = (
-   match tt {
+   let return = match tt {
       TAnd{conjugate=conjugate} => (
          let new-conjugate = mk-vector(type(Type));
          for vector c in conjugate {
@@ -12,10 +12,11 @@ let .move-linear(tt: Type): Type = (
       TGround{tag=tag, parameters=parameters} => (
          let new-parameters = mk-vector(type(Type));
          for vector p in parameters {
-            new-parameters = new-parameters.push(p);
+            new-parameters = new-parameters.push(p.move-linear);
          };
          ts(tag,new-parameters);
       );
       _ => tt;
-   }
+   };
+   return
 );

SRC/tctx-phi-move.lsts

@@ -4,12 +4,9 @@ let .phi-move(tctx: TypeContext?, tt: Type, blame: AST): TypeContext? = (
    if not(tctx.get-or(mk-tctx()).is-blob) then {
       let phi-id = tt.slot(c"Phi::Id",1).l1.simple-tag;
       let phi-state = tt.slot(c"Phi::State",1).l1;
-      print("Phi Move 1 \{phi-id} \{phi-state}\n");
       if non-zero(phi-id) and non-zero(phi-state) {
          tctx = tctx.bind-phi(phi-id, phi-state.move-linear, blame);
-         print("Phi Move 2 \{phi-id} \{phi-state.move-linear}\n");
          let pm = tctx.lookup-phi(phi-id);
-         print("Phi Move 3 \{phi-id} \{pm.phi-tt-or-zero}\n");
       }
    };
    tctx

SRC/typecheck-infer-expr.lsts

@@ -255,7 +255,6 @@ let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: I
                if not(can-unify(return-type-after-alias, typeof-term(new-inner-rhs)))
                then exit-error("Return value does not match declared type:\nExpected \{return-type-after-alias}\nFound \{typeof-term(new-inner-rhs)}\n", term);
             };
-            print("Move Return Type \{typeof-term(new-inner-rhs)}\n");
             tctx = tctx.phi-move(typeof-term(new-inner-rhs), term);
             if not(tctx.get-or(mk-tctx()).is-blob) {
                (tctx, new-inner-rhs) = release-locals(before-tctx, tctx, new-inner-rhs, misc-tt, true);
@@ -396,7 +395,6 @@ let std-infer-expr(tctx: Maybe<TypeContext>, term: AST, is-scoped: Bool, used: I
          tctx = tctx.phi-move(typeof-term(term),term);
       }
    }};
-   print("Inferred \{term} : \{typeof-term(term)}\n");
    (tctx, term);
 );