From de058abc40ce64a24a1565573b193edf927e6ed4 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Sun, 17 Mar 2024 06:25:29 -0600
Subject: [PATCH] fix lambda inference

---
 src/Rlp/HindleyMilner.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Rlp/HindleyMilner.hs b/src/Rlp/HindleyMilner.hs
index 9696300..64f5d09 100644
--- a/src/Rlp/HindleyMilner.hs
+++ b/src/Rlp/HindleyMilner.hs
@@ -85,7 +85,8 @@ gather' = \case
         (te,je) <- gather e
         let cs = concatMap (uncurry . equals $ je ^. assumptions) $ bs `zip` tbs
             as = foldr H.delete (je ^. assumptions) bs
-            j = mempty & constraints .~ cs & assumptions .~ as
+            j = mempty & constraints .~ (je ^. constraints <> cs)
+                       & assumptions .~ as
             t = foldr (:->) te tbs
         pure (t,j)
       where