missed GateSwitch cases

sfultong · Mar 14, 2024 · 0563d1f · 0563d1f
1 parent 67abaea
commit 0563d1f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Telomare/Possible.hs b/src/Telomare/Possible.hs
@@ -298,6 +298,9 @@ superStep mergeSuper step handleOther = \case
     BasicFW (RightSF (SuperEE (EitherPF a b))) -> mergeSuper (step . embedB . RightSF $ a) (step . embedB . RightSF $ b)
     BasicFW (SetEnvSF (SuperEE (EitherPF a b))) -> mergeSuper (step . embedB . SetEnvSF $ a) (step . embedB . SetEnvSF $ b)
     (GateSwitch l r (SuperEE AnyPF)) -> mergeSuper l r
+    (GateSwitch l r (SuperEE (EitherPF (BasicEE ZeroSF) _))) -> mergeSuper l r
+    (GateSwitch l r (SuperEE (EitherPF _ (BasicEE ZeroSF)))) -> mergeSuper l r
+    (GateSwitch l r (SuperEE (EitherPF a b))) -> superEE (EitherPF l r)
     (FillFunction (SuperEE (EitherPF sca scb)) e) -> mergeSuper
       (step . embedB . SetEnvSF . basicEE $ PairSF sca e)
       (step . embedB . SetEnvSF . basicEE $ PairSF scb e)