AlphaGitHub
Source/Packages

Compiler.QuotedLiteral

packages/compiler/src/Compiler/QuotedLiteral.alpha

1,020 lines62 declarations45.0 KiBSHA-256 605e975984e2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1008–1020

quotedValidateSourceAtom

Full file
Structural lexing validates only quoted atoms; unquoted spelling is unchanged.
1008def quotedValidateSourceAtom =
1009  (lambda unrestricted spelling : Bytes .
1010    (quotedChoose
1011      (byte-equal (bytes-head spelling) (byte 34))
1012      (lambda unrestricted force : Nat . (quotedDecodeTextLiteral spelling))
1013      (lambda unrestricted force : Nat .
1014        (quotedChoose
1015          (Std.Natural/naturalAnd
1016            (byte-equal (bytes-head spelling) (byte 98))
1017            (byte-equal (bytes-head (bytes-tail spelling)) (byte 34)))
1018          (lambda unrestricted force : Nat . (quotedDecodeByteLiteral spelling))
1019          (lambda unrestricted force : Nat .
1020            (constructor QuotedLiteralResult QuotedLiteralDecoded spelling))))))

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.