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/Interpreter.hs | |
| parent | b0b562e5000dbcac8b944801e7ab96556855a4ff (diff) | |
ERecompute
Diffstat (limited to 'src/Interpreter.hs')
| -rw-r--r-- | src/Interpreter.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Interpreter.hs b/src/Interpreter.hs index d7916d8..803a24a 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -153,6 +153,7 @@ interpret'Rec env = \case e1' <- interpret' env e1 e2' <- interpret' env e2 interpret' (V t2 e2' `SCons` V t1 e1' `SCons` SNil) pr + ERecompute _ e -> interpret' env e EWith _ t e1 e2 -> do initval <- interpret' env e1 withAccum t (typeOf e2) initval $ \accum -> |