msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

fix lambda inference

Browse Source
This commit is contained in:
crumbtoo
2024-03-17 06:25:29 -06:00
parent 64482660e1
commit 0e240c5256
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/Rlp/HindleyMilner.hs
View File

@@ -85,7 +85,8 @@ gather' = \case
(te,je) <- gather e (te,je) <- gather e
let cs = concatMap (uncurry . equals $ je ^. assumptions) $ bs `zip` tbs let cs = concatMap (uncurry . equals $ je ^. assumptions) $ bs `zip` tbs
as = foldr H.delete (je ^. assumptions) bs 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 t = foldr (:->) te tbs
pure (t,j) pure (t,j)
where where