From 34e309b5394d47a31cf538b2584558dba7925250 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Mon, 18 May 2026 10:13:36 -0600
Subject: [PATCH] fix: lowerCons signature

---
 app/Gyehoek/ANF/Syntax.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/Gyehoek/ANF/Syntax.hs b/app/Gyehoek/ANF/Syntax.hs
index 2b6a820..5bc3a34 100644
--- a/app/Gyehoek/ANF/Syntax.hs
+++ b/app/Gyehoek/ANF/Syntax.hs
@@ -333,7 +333,7 @@ sizeofScm :: Integral a => a
 sizeofScm = 8
 
 lowerCons
-  :: (GenSym :> es)
+  :: (GenSym :> es, Writer (Vector QBE.DataDef) :> es)
   => Name -> QBE.Val -> QBE.Val -> Exp
   -> (QBE.Val -> Eff es BlockBuilder)
   -> Eff es BlockBuilder