Tweak hash-order to fall back to datum-order on equal hash codes.

2016-03-10 12:23:12 +00:00 · 2016-03-10 12:23:12 +00:00 · ed2b5fed0e
parent 226e909f2a
commit ed2b5fed0e
1 changed files with 6 additions and 1 deletions
--- a/prospect/hash-order.rkt
+++ b/prospect/hash-order.rkt
@ -9,4 +9,9 @@
  (order 'hash-order
         any/c
         eq?
-         (lambda (a b) (< (eq-hash-code a) (eq-hash-code b)))))
+         (lambda (a b)
+           (define a-code (eq-hash-code a))
+           (define b-code (eq-hash-code b))
+           (or (< a-code b-code)
+               (and (= a-code b-code)
+                    (eq? (datum-order a b) '<))))))