diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-09-22 23:16:27 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-09-22 23:16:27 +0200 |
| commit | 76917de6d801e3667cdf3f1bbbb5c2bceabdecb6 (patch) | |
| tree | 5be0ab5efb17077738d2acd51db95e5ce8b92b58 /src/AST/Count.hs | |
| parent | 7bc10684870e2249efbdcdddb4950f52d8527699 (diff) | |
Add some missing cases
Diffstat (limited to 'src/AST/Count.hs')
| -rw-r--r-- | src/AST/Count.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/AST/Count.hs b/src/AST/Count.hs index 40a46f6..ad68685 100644 --- a/src/AST/Count.hs +++ b/src/AST/Count.hs @@ -110,6 +110,9 @@ occCountGeneral onehot unpush alter many = go WId EInl _ _ e -> re e EInr _ _ e -> re e ECase _ e a b -> re e <> (re1 a `alter` re1 b) + ENothing _ _ -> mempty + EJust _ e -> re e + EMaybe _ a b e -> re a <> re1 b <> re e EConstArr{} -> mempty EBuild1 _ a b -> re a <> many (re1 b) EBuild _ _ a b -> re a <> many (re1 b) |