]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b19ae8) | patch
cleanup the slab types
authorBennet Bleßmann <[email protected]>
Sun, 7 Jul 2024 13:47:50 +0000 (15:47 +0200)
committerBennet Bleßmann <[email protected]>
Sun, 7 Jul 2024 15:12:52 +0000 (17:12 +0200)
commit689632b51ca32c0ec163c91ef1ab24301c77ee16
tree0c0b13cb3689ee5c66be9448dd598112064992eftree | snapshot
parent1b19ae81d5c3dff3806f9fa7404a0ce0a195fe04commit | diff
cleanup the slab types

- get rid of HeaderOrIdxPtr
- add IndexPtrSlab
- add UntypedArenaSlab
- add to_untyped for converting a typed slab into an unsyped slab
- remove TypedArenaPtr::new, as they shouldn't be created outside of this module
src/arena.rs diff | blob | history
src/types.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust