Fix: wrong assumption being drop in multiple-value-bind

liphe · Jun 27, 2019 · 0b439fc · 0b439fc
1 parent 9e84ff5
commit 0b439fc
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/packages/delisp-core/src/infer.ts b/packages/delisp-core/src/infer.ts
@@ -823,9 +823,10 @@ function infer(
             })
         ],
 
-        assumptions: body.assumptions.filter(
-          a => !variableNames.includes(a.node.name)
-        )
+        assumptions: [
+          ...form.assumptions,
+          ...body.assumptions.filter(a => !variableNames.includes(a.node.name))
+        ]
       };
     }
   }