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 3180–3198

decodeLocalLetAfterIn

Full file
3180def decodeLocalLetAfterIn =
3181  (lambda unrestricted terms : (family TermList) .
3182    (eliminate
3183      TermList
3184      (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3185      terms
3186      (branch TermListEnd . localLetSyntaxFailure)
3187      (branch
3188        TermListNext
3189        body
3190        rest
3191        ih_rest
3192        .
3193        (eliminate
3194          TermList
3195          (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3196          rest
3197          (branch TermListEnd . (constructor TermDecodeResult TermDecoded body))
3198          (branch TermListNext extra tail ih_tail . localLetSyntaxFailure)))))

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.