Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

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

def · lines 4838–4865

finishDecodedRecordAssignmentTail

Full file
4838def finishDecodedRecordAssignmentTail =
4839  (lambda unrestricted name : Bytes .
4840    (lambda unrestricted origin : (family SyntaxOrigin) .
4841      (lambda unrestricted afterEquals : (family Syntax) .
4842        (lambda unrestricted terms : (family TermList) .
4843          (lambda unrestricted fallback : (family TermDecodeResult) .
4844            (eliminate
4845              Syntax
4846              (lambda unrestricted current : (family Syntax) . (family TermDecodeResult))
4847              afterEquals
4848              (branch SyntaxAtom spelling atomOrigin . fallback)
4849              (branch SyntaxEmpty . fallback)
4850              (branch
4851                SyntaxCons
4852                value
4853                afterValue
4854                ih_value
4855                ih_afterValue
4856                .
4857                (eliminate
4858                  Syntax
4859                  (lambda unrestricted current : (family Syntax) . (family TermDecodeResult))
4860                  afterValue
4861                  (branch SyntaxAtom spelling atomOrigin . fallback)
4862                  (branch SyntaxEmpty . (decodeRecordAssignmentTerms name origin terms))
4863                  (branch SyntaxCons extra rest ih_extra ih_rest . fallback)
4864                  (branch SyntaxNode children ih_children . fallback)))
4865              (branch SyntaxNode children ih_children . fallback)))))))

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.