From 63f6e894fea21813104337b1c6a2507f59337090 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Wed, 8 Oct 2025 20:56:00 +0200 Subject: Simplify: Add placeholder recursion branches for convenience --- src/Simplify.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Simplify.hs b/src/Simplify.hs index ac1570b..51870d4 100644 --- a/src/Simplify.hs +++ b/src/Simplify.hs @@ -332,6 +332,8 @@ simplify'Rec = \case e1' <- within (\e1' -> EWith ext t e1' e2) (simplify' e1) e2' <- within (\e2' -> EWith ext t e1' e2') (let ?accumInScope = True in simplify' e2) pure (EWith ext t e1' e2') + -- EOneHot _ t p e1 e2 -> [simprec| EOneHot ext t p *e1 *e2 |] + -- EAccum _ t p e1 sp e2 acc -> [simprec| EAccum ext t p *e1 sp *e2 *acc |] EZero _ t e -> [simprec| EZero ext t *e |] EDeepZero _ t e -> [simprec| EDeepZero ext t *e |] EPlus _ t a b -> [simprec| EPlus ext t *a *b |] -- cgit v1.2.3-70-g09d2