tree 646eea618bb784a1a74bfd8515976e078ff6503a
parent 08b8a139c9e8adcb4ec12a8a17e5836b8b5acb63
author Tom Tromey <tom@tromey.com> 1653750527 -0600
committer Tom Tromey <tom@tromey.com> 1659039410 -0600

Change registry to use less memory

The registry code creates "registry_data" objects that hold the free
function and the index; then the registry keys refer to this object.
However, only the index is really useful, and now that registries have
a private implementation, just the index can be stored and we can
reduce the memory use of registries a little bit.  This also
simplifies the code somewhat.