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

last commit was crazy it was always an ifoldr

Browse Source
This commit is contained in:
crumbtoo
2024-03-17 06:01:15 -06:00
parent a8912dea5e
commit 15f6613bd2
2 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/Rlp/AltSyntax.hs
View File

@@ -167,8 +167,10 @@ instance (Out b) => Out (DataCon b) where
instance (Out b) => Out (Type b) where
outPrec _ (VarT n) = ttext n
outPrec _ (ConT n) = ttext n
outPrec p (s Core.:-> t) = maybeParens (p>appPrec-1) $
hsep [ outPrec appPrec s, "->", outPrec (appPrec-1) t ]
outPrec p (s Core.:-> t) = maybeParens (p>arrPrec) $
hsep [ outPrec arrPrec1 s, "->", outPrec arrPrec t ]
where arrPrec = appPrec-1
arrPrec1 = appPrec
outPrec p (AppT f x) = maybeParens (p>appPrec) $
outPrec appPrec f <+> outPrec appPrec1 x
outPrec p FunT = maybeParens (p>0) "->"

2
src/Rlp/HindleyMilner.hs
View File

@@ -136,7 +136,7 @@ infer1' g1 e = do
((t,j) :< _) <- annotate e
g2 <- unify (j ^. constraints)
g <- unionContextWithKeyM unifyTypes g1 g2
pure $ ifoldlOf (contextVars . itraversed) subst t g
pure $ ifoldrOf (contextVars . itraversed) subst t g
where
-- intuitively, we'd return mgu(s,t) but the union is left-biased making `s`
-- the user-specified type: prioritise her.