search

probcomp / Venturecxx

Primary implementation of the Venture probabilistic programming system
http://probcomp.csail.mit.edu/venture/
GNU General Public License v3.0
28 stars 6 forks source link

Puma VentureValues have inconsistent hash and equals methods #487

Open axch opened 8 years ago

axch commented 8 years ago

As of 97b7fb2e2ed1e94d78aa944eadb8273598f57182, real<1> and integer<1> will compare equal in Puma, but will still hash to distinct values. Sigh.

axch commented 8 years ago

This is stalled on the same design decision as #488, namely what set of equivalence predicates to have around.