Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

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

def · lines 2095–2116

decodeQuotedByteAtom

Full file
Literal payloads lower to the existing BytesLiteral AST constructor.
2095def decodeQuotedByteAtom =
2096  (lambda unrestricted spelling : Bytes .
2097    (eliminate
2098      QuotedLiteralResult
2099      (lambda unrestricted result : (family QuotedLiteralResult) . (family TermDecodeResult))
2100      (Compiler.QuotedLiteral/quotedDecodeByteLiteral spelling)
2101      (branch
2102        QuotedLiteralDecoded
2103        bytes
2104        .
2105        (constructor TermDecodeResult TermDecoded (constructor Term BytesLiteral bytes)))
2106      (branch
2107        QuotedLiteralFailed
2108        failure
2109        offset
2110        endOffset
2111        .
2112        (constructor
2113          TermDecodeResult
2114          TermDecodeFailed
2115          (Compiler.QuotedLiteral/quotedLiteralFailureCode failure)
2116          (constructor SyntaxOrigin SyntaxOriginRange offset endOffset)))))

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.