diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/number.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/number.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/abstract/number.lux b/stdlib/source/test/lux/abstract/number.lux index 2d726dfed..363621791 100644 --- a/stdlib/source/test/lux/abstract/number.lux +++ b/stdlib/source/test/lux/abstract/number.lux @@ -10,9 +10,9 @@ {1 ["." / (#+ Number) [// - [order (#+ Order)]]]}) + ["." order (#+ Order)]]]}) -(def: #export (spec (^open "/@.") (^open "/@.") gen-sample) +(def: #export (spec (^@ order (^open "/@.")) (^open "/@.") gen-sample) (All [a] (-> (Order a) (Number a) (Random a) Test)) (do r.monad [#let [non-zero (r.filter (function (_ sample) @@ -42,5 +42,5 @@ (/@negate parameter))] (if unsigned? (/@= subject (/@abs subject)) - (/@>= subject (/@abs subject))))) + (order.>= order subject (/@abs subject))))) )))) |