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 483–501

quotedPrependBytes

Full file
Prepend an encoded scalar without changing the following failure location.
483def quotedPrependBytes =
484  (lambda unrestricted prefix : Bytes .
485    (lambda unrestricted result : (family QuotedLiteralResult) .
486      (eliminate
487        QuotedLiteralResult
488        (lambda unrestricted current : (family QuotedLiteralResult) . (family QuotedLiteralResult))
489        result
490        (branch
491          QuotedLiteralDecoded
492          suffix
493          .
494          (constructor QuotedLiteralResult QuotedLiteralDecoded (bytes-append prefix suffix)))
495        (branch
496          QuotedLiteralFailed
497          failure
498          offset
499          endOffset
500          .
501          (constructor QuotedLiteralResult QuotedLiteralFailed failure 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.