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 4260–4274

decodeMatchVariableHead

Full file
4260def decodeMatchVariableHead =
4261  (lambda unrestricted spelling : Bytes .
4262    (lambda unrestricted functionTerm : (family Term) .
4263      (lambda unrestricted familyTerm : (family Term) .
4264        (lambda unrestricted remaining : (family TermList) .
4265          (chooseNamedDecode
4266            (bytesEqual spelling matchSpelling)
4267            (lambda unrestricted force : Nat . (decodeMatchApplication familyTerm remaining))
4268            (lambda unrestricted force : Nat .
4269              (chooseNamedDecode
4270                (bytesEqual spelling matchWithSpelling)
4271                (lambda unrestricted force : Nat .
4272                  (decodeMatchWithApplication familyTerm remaining))
4273                (lambda unrestricted force : Nat .
4274                  (decodeRecordVariableHead spelling functionTerm familyTerm remaining)))))))))

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.