AlphaGitHub
Source/Packages

Compiler.Lexer

packages/compiler/src/Compiler/Lexer.alpha

219 lines31 declarations7.5 KiBSHA-256 62071dc752e3
Download exact fileView at revisionf5034773ad4bb52133

def · lines 96–105

lexSource

Full file
96def lexSource =
97  (lambda unrestricted input : Bytes .
98    (bytes-eliminate
99      (lambda unrestricted remaining : Bytes . (family LexedBytes))
100      (constructor LexedBytes LexEnd)
101      (lambda unrestricted head : Byte .
102        (lambda unrestricted tail : Bytes .
103          (lambda unrestricted lexedTail : (family LexedBytes) .
104            (constructor LexedBytes LexByte (classifyByte head) head lexedTail))))
105      input))

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.