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/Analysis/Identity.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Analysis')

diff --git a/src/Analysis/Identity.hs b/src/Analysis/Identity.hs
index 20575b3..a1a6376 100644
--- a/src/Analysis/Identity.hs
+++ b/src/Analysis/Identity.hs
@@ -28,9 +28,9 @@ data ValId t where
   VIPair :: ValId a -> ValId b -> ValId (TPair a b)
   VIEither :: Either (ValId a) (ValId b) -> ValId (TEither a b)  -- ^ known alternative
   VIEither' :: ValId a -> ValId b -> ValId (TEither a b)  -- ^ unknown alternative, but known values in each case
+  VILEither :: ValId (TMaybe (TEither a b)) -> ValId (TLEither a b)
   VIMaybe :: Maybe (ValId a) -> ValId (TMaybe a)
   VIMaybe' :: ValId a -> ValId (TMaybe a)  -- ^ if it's Just, it contains this value
-  VILEither :: ValId (TMaybe (TEither a b)) -> ValId (TLEither a b)
   VIArr :: Int -> Vec n Int -> ValId (TArr n t)
   VIScal :: Int -> ValId (TScal t)
   VIAccum :: Int -> ValId (TAccum t)
@@ -367,11 +367,11 @@ genIds :: STy t -> IdGen (ValId t)
 genIds STNil = pure VINil
 genIds (STPair a b) = VIPair <$> genIds a <*> genIds b
 genIds (STEither a b) = VIEither' <$> genIds a <*> genIds b
+genIds (STLEither a b) = VILEither . VIMaybe' <$> (VIEither' <$> genIds a <*> genIds b)
 genIds (STMaybe t) = VIMaybe' <$> genIds t
 genIds (STArr n _) = VIArr <$> genId <*> vecReplicateA n genId
 genIds STScal{} = VIScal <$> genId
 genIds STAccum{} = VIAccum <$> genId
-genIds (STLEither a b) = VILEither . VIMaybe' <$> (VIEither' <$> genIds a <*> genIds b)
 
 shidsToVec :: SNat n -> ValId (Tup (Replicate n TIx)) -> IdGen (Vec n Int)
 shidsToVec SZ _ = pure VNil
-- 
cgit v1.2.3-70-g09d2