From 3fa431a2268a11dec6fd82c8f9b59cc2d0af9a93 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Wed, 13 Jan 2021 18:31:27 +1100 Subject: Stamp/Ignore now Stamp/Discard/Ignore --- src/packrat-parsers.ads | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'src/packrat-parsers.ads') diff --git a/src/packrat-parsers.ads b/src/packrat-parsers.ads index e11d623..1e058dc 100644 --- a/src/packrat-parsers.ads +++ b/src/packrat-parsers.ads @@ -115,6 +115,19 @@ package Packrat.Parsers is Start : in Positive) return Combinator_Result; + generic + Label : in Traits.Label_Enum; + with function Combo + (Input : in Traits.Element_Array; + Context : in out Parser_Context; + Start : in Positive) + return Combinator_Result; + function Discard + (Input : in Traits.Element_Array; + Context : in out Parser_Context; + Start : in Positive) + return Combinator_Result; + generic with function Combo (Input : in Traits.Element_Array; -- cgit