Dedupe vm constants - #726

Closed

rben01 wants to merge 10 commits into

sharkdp:masterfrom

rben01:dedupe-vm-constants

Commits on Apr 7, 2025

Deduplicate VM constants
triallax
committed
6083b58

Commits on May 15, 2025

Store `Constant`s in an `IndexSet` for deduplication and fast lookup
rben01
committed
7327021
Put `Constant::Dummy`’s value behind a newtype to prevent ad-hoc construction, instead *requiring* `new_dummy` to construct a Dummy
rben01
committed
344d1e9
Simplify implementation of `Constant` by making `Scalar` store a `Number`
rben01
committed
706c792
Simplify implementation of dummies, obviating global static counter
rben01
committed
07c09b0
Remove pointless existence check when adding dummy constant (we know it can't already exist)
rben01
committed
492442d
Updated comments
rben01
committed
9597459
Correctly modify existing element in IndexSet, preventing issue where constants might not be found
rben01
committed
0121dba

Commits on May 17, 2025

Use index returned by insert_full instead of assuming it will always be the last index
rben01
committed
593b997

Commits on Jul 12, 2025

Fix hashability of Number
rben01
committed
7166215