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 995–1007

parserSourceControlInvalid

Full file
Only ASCII token separators may be control bytes outside payloads.
995def parserSourceControlInvalid =
996  (lambda unrestricted value : Byte .
997    (nat-eliminate
998      (lambda unrestricted low : Nat . Nat)
999      (byte-equal value (byte 127))
1000      (lambda unrestricted predecessor : Nat .
1001        (lambda unrestricted unused : Nat .
1002          (nat-eliminate
1003            (lambda unrestricted whitespace : Nat . Nat)
1004            (succ zero)
1005            (lambda unrestricted predecessor : Nat . (lambda unrestricted unused : Nat . zero))
1006            (Compiler.Lexer/isWhitespace value))))
1007      (byte-less-than value (byte 32))))

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.