From 6a5055b7747424b8a05ad70354e68e42d680109a Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Tue, 25 Feb 2025 23:56:46 +0100 Subject: UnMonoid: Properly recurse --- src/AST/UnMonoid.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/AST/UnMonoid.hs b/src/AST/UnMonoid.hs index c87bed1..4b6b523 100644 --- a/src/AST/UnMonoid.hs +++ b/src/AST/UnMonoid.hs @@ -12,8 +12,8 @@ import Data unMonoid :: Ex env t -> Ex env t unMonoid = \case EZero _ t -> zero t - EPlus _ t a b -> plus t a b - EOneHot _ t i a b -> onehot t i a b + EPlus _ t a b -> plus t (unMonoid a) (unMonoid b) + EOneHot _ t i a b -> onehot t i (unMonoid a) (unMonoid b) EVar _ t i -> EVar ext t i ELet _ rhs body -> ELet ext (unMonoid rhs) (unMonoid body) -- cgit v1.2.3-70-g09d2