]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c548b14) | patch
Add debug asserts to UntypedArenaPtr::build_with, ::get_tag and raw_ptr_as_cell!
authorEmilie Burgun <[email protected]>
Fri, 31 Jan 2025 14:12:54 +0000 (15:12 +0100)
committerEmilie Burgun <[email protected]>
Fri, 31 Jan 2025 14:15:52 +0000 (15:15 +0100)
commit079a69396a85e568bba7fe563bd3c1d776145bdf
treee70f286ed52f1a3b9279b195cc783b0804601bc1tree | snapshot
parentc548b14f5028c0e6601575ca4d3ac5bfa67663f4commit | diff
Add debug asserts to UntypedArenaPtr::build_with, ::get_tag and raw_ptr_as_cell!

These two functions are pretty unsafe, but having these assertions makes
it easier to catch UB in testing.
src/macros.rs diff | blob | history
src/types.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust