diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-11-04 23:33:34 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-11-04 23:33:34 +0100 |
| commit | 6fce8a75e239988d2ce154f5411dd2d8c742f3f6 (patch) | |
| tree | 2edd579d69ab9168c10965a86135daf807f127a4 /src/AST/Count.hs | |
| parent | 4e41364e73a2fbb902e41281c59991b6c789723f (diff) | |
WIP EOneHot
Diffstat (limited to 'src/AST/Count.hs')
| -rw-r--r-- | src/AST/Count.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/AST/Count.hs b/src/AST/Count.hs index a928743..f3e3d74 100644 --- a/src/AST/Count.hs +++ b/src/AST/Count.hs @@ -130,6 +130,7 @@ occCountGeneral onehot unpush alter many = go WId EAccum _ a b e -> re a <> re b <> re e EZero _ -> mempty EPlus _ a b -> re a <> re b + EOneHot _ _ a b -> re a <> re b EError{} -> mempty where re :: Monoid (r env') => Expr x env' t'' -> r env' |