From d0eb9a1edfb4233d557d954f46685f25382234d8 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 29 Apr 2025 20:37:06 +0200
Subject: Reorder TLEither to after TEither

---
 src/Simplify.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Simplify.hs')

diff --git a/src/Simplify.hs b/src/Simplify.hs
index f5eb0a1..6f97e6d 100644
--- a/src/Simplify.hs
+++ b/src/Simplify.hs
@@ -359,11 +359,11 @@ checkAccumInScope = \case SNil -> False
     check STNil = False
     check (STPair s t) = check s || check t
     check (STEither s t) = check s || check t
+    check (STLEither s t) = check s || check t
     check (STMaybe t) = check t
     check (STArr _ t) = check t
     check (STScal _) = False
     check STAccum{} = True
-    check (STLEither s t) = check s || check t
 
 data OneHotTerm env p a b where
   OneHotTerm :: SMTy a -> SAcPrj p a b -> Ex env (AcIdx p a) -> Ex env b -> OneHotTerm env p a b
-- 
cgit v1.2.3-70-g09d2