Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

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

def · lines 1160–1203

finishStreamingStructuralForest

Full file
A forest uses the same scanner and stack checks as an expression. Its wrapper exists only in Syntax, so it cannot change source tokenization.
1160def finishStreamingStructuralForest =
1161  (lambda unrestricted state : (family StreamingStructuralState) .
1162    (eliminate
1163      StreamingStructuralState
1164      (lambda unrestricted current : (family StreamingStructuralState) .
1165        (family StructuralParseResult))
1166      (flushStreamingAtom state)
1167      (branch
1168        StreamingStructuralActive
1169        pending
1170        forest
1171        stack
1172        origin
1173        .
1174        (eliminate
1175          SyntaxStack
1176          (lambda unrestricted current : (family SyntaxStack) . (family StructuralParseResult))
1177          stack
1178          (branch
1179            SyntaxStackEnd
1180            .
1181            (constructor
1182              StructuralParseResult
1183              StructuralParsed
1184              (constructor Syntax SyntaxNode forest)))
1185          (branch
1186            SyntaxStackFrame
1187            parent
1188            outer
1189            ih_outer
1190            .
1191            (constructor
1192              StructuralParseResult
1193              StructuralParseFailed
1194              (succ (succ zero))
1195              (constructor SyntaxOrigin SyntaxOriginUnknown)))))
1196      (branch
1197        StreamingStructuralFailed
1198        code
1199        structuralFailureOrigin
1200        recoveryAtom
1201        recoveryOrigin
1202        .
1203        (constructor StructuralParseResult StructuralParseFailed code structuralFailureOrigin))))

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.