From 7bd37711ffecb7a0e202ecfd717e3a4cbbe6074f Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 25 May 2025 23:35:51 +0200
Subject: Simplify: also down-commute projections into EMaybe

---
 src/Simplify.hs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/Simplify.hs b/src/Simplify.hs
index d963b7e..e110206 100644
--- a/src/Simplify.hs
+++ b/src/Simplify.hs
@@ -183,6 +183,12 @@ simplify'Rec = \case
   ESnd _ (ECase _ e1 e2 e3) ->
     acted $ simplify' $
       ECase ext e1 (ESnd ext e2) (ESnd ext e3)
+  EFst _ (EMaybe _ e1 e2 e3) ->
+    acted $ simplify' $
+      EMaybe ext (EFst ext e1) (EFst ext e2) e3
+  ESnd _ (EMaybe _ e1 e2 e3) ->
+    acted $ simplify' $
+      EMaybe ext (ESnd ext e1) (ESnd ext e2) e3
 
   -- TODO: more array indexing
   EIdx _ (EReplicate1Inner _ _ e2) e3 -> acted $ simplify' $ EIdx ext e2 (EFst ext e3)
-- 
cgit v1.2.3-70-g09d2