Include both introduced and shared vars for index rule translation

robsimmons · Jan 1, 2024 · 76d2814 · 76d2814
1 parent 4549773
commit 76d2814
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/language/bytecode.ts b/src/language/bytecode.ts
@@ -120,11 +120,15 @@ export function outputProgram(prog: IndexedProgram) {
       });
     }
   });
+
   const indexRules = prog.indexInsertionRules.map((value) => {
     const varToIndex = new Map<string, number>();
-    for (const [index, varName] of value.introduced.entries()) {
+    for (const [index, varName] of value.shared.entries()) {
       varToIndex.set(varName, index);
     }
+    for (const [index, varName] of value.introduced.entries()) {
+      varToIndex.set(varName, index + value.shared.length);
+    }
 
     return new Rule({
       is: {
@@ -139,6 +143,7 @@ export function outputProgram(prog: IndexedProgram) {
       },
     });
   });
+
   const conclusionRules = prog.conclusionRules.map((value) => {
     const varToIndex = new Map<string, number>();
     for (const [index, varName] of value.inVars.entries()) {