aboutsummaryrefslogtreecommitdiff
path: root/src/__OLD_parcom/alt.cr
diff options
context:
space:
mode:
authorMatthew Hall <hallmatthew314@gmail.com>2023-03-16 20:36:03 +1300
committerMatthew Hall <hallmatthew314@gmail.com>2023-03-16 20:36:03 +1300
commitb274828831fec26cd8b3089ffef14cb96ce2de2f (patch)
treeff5927b85a59b4d85c9e4aa269a475a7a37a54a0 /src/__OLD_parcom/alt.cr
parent77c370d27be174e0b036b33d1469e84e67a7153a (diff)
Second rewrite attempt, this one should work, monkaS
Diffstat (limited to 'src/__OLD_parcom/alt.cr')
-rw-r--r--src/__OLD_parcom/alt.cr28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/__OLD_parcom/alt.cr b/src/__OLD_parcom/alt.cr
new file mode 100644
index 0000000..dedd41d
--- /dev/null
+++ b/src/__OLD_parcom/alt.cr
@@ -0,0 +1,28 @@
+require "./parser.cr"
+
+module Parcom
+ # `Alt` is a `Parser` that accepts two other parsers and tries
+ # to parse with one of them.
+ # If the first (left) parser succeeds, its result is returned.
+ # If the first parser fails, it will try the second (right) parser.
+ class Alt(T, V) < Parser(T, V)
+ # Accepts the two parsers to try to parse with.
+ def initialize(@p1 : Parser(T, V), @p2 : Parser(T, V))
+ end
+
+ # Tries to parse using both parsers.
+ #
+ # It will initially try to parse with the first parser.
+ # If it fails, it will try to parse with the second parser.
+ def parse(tokens : Tokens(T)) : Result(T, V)
+ @p1.parse(tokens)
+ rescue ex1 : ParserFail
+ begin
+ @p2.parse(tokens)
+ rescue ex2 : ParserFail
+ raise ParserFail.new("Alt (#{ex1.message}), (#{ex2.message})")
+ end
+ end
+ end
+end
+