Complete pattern matches

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