`[:> Double/MAX_VALUE]` generates `Double/MAX_VALUE`

metosin / malli

High-performance data-driven data specification library for Clojure/Script.

Eclipse Public License 2.0

1.43k stars 204 forks source link

`[:> Double/MAX_VALUE]` generates `Double/MAX_VALUE` #1035

Open frenchy64 opened 2 months ago

frenchy64 commented 2 months ago

(defn shrink [?schema]
  (-> (quick-check 1 (for-all [s (mg/generator ?schema)] false) {:seed 0})
      :shrunk
      :smallest
      first))

(= Double/MAX_VALUE
   (shrink [:> Double/MAX_VALUE])
   (shrink [:>= Double/MAX_VALUE]))
;=> true

(> Double/MAX_VALUE Double/MAX_VALUE)
;=> false
(>= Double/MAX_VALUE Double/MAX_VALUE)
;=> true