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 1960–1981

bytesElementChain

Full file
1960def bytesElementChain =
1961  (lambda unrestricted terms : (family TermList) .
1962    (eliminate
1963      TermList
1964      (lambda unrestricted value : (family TermList) . (family Term))
1965      terms
1966      (branch TermListEnd . (constructor Term BytesLiteral b""))
1967      (branch
1968        TermListNext
1969        listedTerm
1970        listedRest
1971        ih_listedRest
1972        .
1973        (constructor
1974          Term
1975          Application
1976          (constructor
1977            Term
1978            Application
1979            (constructor Term Variable bytesConsSpelling)
1980            (bytesElementTerm listedTerm))
1981          ih_listedRest))))

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.