Number parsing refactors and minor changes
authorJakob Cornell <jakob+gpg@jcornell.net>
Sun, 1 Oct 2023 18:47:07 +0000 (13:47 -0500)
committerJakob Cornell <jakob+gpg@jcornell.net>
Sun, 1 Oct 2023 18:47:07 +0000 (13:47 -0500)
commit3565d02165d86002bc8d768e1f83a83732db0ce5
treec1cd3e5717b482e29b6b82e9c88bd1b027f28a06
parent4f29b2b9df85e034ba45737f29cf6e86e5416ff9
Number parsing refactors and minor changes

Among other things, this changes the part of Rust number parsing that reprocesses digit groups
non-eagerly; now it slices into the full parts vector rather than copying.
sharedmodel/src/update_parse.rs
strikebot/strikebot/src/strikebot/updates.py