diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-06-18 10:09:56 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-06-18 10:09:56 +0200 |
| commit | 62639875102decae2bb96b3847ae48db5d1f8fd0 (patch) | |
| tree | 6972fc566103a08076abd445c0873102a1622dc0 /src/Analysis/Identity.hs | |
| parent | 2b00a57f565a42b1079a071e2db630ba22c7120d (diff) | |
Complete pattern matches
Diffstat (limited to 'src/Analysis/Identity.hs')
| -rw-r--r-- | src/Analysis/Identity.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Analysis/Identity.hs b/src/Analysis/Identity.hs index 2fd321d..b54946b 100644 --- a/src/Analysis/Identity.hs +++ b/src/Analysis/Identity.hs @@ -320,6 +320,13 @@ idana env expr = case expr of res <- genIds (fromSMTy t) pure (res, EZero res t e1') + EDeepZero _ t e1 -> do + -- Approximate the result of EDeepZero to be independent from the zero info + -- expression; not quite true for shape variables + (_, e1') <- idana env e1 + res <- genIds (fromSMTy t) + pure (res, EDeepZero res t e1') + EPlus _ t e1 e2 -> do (_, e1') <- idana env e1 (_, e2') <- idana env e2 |