filters have indexes on them

mcnuttandrew · Feb 19, 2024 · b473ddf · b473ddf
1 parent 3715335
commit b473ddf
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 142 deletions.
diff --git a/lint-language-sketching.txt b/lint-language-sketching.txt
diff --git a/src/lib/lint-language/lint-language.ts b/src/lib/lint-language/lint-language.ts
@@ -913,9 +913,11 @@ export class LLMap extends LLNode {
       throw new Error("Type error");
     }
     const newVal = tryTypes([LLValue], env.options);
-    const evalFunc = (x: any) => {
-      // more re-typing in-direction like from the quantifiers
-      const newEnv = env.set(this.varb, newVal(x));
+    const idxType = tryTypes([LLValue], env.options);
+    const evalFunc = (x: any, index: number) => {
+      const newEnv = env
+        .set(this.varb, newVal(x))
+        .set(`index(${this.varb})`, idxType(index + 1));
       return this.func.evaluate(newEnv).result;
     };
     // implicitly ignore the pass back i guess?