Closed kamahen closed 1 year ago
PlTerm(term_t) constructor is public, for consistency with PlAtom
The PlTerm(term_t) change simplified some code in rocksdb4pl.cpp
Can add char* interface if needed for performance (unlikely) - the changes only affect error-handling code.
The documentation improvements are incomplete; I still need to do a complete review of the blob and exception sections, but I don't have time to do this right now, and a partial update is better than nothing.
PlTerm(term_t) constructor is public, for consistency with PlAtom
The PlTerm(term_t) change simplified some code in rocksdb4pl.cpp
Can add char* interface if needed for performance (unlikely) - the changes only affect error-handling code.