]> Witch of Git - mukan/commit
projects / mukan / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 6928f8c) | patch
Derive Eq for Term for performance
authorCassie Jones <code@witchoflight.com>
Mon, 17 Feb 2020 13:15:59 +0000 (14:15 +0100)
committerCassie Jones <code@witchoflight.com>
Mon, 17 Feb 2020 13:19:59 +0000 (14:19 +0100)
commitb96aea44193617158428d3e4c8dc04bbee7cae1f
tree5978cf53f0d1ee01731b31def554c7256f7e1b70tree | snapshot
parent6928f8cf8a6384e310de34e470bcd266d8ce29d7commit | diff
Derive Eq for Term for performance

Eq requires reflexivity, Arc<T: Eq> uses that fact to optimize the
equality check by first comparing the pointers. Unifying deep trees that
might use sharing, this could potentially give a performance benefit by
getting an early out in a deep tree.
src/term.rs diff | blob | history
A Rust implementation of MicroKanren.