]> Repositorios git - scryer-prolog.git/commit
remove redundant retraction records for incremental compilation
authorMark Thom <[email protected]>
Mon, 22 Mar 2021 21:27:45 +0000 (15:27 -0600)
committerMark Thom <[email protected]>
Mon, 22 Mar 2021 21:27:45 +0000 (15:27 -0600)
commit0cb731c584c6d9c34a9793e509e964354511c78f
tree74fa0537c9b6bdb6f2bab7499260daa446faa9c3
parent233faea200c1554017f7b662db3b5608d3741d55
remove redundant retraction records for incremental compilation
src/machine/compile.rs
src/machine/loader.rs