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 3766–3779

termListToTermSequence

Full file
3766def termListToTermSequence =
3767  (lambda unrestricted terms : (family TermList) .
3768    (eliminate
3769      TermList
3770      (lambda unrestricted value : (family TermList) . (family Term))
3771      terms
3772      (branch TermListEnd . (constructor Term TermSequenceEnd))
3773      (branch
3774        TermListNext
3775        listedTerm
3776        listedRest
3777        ih_listedRest
3778        .
3779        (constructor Term TermSequenceNext listedTerm 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.