search

dm3 / clojure.java-time

Java 8 Date-Time API for Clojure
MIT License
471 stars 47 forks source link

Instant < Interval breaks transitivity #104

Closed frenchy64 closed 1 year ago

frenchy64 commented 1 year ago

Related https://github.com/dm3/clojure.java-time/pull/69

This should be false.

(let [interval-1-2 (j/interval 1 2)
      interval-3-4 (j/interval 3 4)
      interval-1-3 (j/interval 1 3)
      instant-1 (j/instant 1)
      instant-2 (j/instant 2)
      instant-3 (j/instant 3)]
  (is (not (j/not-after? instant-1 interval-1-3 instant-2 interval-1-3 instant-1))))