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 3991–3999

decodeMatchApplication

Full file
3991def decodeMatchApplication =
3992  (lambda unrestricted familyTerm : (family Term) .
3993    (lambda unrestricted remaining : (family TermList) .
3994      (eliminate
3995        TermSpellingResult
3996        (lambda unrestricted value : (family TermSpellingResult) . (family TermDecodeResult))
3997        (termSpelling familyTerm)
3998        (branch TermSpellingDecoded familyName . (decodeMatchAfterFamily familyName remaining))
3999        (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.