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 3653–3669

decodeBinderAfterColon

Full file
3653def decodeBinderAfterColon =
3654  (lambda unrestricted formTag : Nat .
3655    (lambda unrestricted quantityTag : Nat .
3656      (lambda unrestricted binderSpelling : Bytes .
3657        (lambda unrestricted remaining : (family TermList) .
3658          (eliminate
3659            TermList
3660            (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3661            remaining
3662            (branch TermListEnd . (binderDecodeFailed binderSyntaxFailureCode))
3663            (branch
3664              TermListNext
3665              domain
3666              afterDomain
3667              ih_afterDomain
3668              .
3669              (decodeBinderAfterDomain formTag quantityTag binderSpelling domain afterDomain)))))))

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.