diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-05-25 23:35:31 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-05-25 23:35:31 +0200 |
| commit | c36849cb6247f957b4e6b093e16d04421c8cea3d (patch) | |
| tree | fdcdcec5c598c95c493ede2782a96563a32b4b5f /src/Analysis/Identity.hs | |
| parent | b0b562e5000dbcac8b944801e7ab96556855a4ff (diff) | |
ERecompute
Diffstat (limited to 'src/Analysis/Identity.hs')
| -rw-r--r-- | src/Analysis/Identity.hs | 4 |
1 files changed, 4 insertions, 0 deletions
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 |