catch another specific error message from SR "type error: undefined i…

…dentifier"
conjure-cp · Mar 11, 2024 · 6d955d7 · 6d955d7
1 parent 8908533
commit 6d955d7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Conjure/UI/SolveStats.hs b/src/Conjure/UI/SolveStats.hs
@@ -67,6 +67,7 @@ mkSolveStats Solve {..} (exitCodeSR, stdoutSR, stderrSR) rawInfo = do
         | T.isInfixOf "java.lang.OutOfMemoryError" combinedSR = MemOut
         | T.isInfixOf "Out of Memory" combinedSR = MemOut
         | T.isInfixOf "Savile Row timed out." combinedSR = TimeOut
+        | T.isInfixOf "type error: undefined identifier" combinedSR = Error
         | M.lookup "SavileRowTimeOut" info == Just "1" = TimeOut
         | M.lookup "SavileRowClauseOut" info == Just "1" = TimeOut
         | M.lookup "SolverTimeOut" info == Just "1" = TimeOut