msyds/gyehoek-hs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix: more signatures

Browse Source
This commit is contained in:
Madeleine Sydney Slaga
2026-05-18 10:14:41 -06:00
parent 34e309b539
commit e16306a6ca
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
app/Gyehoek/ANF/Syntax.hs
View File

@@ -422,7 +422,7 @@ smallIntMask :: Integer
smallIntMask = 2 ^ (sizeofScm * 8) - 2 smallIntMask = 2 ^ (sizeofScm * 8) - 2
lowerCar lowerCar
:: GenSym :> es :: (GenSym :> es, Writer (Vector QBE.DataDef) :> es)
=> Name -> QBE.Val -> _ => Name -> QBE.Val -> _
-> (QBE.Val -> Eff es BlockBuilder) -> Eff es BlockBuilder -> (QBE.Val -> Eff es BlockBuilder) -> Eff es BlockBuilder
lowerCar r x e k = do lowerCar r x e k = do
@@ -431,7 +431,7 @@ lowerCar r x e k = do
<$> lower' e k <$> lower' e k
lowerCdr lowerCdr
:: GenSym :> es :: (GenSym :> es, Writer (Vector QBE.DataDef) :> es)
=> Name -> QBE.Val -> Exp => Name -> QBE.Val -> Exp
-> (QBE.Val -> Eff es BlockBuilder) -> Eff es BlockBuilder -> (QBE.Val -> Eff es BlockBuilder) -> Eff es BlockBuilder
lowerCdr r x e k = do lowerCdr r x e k = do