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 881–894

parserChooseStreamingState

Full file
Thunked branch selection keeps the unselected continuation unforced.
881def parserChooseStreamingState =
882  (lambda unrestricted condition : Nat .
883    (lambda unrestricted yes : (pi unrestricted force : Nat . (family StreamingStructuralState)) .
884      (lambda unrestricted no : (pi unrestricted force : Nat . (family StreamingStructuralState)) .
885        (app
886          (nat-eliminate
887            (lambda unrestricted flag : Nat .
888              (pi unrestricted force : Nat . (family StreamingStructuralState)))
889            no
890            (lambda unrestricted predecessor : Nat .
891              (lambda unrestricted unused : (pi unrestricted force : Nat . (family StreamingStructuralState)) .
892                yes))
893            condition)
894          zero))))

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.