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 3505–3523

decodeDoBody

Full file
3505def decodeDoBody =
3506  (lambda unrestricted terms : (family TermList) .
3507    (eliminate
3508      TermList
3509      (lambda unrestricted value : (family TermList) . (family DoBodyDecodeResult))
3510      terms
3511      (branch TermListEnd . (constructor DoBodyDecodeResult DoBodyDecodeFailed))
3512      (branch
3513        TermListNext
3514        head
3515        rest
3516        ih_rest
3517        .
3518        (eliminate
3519          TermList
3520          (lambda unrestricted value : (family TermList) . (family DoBodyDecodeResult))
3521          rest
3522          (branch TermListEnd . (decodeDoReturn head))
3523          (branch TermListNext next tail ih_tail . (prependDoStep head ih_rest))))))

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.