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 3972–3989

decodeMatchAfterFamily

Full file
3972def decodeMatchAfterFamily =
3973  (lambda unrestricted familyName : Bytes .
3974    (lambda unrestricted remaining : (family TermList) .
3975      (eliminate
3976        TermList
3977        (lambda unrestricted value : (family TermList) . (family TermDecodeResult))
3978        remaining
3979        (branch TermListEnd . familyTermDecodeFailed)
3980        (branch
3981          TermListNext
3982          scrutinee
3983          branches
3984          ih_branches
3985          .
3986          (constructor
3987            TermDecodeResult
3988            TermDecoded
3989            (constructor Term Match familyName scrutinee (termListToTermSequence branches)))))))

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.