AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1983–2004

decodeBytesLiteral

Full file
1983def decodeBytesLiteral =
1984  (lambda unrestricted firstTerm : (family Term) .
1985    (lambda unrestricted remaining : (family TermList) .
1986      (eliminate
1987        SourceBytesResult
1988        (lambda unrestricted result : (family SourceBytesResult) . (family TermDecodeResult))
1989        (sourceBytesFromTerms (constructor TermList TermListNext firstTerm remaining))
1990        (branch
1991          SourceBytesDecoded
1992          decodedSourceBytes
1993          .
1994          (constructor
1995            TermDecodeResult
1996            TermDecoded
1997            (constructor Term BytesLiteral decodedSourceBytes)))
1998        (branch
1999          SourceBytesInvalid
2000          .
2001          (constructor
2002            TermDecodeResult
2003            TermDecoded
2004            (bytesElementChain (constructor TermList TermListNext firstTerm remaining)))))))

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.