delayed parsing #125
delayed parsing #125
Conversation
This comment has been minimized.
This comment has been minimized.
| delayed = Delayed | ||
|
|
||
| parseDelayed :: Delayed a -> Parser a -> Either ParseError a | ||
| parseDelayed (Delayed str) p = parse p "(delayed input)" str |
There was a problem hiding this comment.
Taucht dieses "(delayed input)" dann eigentlich in den anzuzeigenden Fehlermeldungen auf? Für die Studierenden wäre der Begriff sicher verwirrend.
There was a problem hiding this comment.
Ja tut es. In erster Linie wollte ich damit das Debuggen von Parserfehlern einfacher machen. Kann schon sein, dass das verwirrend ist. Ich denke aber, dass es erkennbar sein sollte, dass der Fehler aus dem verzögerten Parsen entsteht (evtl sogar aus welcher Phase genau, bei mehreren?). Vieleicht ist eine Formulierung besser, die Studierende eher als "neutrales Element" im Fehlerstring lesen. Evtl. "(task-parser-input)" oder "(answer string)"?
There was a problem hiding this comment.
Wahrscheinlich ist "(answer string)" ganz gut.
Alternative zu #119, ohne Wechsel zu Megaparsec