Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d

def · lines 772–779

parserInitialStreamingState

Full file
The comment strip machine is fused into the structural fold. Bytes are a flat native array in the runtime, so rebuilding a stripped copy of the source byte-by-byte copies the whole suffix per byte (quadratic memory). Instead the fold is continuation-passing: the strip state flows forward through the function argument while the parse state flows backward through the result, and each emitted byte is consumed directly with no byte-string rebuilding. A comment that reaches end-of-input emits nothing, matching the trusted lexer.
772def parserInitialStreamingState =
773  (constructor
774    StreamingStructuralState
775    StreamingStructuralActive
776    b""
777    (constructor Syntax SyntaxEmpty)
778    (constructor SyntaxStack SyntaxStackEnd)
779    (constructor SyntaxOrigin SyntaxOriginUnknown))

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.