Skip to content

Pretty numbers (like 1`000`000)

Let allow to use pretty numbers in code.

Pattern looks like Digit_1 = d

Inner_digit = d|`

Many_digits = Digit_1(Inner_digit)*Digit_1

Digits = Digit_1|Many_digits

This numbers must be valid (and may be add to class Read):

{{{ 100000000000000000 10000000.00000005 0xFFFFFFFFFFFFFFFF 10000e1005 and this: 10000000000000``0000 but not this: 1000``` }}}

Trac metadata
Trac field Value
Version 7.6.3
Type FeatureRequest
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler (Type checker)
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information