Preserve numeric-looking atoms as raw bytes for expected-type elaboration.
The lexer already keeps the complete atom spelling, including sign, radix,
and separators; this only distinguishes numeric candidates from names.
2038def integerSpellingTailStartsDigit =
2039 (lambda unrestricted spelling : Bytes .
2040 (bytes-eliminate
2041 (lambda unrestricted remaining : Bytes . Nat)
2042 zero
2043 (lambda unrestricted head : Byte .
2044 (lambda unrestricted tail : Bytes .
2045 (lambda unrestricted ignored : Nat . (isDecimalDigit head))))
2046 spelling))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.