Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

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

def · lines 2172–2193

decodeQuotedTextAtom

Full file
2172def decodeQuotedTextAtom =
2173  (lambda unrestricted spelling : Bytes .
2174    (eliminate
2175      QuotedLiteralResult
2176      (lambda unrestricted result : (family QuotedLiteralResult) . (family TermDecodeResult))
2177      (Compiler.QuotedLiteral/quotedDecodeTextLiteral spelling)
2178      (branch
2179        QuotedLiteralDecoded
2180        payload
2181        .
2182        (constructor TermDecodeResult TermDecoded (decodedTextLiteralTerm payload)))
2183      (branch
2184        QuotedLiteralFailed
2185        failure
2186        offset
2187        endOffset
2188        .
2189        (constructor
2190          TermDecodeResult
2191          TermDecodeFailed
2192          (Compiler.QuotedLiteral/quotedLiteralFailureCode failure)
2193          (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.