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 5562–5584

syntaxUsesQuotedLiterals

Full file
Literal spelling stays intact in SyntaxAtom, including the optional b prefix.
5562def syntaxUsesQuotedLiterals =
5563  (lambda unrestricted syntax : (family Syntax) .
5564    (eliminate
5565      Syntax
5566      (lambda unrestricted current : (family Syntax) . Nat)
5567      syntax
5568      (branch
5569        SyntaxAtom
5570        spelling
5571        origin
5572        .
5573        (parserFlagOr
5574          (byte-equal (bytes-head spelling) (byte 34))
5575          (nat-eliminate
5576            (lambda unrestricted flag : Nat . Nat)
5577            zero
5578            (lambda unrestricted predecessor : Nat .
5579              (lambda unrestricted unused : Nat .
5580                (byte-equal (bytes-head (bytes-tail spelling)) (byte 34))))
5581            (byte-equal (bytes-head spelling) (byte 98)))))
5582      (branch SyntaxEmpty . zero)
5583      (branch SyntaxCons head tail ih_head ih_tail . (parserFlagOr ih_head ih_tail))
5584      (branch SyntaxNode children ih_children . ih_children)))

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.