From 16169311d2d39d82a799fd90c77c829767842c9d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juan=20Manuel=20Tom=C3=A1s?= Date: Sat, 19 Oct 2024 20:03:50 -0300 Subject: Revert some changes --- README.md | 25 ------------------------- 1 file changed, 25 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 6705ffd..9e0546d 100644 --- a/README.md +++ b/README.md @@ -3,28 +3,3 @@ Parser Generator This parser generator expands on [this paper](https://www.cs.nott.ac.uk/~pszgmh/monparsing.pdf). The goal is to have a good enough parser generator for use in my other personal projects. - -# The type of parsers - -Parsers are lambdas that receive some *input* and return either a *parsing* or a *failure*. - -A *parsing* denotes a successful execution of the parser on the given input. - -Failures can be either *normal-failure* or *critical-failure*. - -The distinction of failure types allows to discern between an input that needs to be -parsed with another parser, and a syntax error. - -## Interaction with parser control flow - -### Choice (either) - -- parsing -> exit -- normal-failure -> continue -- critical-failure -> exit - -### Sequence (comp) - -- parsing -> continue -- normal-failure -> exit -- critical-failure -> exit -- cgit v1.2.3