Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

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

def · lines 614–631

consumeStreamingSourceByte

Full file
614def consumeStreamingSourceByte =
615  (lambda unrestricted byte : Byte .
616    (lambda unrestricted state : (family StreamingStructuralState) .
617      (eliminate
618        ByteClass
619        (lambda unrestricted value : (family ByteClass) . (family StreamingStructuralState))
620        (classifyByte byte)
621        (branch
622          OpenDelimiter
623          .
624          (applyStreamingStructuralToken (constructor LexToken TokenOpen) state))
625        (branch
626          CloseDelimiter
627          .
628          (applyStreamingStructuralToken (constructor LexToken TokenClose) state))
629        (branch Whitespace . (flushStreamingAtom state))
630        (branch DecimalDigit . (prependStreamingAtomByte byte state))
631        (branch IdentifierByte . (prependStreamingAtomByte byte state)))))

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.