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 83–101

quotedPrepend

Full file
83def quotedPrepend =
84  (lambda unrestricted head : Byte .
85    (lambda unrestricted result : (family QuotedLiteralResult) .
86      (eliminate
87        QuotedLiteralResult
88        (lambda unrestricted value : (family QuotedLiteralResult) . (family QuotedLiteralResult))
89        result
90        (branch
91          QuotedLiteralDecoded
92          bytes
93          .
94          (constructor QuotedLiteralResult QuotedLiteralDecoded (bytes-cons head bytes)))
95        (branch
96          QuotedLiteralFailed
97          failure
98          offset
99          endOffset
100          .
101          (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.