Source/Packages

Compiler.IntegerLiteral

packages/compiler/src/Compiler/IntegerLiteral.alpha

903 lines95 declarations31.8 KiBSHA-256 578f5c4899f4

def · lines 869–874

integerLiteralParseEmpty

Full file
The public parser is intentionally continuation-shaped: bytes-eliminate visits source bytes in order, so malformed syntax is observed before any later arithmetic result can be accepted. The radix-specific digit checker is kept as a separate owner for the future lexer bridge.
869def integerLiteralParseEmpty =
870  (lambda unrestricted radix : (family IntegerLiteralRadix) .
871    (lambda unrestricted sign : (family IntegerLiteralSign) .
872      (lambda unrestricted width : (family IntegerLiteralWidth) .
873        (integerLiteralFailureResult
874          (constructor IntegerLiteralFailure IntegerLiteralMissingDigits)))))

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.