Misuse of withDelayedSucceeding

[jvoigtlaender]

Eigentlich ist withDelayedSucceeding für Situationen gedacht, wo von Autotool aus ein Delayed ankommt und keine weitere Kontrolle darüber besteht. Wenn man selbst das delayed erst einführt wie in

flex-tasks/tasks/proplogic.txt

Lines 345 to 348 in b50ab20

	withDelayedSucceeding
	(checkSemantics' nSol columns names)
	parser
	$ delayed $ stringTuple (stringList headers) formula

dann lässt sich das "wegcanceln".

Spezifischer ist

withDelayedSucceeding whatToDo parser (delayed answer)

äquivalent zu:

whatToDo (fromRight' (parse (fully parser) "" answer))

Vielleicht wäre es sinnvoller, für fromRight' (parse (fully parser) "" answer) oder für parse (fully parser) "" answer eine Hilfsfunktion einzuführen (ggfs. in logic-tasks, wo es schon diverse ähnliche Funktionen mit spezielleren Typen gibt, etwa Trees.Parsing.formulaParse), wodurch sich obiger Code dann schreiben ließe als:

  checkSemantics' nSol columns names $
    newFunction (stringTuple (stringList headers) formula))

Bzw. sogar:

  checkSemantics' nSol columns names
    (newFunction (stringList headers), newFunction formula)

[jvoigtlaender]

Ein möglicher Name für die Funktion inklusive fromRight' wäre newFunction = parseSucceeding.

[jvoigtlaender]

Zum Beispiel würde damit all dies überflüssig: https://github.com/fmidue/ba-katharina-braasch/blob/21fb239477b708e358b9076c08852e55c5d5d7ec/src/findliar.txt#L181-L196

[jvoigtlaender]

Auch dies hier:

flex-tasks/tasks/proplogic.txt

Lines 311 to 316 in b50ab20

	parseDelayedWithAndThen
	parser
	complainAboutMissingParenthesesIfNotFailingOn
	allSymbolParser
	(checkSyntax' names)
	$ delayed $ stringTuple (stringList $ map fst xs) formula

scheint mir konzeptionell nicht so ganz sinnvoll (das Ein- und Auspacken von String-Tupeln und Delayed).

Ich vermute, da ist irgendwas in dieser Art möglich:

  parsingWithFallback complainAboutMissingParenthesesIfNotFailingOn allSymbolParser (stringList $ map fst xs)
     (parsingWithFallback complainAboutMissingParenthesesIfNotFailingOn formulaSymbolParser formula . checkSyntax' names)
  where parsingWithFallback messaging fallBackParser s f = parseDelayedWithAndThen parser messaging fallBackParser f (delayed s)

wobei die parsingWithFallback-Funktion durch Inlining von parseDelayedWithAndThen und delayed noch vereinfacht werden könnte und wohl bereits in logic-tasks bereitgestellt werden könnte, statt sie hier zu definieren.

[jvoigtlaender]

Also already closed by #77 now.