From 9734fa2d530b9496b70a388a117ea57fe5730772 Mon Sep 17 00:00:00 2001 From: Matthew Hall Date: Sun, 19 Mar 2023 23:02:29 +1300 Subject: Remove old files --- src/__OLD_parcom/many.cr | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100644 src/__OLD_parcom/many.cr (limited to 'src/__OLD_parcom/many.cr') diff --git a/src/__OLD_parcom/many.cr b/src/__OLD_parcom/many.cr deleted file mode 100644 index a734c63..0000000 --- a/src/__OLD_parcom/many.cr +++ /dev/null @@ -1,36 +0,0 @@ -require "./parser.cr" - -module Parcom - # `Many` is a `Parser` that repeatedly tries to parse with another parser. - # The `Many` object will collect all success values in an array, and return - # them with the final state of the input stream. If the wrapped parser ever - # fails or succeeds without parsing any input, the `Many` object will stop - # attempting to parse will will return the array of prrevious successes. - # - # `Many` will return an empty array if the parser never succeeds or consumes - # input. For cases where at least one parserr success is needed, use `Some`. - class Many(T, V) < Parser(T, Array(V)) - # Accepts the parser to use. - def initialize(@p : Parser(T, V)) - end - - # Continuously parses with the wrapped parser, returns all successes. - # Parsing stops when the parser fails, or succeeds without consuming input. - def parse(tokens : Tokens(T)) : Result(T, Array(V)) - parsed = [] of V - - loop do - result = @p.parse?(tokens) - break unless !result.nil? && result.tokens != tokens - - parsed << result.value - tokens = result.tokens - end - - Result.new(tokens, parsed) - rescue ex : ParserFail - raise ParserFail.new("Many: #{ex.message}") - end - end -end - -- cgit v1.2.1