chiark / gitweb /
Bug in conversion from slice
authorSimon Tatham <anakin@pobox.com>
Sun, 13 Apr 2025 07:02:53 +0000 (08:02 +0100)
committerSimon Tatham <anakin@pobox.com>
Sun, 13 Apr 2025 07:02:53 +0000 (08:02 +0100)
commit8500dfae515ec4c90ece03b695d6c81ed90893f5
tree6f96ec14228fb3d0b3b759404a9cca08fb061c24
parent3d042562c6321e134c71c1948bc8e4ed1c717c86
Bug in conversion from slice

I forgot the analogue of truncating the Vec. But here we can truncate
while it's still in cheap slice form, before making a Vec at all.
src/finitenimber.rs