Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature: Digit separators in numeric literals #10343

Merged
merged 11 commits into from
Jan 28, 2024
+917 −448
Merged

Feature: Digit separators in numeric literals #10343

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
a4b88f9
add digit separators for integers
Maxxen Nov 14, 2022
d08a56f
add digit separators to decimal/floats
Maxxen Nov 14, 2022
dd89678
add digit separator to large reals
Maxxen Nov 14, 2022
b17060c
Merge branch 'master' into feature/digit-separator
Maxxen Nov 14, 2022
9c2370b
made digit separators available in exponents
Maxxen Nov 16, 2022
9e5e64b
merge
Maxxen May 3, 2023
c4f95da
wip
Maxxen May 3, 2023
4e830ee
merge with main, dissalow multiple underscores in a row, add support …
Maxxen Jan 25, 2024
2b55db2
fix decimal width widening with underscores
Maxxen Jan 25, 2024
fe0ee10
Merge branch 'main' into feat/digit-separator
Maxxen Jan 26, 2024
975d642
remove comment
Maxxen Jan 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into feat/digit-separator
  • Loading branch information
@Maxxen
Maxxen committed Jan 26, 2024
commit fe0ee102ac9357c0576afcfdeb6706529e863a7c

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.