Merge pull request #1978 from andrew-johnson-4/lm-more-lmcommon-diiiooo

Lm more lmcommon diiiooo

Author: andrew4328

BOOTSTRAP/cli.c

@@ -33,7 +33,7 @@ let does-concrete-type-instance-exist(tt: Type): Bool = (
       TGround{tag=tag, ts=parameters} => (
          let exists = false;
          let k = (tag, ts.length as U64);
-         for vt in concrete-type-instances-index.lookup(k, empty-type-vector) {
+         for vector vt in concrete-type-instances-index.lookup(k, empty-type-vector) {
             if vt==tt then exists = true;
          };
          exists

LM23COMMON/ascript-concrete-index.lsts

@@ -3,7 +3,7 @@ let .with-only-datatype(tt: Type): Type = (
    match tt {
       TAnd{ conjugate=conjugate } => (
          let result = ta;
-         for c in conjugate { if not(non-zero(result)) then result = c.with-only-datatype };
+         for vector c in conjugate { if not(non-zero(result)) then result = c.with-only-datatype };
          result;
       );
       TGround{ tag=tag, parameters=parameters } => (

LM23COMMON/ascript-with-only-datatype.lsts

@@ -13,7 +13,7 @@ let apply(ctx: AContext, term: AST): AST = (
       Abs{lhs=lhs, rhs=rhs, tt=tt} => mk-abs( apply(ctx,lhs), apply(ctx,rhs), tt );
       Seq{seq=seq} => (
          let return = mk-eof();
-         for s in seq { return = return + apply(ctx,s) };
+         for vector s in seq { return = return + apply(ctx,s) };
          return
       );
       Glb{key=key, val=val} => mk-glb( substitute(ctx,key), apply(ctx,val) );

LM23COMMON/ast-acontext-apply.lsts

@@ -20,9 +20,9 @@ let substitute(ctx: AContext, tt: Type): Type = (
       );
       TAnd{conjugate=conjugate} => (
          let result = mk-vector(type(Type), 0);
-         for c in conjugate {
+         for vector c in conjugate {
             match substitute(ctx,c) {
-               TAnd{rconjugate=conjugate} => for rc in rconjugate { result = result.push(rc) };
+               TAnd{rconjugate=conjugate} => for vector rc in rconjugate { result = result.push(rc) };
                TAny{} => ();
                rc => ( result = result.push(rc); () );
             }
@@ -49,7 +49,7 @@ let substitute(ctx: AContext, term: AST): AST = (
       Lit{} => term.unique;
       Seq{seq=seq} => (
          let ret = mk-vector(type(AST), seq.length);
-         for s in seq { ret = ret.push(substitute(ctx,s)) };
+         for vector s in seq { ret = ret.push(substitute(ctx,s)) };
          Seq(ret)
       );
       App{is-cons=is-cons,left=left,right=right} => mk-cons-or-app(is-cons,substitute(ctx,left),substitute(ctx,right));

LM23COMMON/ast-acontext-substitute.lsts

@@ -1,7 +1,7 @@
 
 let .into(ctx: AContext?, tt: Type<String>): String = (
    let result = "";
-   for Tuple{first=first,second=second} in ctx.get-or([] : AContext) {
+   for list Tuple{first=first,second=second} in ctx.get-or([] : AContext) {
       result = result + "\{first} : \{second}\n";
    };
    result

LM23COMMON/ast-acontext-to-string.lsts

@@ -22,7 +22,7 @@ let .into(t: AST, tgt: Type<String>): String = (
       AType{tt=tt} => tt.into(type(String));
       Seq{seq=seq} => (
          let ret = "";
-         for s in seq { if non-zero(ret) then ret = ret + "\n"; ret = ret + s.into(type(String)) };
+         for vector s in seq { if non-zero(ret) then ret = ret + "\n"; ret = ret + s.into(type(String)) };
          ret
       );
       Typedef{lhs-type=lhs-type} => (

LM23COMMON/ast-into-string.lsts

@@ -3,7 +3,7 @@ let $"+"(l: AST, r: AST): AST = (
    match l {
       Seq{seq=seq} => (match r {
          Seq{rseq=seq} => (
-            for rs in rseq { l = l + rs; };
+            for vector rs in rseq { l = l + rs; };
             l
          );
          _ => Seq(seq.push(r));

LM23COMMON/ast-plus.lsts

@@ -6,7 +6,7 @@ let substitute-uuids(ctx: AContext, term: AST): AST = (
       );
       Seq{seq=seq} => (
          let ret = mk-vector(type(AST), seq.length);
-         for s in seq { ret = ret.push(substitute-uuids(ctx,s)) };
+         for vector s in seq { ret = ret.push(substitute-uuids(ctx,s)) };
          Seq(ret)
       );
       Abs{lhs=lhs,rhs=rhs,tt=tt} => (

LM23COMMON/ast-substitute-uuids.lsts

@@ -5,7 +5,7 @@ let .unique(term: AST): AST = (
       Lit{lkey=key, token=token} => Lit(lkey, token.unique);
       Seq{seq=seq} => (
          let ret = mk-vector(type(AST), seq.length);
-         for s in seq { ret = ret.push(s.unique) };
+         for vector s in seq { ret = ret.push(s.unique) };
          Seq(ret)
       );
       App{is-cons=is-cons,left=left,right=right} => mk-cons-or-app(is-cons,left.unique,right.unique);