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 260–281

parseTokenStream

Full file
260def parseTokenStream :
261  (pi unrestricted stream : (family TokenStream) . (family StructuralParseState)) =
262  (lambda unrestricted stream : (family TokenStream) .
263    (eliminate
264      TokenStream
265      (lambda unrestricted value : (family TokenStream) . (family StructuralParseState))
266      stream
267      (branch
268        TokenEnd
269        .
270        (constructor
271          StructuralParseState
272          StructuralActive
273          (constructor Syntax SyntaxEmpty)
274          (constructor SyntaxStack SyntaxStackEnd)))
275      (branch
276        TokenNext
277        nextToken
278        tokenRest
279        ih_tokenRest
280        .
281        (consumeStructuralToken nextToken ih_tokenRest))))

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.