Source/Packages

Compiler.QuotedLiteral

packages/compiler/src/Compiler/QuotedLiteral.alpha

1,020 lines62 declarations45.0 KiBSHA-256 605e975984e2

def · lines 464–480

quotedLiteralFailureCode

Full file
Stable parser failure tags; the result above retains the exact byte offset.
464def quotedLiteralFailureCode =
465  (lambda unrestricted failure : (family QuotedLiteralFailure) .
466    (eliminate
467      QuotedLiteralFailure
468      (lambda unrestricted current : (family QuotedLiteralFailure) . Nat)
469      failure
470      (branch QuotedInvalidPrefix . (byte-to-nat (byte 91)))
471      (branch QuotedUnknownEscape . (byte-to-nat (byte 92)))
472      (branch QuotedIncompleteEscape . (byte-to-nat (byte 93)))
473      (branch QuotedBadHex . (byte-to-nat (byte 94)))
474      (branch QuotedNonASCII . (byte-to-nat (byte 95)))
475      (branch QuotedNewline . (byte-to-nat (byte 96)))
476      (branch QuotedUnterminated . (byte-to-nat (byte 97)))
477      (branch QuotedTrailingInput . (byte-to-nat (byte 98)))
478      (branch QuotedUnicodeSyntax . (byte-to-nat (byte 99)))
479      (branch QuotedInvalidScalar . (byte-to-nat (byte 100)))
480      (branch QuotedInvalidUTF8 . (byte-to-nat (byte 101)))))

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.