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 731–739

parserStripCommentStep

Full file
731def parserStripCommentStep =
732  (lambda unrestricted head : Byte .
733    (nat-eliminate
734      (lambda unrestricted headIsNewline : Nat . (family ParserStripStep))
735      (parserStripStep b"" parserStripStateComment)
736      (lambda unrestricted newlinePredecessor : Nat .
737        (lambda unrestricted newlineInduction : (family ParserStripStep) .
738          (parserStripStep (bytes-cons parserCommentNewlineByte b"") parserStripStateBetween)))
739      (byte-equal head parserCommentNewlineByte)))

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.