Mehrstufiges Parsen wo angebracht

[owestphal]

Durch #125 kann jetzt in den Grading-Funktionen jeweils der verwendete Parser individuell gewählt werden bzw mehere verschiedene Parser stufenweise hintereinander geschaltet werden (siehe Skizze in #83 und partialGrade in LogicTasks.Syntax.TreeToFormula).

Nach dem selben Schema können sicherlich auch in einigen anderen Aufgabentypen die Parserfehlermeldungen verbessert werden.

[jvoigtlaender]

Konkret bereits in LogicTasks.Syntax.TreeToFormula.partialGrade könnte vielleicht tokenSequence noch durch einen Parser ersetzt werden, der zusätzlich bereits "die Klammern zählt", der also mit einer aussagekräftigen Fehlermeldung reagiert, wenn es in einem Präfix der Eingabe mehr schließende als öffnende Klammern gibt, sowie wenn es in der gesamten Eingabe mehr öffnende als schließende Klammern gibt.

[jvoigtlaender]

Das würde natürlich bedeuten, dass in

logic-tasks/src/LogicTasks/Syntax/TreeToFormula.hs

Lines 82 to 87 in 13095f3

	case parse (fully $ parser @TreeFormulaAnswer) "(delayed input)" ans of
	Right f -> partialGrade' inst f
	Left err -> reject $ case parse (fully tokenSequence) "" ans of
	Left _ -> do
	german $ show err
	english $ show err

statt der err-Message des "Hauptparsers" doch (auch oder nur?) die Fehlermeldung des "Hilfsparsers" auszugeben wäre.

Das ist ja aber vielleicht sowieso sinnvoll? Also wenn etwa schlicht ein Symbol falsch geschrieben ist (<==> statt <=>), mag bereits der tokenSequence-Hilfsparser vielleicht eine bessere Fehlermeldung haben als der eigentliche TreeFormulaAnswer-Hauptparser?

[jvoigtlaender]

Oben vorgeschlagene Anpassungen/Verfeinerungen könnten jetzt zumindest teils durch Veränderungen an (oder alternativ verwendeten Funktionen zu) folgendem umgesetzt werden:

logic-tasks/src/Formula/Parsing/Delayed.hs

Lines 47 to 63 in ec12c66

	complainAboutMissingParenthesesIfNotFailingOn :: Maybe a -> ParseError -> State (Map Language String) ()
	complainAboutMissingParenthesesIfNotFailingOn maybeHereError latentError =
	case maybeHereError of
	Just _ -> do
	german $ show latentError
	english $ show latentError
	Nothing -> do
	german $ unlines
	[ "Ihre Abgabe konnte nicht gelesen werden." {- german -}
	, "Bitte prüfen Sie, ob die Anordnung der Symbole den Regeln zur Wohlaufgebautheit der Eingaben genügt." {- german -}
	, "Insbesondere sollten Sie genügend Klammern benutzen." {- german -}
	]
	english $ unlines
	[ "Unable to read solution."
	, "Please make sure that the arrangement of symbols adheres to the rules for well-formed inputs."
	, "In particular, you should use enough parentheses."
	]

und/oder Aufrufstellen wie:

logic-tasks/src/LogicTasks/Syntax/DecomposeFormula.hs

Line 86 in ec12c66

partialGrade = parseDelayedAndThen complainAboutMissingParenthesesIfNotFailingOn (void $ many logicToken) . partialGrade'

[jvoigtlaender]

In LogicTasks.Syntax.SubTreeSet.partialGrade wäre vielleicht sinnvoll, vor dem Versuch, es als PropFormula zu parsen, einen Test darauf zu machen, ob es als SynTree parsebar ist.

Denn tatsächlich müssen die Eingaben hier ja "voll geklammert" sein. Der Weg über PropFormula wird nur gegangen, um auch zusätzliche Klammern noch "abfangen" zu können.

Relevant in diesem Kontext: #221