Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

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

def · lines 554–612

applyStreamingStructuralToken

Full file
554def applyStreamingStructuralToken =
555  (lambda unrestricted token : (family LexToken) .
556    (lambda unrestricted state : (family StreamingStructuralState) .
557      (eliminate
558        StreamingStructuralState
559        (lambda unrestricted value : (family StreamingStructuralState) .
560          (family StreamingStructuralState))
561        (flushStreamingAtom state)
562        (branch
563          StreamingStructuralActive
564          pendingAtom
565          streamingForest
566          streamingStack
567          origin
568          .
569          (eliminate
570            StructuralParseState
571            (lambda unrestricted value : (family StructuralParseState) .
572              (family StreamingStructuralState))
573            (consumeStructuralToken
574              token
575              (constructor StructuralParseState StructuralActive streamingForest streamingStack))
576            (branch
577              StructuralActive
578              currentForest
579              currentStack
580              .
581              (constructor
582                StreamingStructuralState
583                StreamingStructuralActive
584                b""
585                currentForest
586                currentStack
587                (constructor SyntaxOrigin SyntaxOriginUnknown)))
588            (branch
589              StructuralFailed
590              structuralFailureCode
591              .
592              (constructor
593                StreamingStructuralState
594                StreamingStructuralFailed
595                structuralFailureCode
596                (constructor SyntaxOrigin SyntaxOriginUnknown)
597                b""
598                (constructor SyntaxOrigin SyntaxOriginUnknown)))))
599        (branch
600          StreamingStructuralFailed
601          streamingFailureCode
602          structuralFailureOrigin
603          recoveryAtom
604          recoveryOrigin
605          .
606          (constructor
607            StreamingStructuralState
608            StreamingStructuralFailed
609            streamingFailureCode
610            structuralFailureOrigin
611            recoveryAtom
612            recoveryOrigin)))))

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.