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 3414–3431

chooseDecodedDoStep

Full file
3414def chooseDecodedDoStep =
3415  (lambda unrestricted original : (family Term) .
3416    (lambda unrestricted preferred : (family DoStepDecodeResult) .
3417      (eliminate
3418        DoStepDecodeResult
3419        (lambda unrestricted value : (family DoStepDecodeResult) . (family DoStepDecodeResult))
3420        preferred
3421        (branch DoStepDecoded named quantity binder computation . preferred)
3422        (branch
3423          DoStepDecodeFailed
3424          .
3425          (constructor
3426            DoStepDecodeResult
3427            DoStepDecoded
3428            zero
3429            (succ (succ (succ zero)))
3430            b""
3431            original)))))

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.