diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-10-08 20:56:00 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-10-08 20:56:00 +0200 |
| commit | 63f6e894fea21813104337b1c6a2507f59337090 (patch) | |
| tree | 3a287a797a7d90b710749ab798789ffd825131d1 /src | |
| parent | 88b332d620a50d39f981c45896f430972dec43ec (diff) | |
Simplify: Add placeholder recursion branches for convenience
Diffstat (limited to 'src')
| -rw-r--r-- | src/Simplify.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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 |] |