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 4117–4137

decodeRecordConstruction

Full file
4117def decodeRecordConstruction =
4118  (lambda unrestricted familyTerm : (family Term) .
4119    (lambda unrestricted bindings : (family TermList) .
4120      (eliminate
4121        TermSpellingResult
4122        (lambda unrestricted result : (family TermSpellingResult) . (family TermDecodeResult))
4123        (termSpelling familyTerm)
4124        (branch
4125          TermSpellingDecoded
4126          familyName
4127          .
4128          (constructor
4129            TermDecodeResult
4130            TermDecoded
4131            (constructor
4132              Term
4133              RecordConstruction
4134              familyName
4135              (constructor SyntaxOrigin SyntaxOriginUnknown)
4136              (termListToTermSequence bindings))))
4137        (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.