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 3909–3924

decodeTermEliminatorBranch

Full file
3909def decodeTermEliminatorBranch =
3910  (lambda unrestricted constructorTerm : (family Term) .
3911    (lambda unrestricted remaining : (family TermList) .
3912      (eliminate
3913        TermSpellingResult
3914        (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
3915        (termSpelling constructorTerm)
3916        (branch
3917          TermSpellingDecoded
3918          constructorName
3919          .
3920          (decodeTermEliminatorBranchMembers
3921            remaining
3922            constructorName
3923            (constructor Term TermSequenceEnd)))
3924        (branch TermHasNoSpelling . familyTermDecodeFailed))))

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.