fix non-exhaustive pattern in rpRelToBComparOp

smucclaw · Aug 8, 2023 · 20ef769 · 20ef769
1 parent 08662b0
commit 20ef769
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/haskell/natural4/src/LS/XPile/CoreL4.hs b/lib/haskell/natural4/src/LS/XPile/CoreL4.hs
@@ -420,7 +420,7 @@ rpRelToBComparOp RPelem = refute "rpRelToBComparOp: erroring on RPelem"
 rpRelToBComparOp RPnotElem = refute "rpRelToBComparOp: erroring on RPnotElem"
 rpRelToBComparOp RPnot = refute "rpRelToBComparOp: erroring on RPnot"
 rpRelToBComparOp RPTC {}  = refute "rpRelToBComparOp: erroring on RPTC"
-
+rpRelToBComparOp x = refute ("rpRelToBComparOp: erroring on " <> pretty (show x))
 -- END helper functions
 
 boolStructRToExpr :: [String] -> BoolStructR -> ExprM ann ()