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 3781–3796

decodeFamilyApplication

Full file
3781def decodeFamilyApplication =
3782  (lambda unrestricted familyTerm : (family Term) .
3783    (lambda unrestricted arguments : (family TermList) .
3784      (eliminate
3785        TermSpellingResult
3786        (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
3787        (termSpelling familyTerm)
3788        (branch
3789          TermSpellingDecoded
3790          familyName
3791          .
3792          (constructor
3793            TermDecodeResult
3794            TermDecoded
3795            (constructor Term FamilyApplication familyName (termListToTermSequence arguments))))
3796        (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.