From c36849cb6247f957b4e6b093e16d04421c8cea3d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 25 May 2025 23:35:31 +0200
Subject: ERecompute

---
 src/Interpreter.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Interpreter.hs')

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 ->
-- 
cgit v1.2.3-70-g09d2