#277 introduced a new SynTree parser for handling input with implicit brackets. This could be used in the sub-formulas task by making the Submission a TreeFormulaAnswer (Maybe (SynTree BinOp Char)) instead of a FormulaAnswer (Maybe (PropFormula Char)).
The Parse instance of TreeFormulaAnswer could maybe be directly changed to use liberalParser as well, but this might affect other tasks, such as ComposeFormula (?).
If we change this, then the following also needs to be removed:
Bei der Subformel-Aufgabe enthält die Aufgabenstellung noch folgendes:
Entfernen Sie dabei Klammerpaare, die eine angegebene Teilformel komplett umschließen, und fügen Sie keine zusätzlichen Klammern hinzu.
This change would need to happen after the winter semester concludes, since this task has already been used on Autotool and the above affected grading.
#277 introduced a new
SynTreeparser for handling input with implicit brackets. This could be used in the sub-formulas task by making the Submission aTreeFormulaAnswer(Maybe (SynTree BinOp Char)) instead of aFormulaAnswer(Maybe (PropFormula Char)).The
Parseinstance of TreeFormulaAnswer could maybe be directly changed to useliberalParseras well, but this might affect other tasks, such asComposeFormula(?).If we change this, then the following also needs to be removed:
This change would need to happen after the winter semester concludes, since this task has already been used on Autotool and the above affected grading.