AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 712–729

parserStripPendingStep

Full file
712def parserStripPendingStep =
713  (lambda unrestricted head : Byte .
714    (nat-eliminate
715      (lambda unrestricted headIsDash : Nat . (family ParserStripStep))
716      (eliminate
717        ParserStripStep
718        (lambda unrestricted value : (family ParserStripStep) . (family ParserStripStep))
719        (parserStripTokenStep head)
720        (branch
721          ParserStripStepValue
722          emit
723          next
724          .
725          (parserStripStep (bytes-cons parserCommentDashByte emit) next)))
726      (lambda unrestricted secondDashPredecessor : Nat .
727        (lambda unrestricted secondDashInduction : (family ParserStripStep) .
728          (parserStripStep b"" parserStripStateComment)))
729      (byte-equal head parserCommentDashByte)))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.