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 5413–5429

syntaxAtomIsNamedRecord

Full file
5413def syntaxAtomIsNamedRecord =
5414  (lambda unrestricted syntax : (family Syntax) .
5415    (eliminate
5416      Syntax
5417      (lambda unrestricted current : (family Syntax) . Nat)
5418      syntax
5419      (branch
5420        SyntaxAtom
5421        spelling
5422        origin
5423        .
5424        (parserFlagOr
5425          (bytesEqual spelling recordSpelling)
5426          (parserFlagOr (bytesEqual spelling projectSpelling) (bytesEqual spelling updateSpelling))))
5427      (branch SyntaxEmpty . zero)
5428      (branch SyntaxCons head tail ih_head ih_tail . zero)
5429      (branch SyntaxNode children ih_children . 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.