comment out RPor and RPand cases for now, while we wait to hear back …

…from Meng about them
smucclaw · Aug 28, 2023 · 9ad6549 · 9ad6549
1 parent 1993573
commit 9ad6549
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs b/lib/haskell/natural4/src/LS/XPile/LogicalEnglish/SimplifyL4.hs
@@ -253,8 +253,9 @@ simplifybodyRP = \case
                                      -- ^ this is the same for both the body and head
   RPConstraint exprsl rel exprsr     -> case rel of
                                           RPis  -> pure $ simpbodRPC @RPis exprsl exprsr
-                                          RPor  -> pure $ simpbodRPC @RPor exprsl exprsr
-                                          RPand -> pure $ simpbodRPC @RPand exprsl exprsr
+                                          -- TODO: comment these out for now to avoid inadvertent crashes of the system
+                                          -- RPor  -> pure $ simpbodRPC @RPor exprsl exprsr
+                                          -- RPand -> pure $ simpbodRPC @RPand exprsl exprsr
                                           _     -> SimpL4 $ refute [MkErr "shouldn't be seeing other rel ops in rpconstraint in body"]
                                           {- ^ Special case to handle for RPConstraint in the body but not the head: non-propositional connectives / anaphora!
                                               EG: ( Leaf