From 0b439fc56f36fb8adf16ee78b8489a964b0b876d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20V=C3=A1zquez=20P=C3=BAa?= <davazp@gmail.com>
Date: Thu, 27 Jun 2019 16:05:53 +0200
Subject: [PATCH] Fix: wrong assumption being drop in multiple-value-bind

---
 packages/delisp-core/src/infer.ts | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/packages/delisp-core/src/infer.ts b/packages/delisp-core/src/infer.ts
index 8e84732d..12a19926 100644
--- 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))
+        ]
       };
     }
   }