From 9c3f3c4a5f1258c99aefc95944af79dd6da2586c Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 10 Nov 2024 12:30:59 +0100
Subject: Fix bug in simplifier (effects are hard)

---
 src/Simplify.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Simplify.hs b/src/Simplify.hs
index 3e14aaf..0dfa107 100644
--- a/src/Simplify.hs
+++ b/src/Simplify.hs
@@ -60,8 +60,8 @@ simplify' = \case
         weakenExpr (WCopy WSink) (snd (simplify' b))
 
   -- beta rules for products
-  EFst _ (EPair _ e _) -> simplify' e
-  ESnd _ (EPair _ _ e) -> simplify' e
+  EFst _ (EPair _ e e') | not (hasAdds e') -> simplify' e
+  ESnd _ (EPair _ e' e) | not (hasAdds e') -> simplify' e
 
   -- beta rules for coproducts
   ECase _ (EInl _ _ e) rhs _ -> simplify' (ELet ext e rhs)
-- 
cgit v1.2.3-70-g09d2