formulation

fmidue · Apr 11, 2024 · 13095f3 · 13095f3
1 parent e0df94d
commit 13095f3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/LogicTasks/Syntax/TreeToFormula.hs b/src/LogicTasks/Syntax/TreeToFormula.hs
@@ -81,18 +81,18 @@ partialGrade :: OutputMonad m => TreeToFormulaInst -> Delayed TreeFormulaAnswer
 partialGrade inst (Delayed ans) =
   case parse (fully $ parser @TreeFormulaAnswer) "(delayed input)" ans of
     Right f -> partialGrade' inst f
-    Left err -> case parse (fully tokenSequence) "" ans of
-      Left _ -> reject $ do
+    Left err -> reject $ case parse (fully tokenSequence) "" ans of
+      Left _ -> do
         german $ show err
         english $ show err
-      Right () -> reject $ do
+      Right () -> do
         german $  unlines
           [ "Ihre Abgabe konnte nicht gelesen werden." {- german -}
           , "Bitte vergewissern Sie sich, ob die Anordnung der Symbole den Regeln zur Wohlaufgebautheit von Formeln genügt, und Sie insbesondere genügend Klammern benutzt haben." {- german -}
           ]
         english $ unlines
           [ "Unable to read solution."
-          , "Please make sure that the order of symbols adheres to the rules for well-formed formulas, especially if there are enough parenthesis."
+          , "Please make sure that the order of symbols adheres to the rules for well-formed formulas, especially if there are enough parentheses."
           ]
 
 partialGrade' :: OutputMonad m => TreeToFormulaInst -> TreeFormulaAnswer -> LangM m