From c36849cb6247f957b4e6b093e16d04421c8cea3d Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sun, 25 May 2025 23:35:31 +0200 Subject: ERecompute --- src/Analysis/Identity.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/Analysis/Identity.hs') diff --git a/src/Analysis/Identity.hs b/src/Analysis/Identity.hs index a1a6376..4501c32 100644 --- a/src/Analysis/Identity.hs +++ b/src/Analysis/Identity.hs @@ -294,6 +294,10 @@ idana env expr = case expr of res <- genIds t4 pure (res, ECustom res t1 t2 t3 e1' e2' e3' e4' e5') + ERecompute _ e -> do + (v, e') <- idana env e + pure (v, ERecompute v e') + EWith _ t e1 e2 -> do let t1 = typeOf e1 (_, e1') <- idana env e1 -- cgit v1.2.3-70-g09d2