]> Repositorios git - scryer-prolog.git/commit
call write_read_term_options if read_term_from_chars/3 succeeds by unifying Term...
authorMark <[email protected]>
Tue, 18 Jul 2023 18:15:20 +0000 (12:15 -0600)
committerMark <[email protected]>
Tue, 18 Jul 2023 18:15:20 +0000 (12:15 -0600)
commit56f677242225e766aef0e925f3d57fac2b4369b6
tree1b9171134c0e93edc705e8aaa20b825177095939
parentdb43d461b9ec70b1868c824966dd8d50b886794e
call write_read_term_options if read_term_from_chars/3 succeeds by unifying Term to end_of_file (#1892)
src/machine/machine_state.rs
src/machine/system_calls.rs