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

fix: lowerCons signature

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

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

@@ -333,7 +333,7 @@ sizeofScm :: Integral a => a
sizeofScm = 8 sizeofScm = 8
lowerCons lowerCons
:: (GenSym :> es) :: (GenSym :> es, Writer (Vector QBE.DataDef) :> es)
=> Name -> QBE.Val -> QBE.Val -> Exp => Name -> QBE.Val -> QBE.Val -> Exp
-> (QBE.Val -> Eff es BlockBuilder) -> (QBE.Val -> Eff es BlockBuilder)
-> Eff es BlockBuilder -> Eff es BlockBuilder