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 4182–4205

decodeRecordProjection

Full file
4182def decodeRecordProjection =
4183  (lambda unrestricted familyTerm : (family Term) .
4184    (lambda unrestricted remaining : (family TermList) .
4185      (eliminate
4186        TermSpellingResult
4187        (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
4188        (termSpelling familyTerm)
4189        (branch
4190          TermSpellingDecoded
4191          familyName
4192          .
4193          (eliminate
4194            TermList
4195            (lambda unrestricted terms : (family TermList) . (family TermDecodeResult))
4196            remaining
4197            (branch TermListEnd . familyTermDecodeFailed)
4198            (branch
4199              TermListNext
4200              fieldTerm
4201              tail
4202              ih_tail
4203              .
4204              (decodeRecordProjectionField familyName fieldTerm tail))))
4205        (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.