]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a935850) | patch
rework some unsafe parts
authorBennet Bleßmann <[email protected]>
Fri, 5 Jul 2024 21:45:02 +0000 (23:45 +0200)
committerBennet Bleßmann <[email protected]>
Fri, 5 Jul 2024 21:45:02 +0000 (23:45 +0200)
commitdd2548453b623de0ee6a5b100c352c5efc1835bb
tree8a53406fdc4f9fe55a83bd199c39277e26c31376tree | snapshot
parenta93585080c7fbf01d62c8e93569aeaa439eef538commit | diff
rework some unsafe parts

- removed some unsafe
- added some safety comments
- add explicit types to transmute calls
- reworked UntypedArenaPtr -> TypedArenaPtr conversion

might help with mthom/scryer-prolog#2438, I noticed fewer complains from miri after changing the default impl for `ArenaAllocated::alloc`
src/arena.rs diff | blob | history
src/machine/machine_indices.rs diff | blob | history
src/machine/streams.rs diff | blob | history
src/macros.rs diff | blob | history
src/types.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust