From 2b1a40b5933b8b0dceaae744e5b70cb604822c9d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 16 Jun 2025 23:21:55 +0200
Subject: CHAD.hs compiles

---
 src/AST/UnMonoid.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/AST/UnMonoid.hs')

diff --git a/src/AST/UnMonoid.hs b/src/AST/UnMonoid.hs
index ac4d733..389dd5a 100644
--- a/src/AST/UnMonoid.hs
+++ b/src/AST/UnMonoid.hs
@@ -105,7 +105,7 @@ plus (SMTArr _ t) a b =
            a b
 plus (SMTScal t) a b = EOp ext (OAdd t) (EPair ext a b)
 
-onehot :: SMTy t -> SAcPrj p t a -> Ex env (AcIdx p t) -> Ex env a -> Ex env t
+onehot :: SMTy t -> SAcPrj p t a -> Ex env (AcIdxS p t) -> Ex env a -> Ex env t
 onehot typ topprj idx arg = case (typ, topprj) of
   (_, SAPHere) ->
     ELet ext arg $
-- 
cgit v1.2.3-70-g09d2