diff options
author | Eduardo Julian | 2017-01-26 18:50:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-01-26 18:50:34 -0400 |
commit | c75abeb76fd77e301ded99ba4b8737f53953b43a (patch) | |
tree | edc15e6f3f0f3cb16041d9c61f95f1e4e2fbea2e /stdlib/test | |
parent | 75111332a9d1f3038dd686ca7f7ba75300ea1022 (diff) |
- Renamed Bounded to Interval.
Diffstat (limited to 'stdlib/test')
-rw-r--r-- | stdlib/test/test/lux/data/number.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux index 4de7d4c14..3ac5f0bf3 100644 --- a/stdlib/test/test/lux/data/number.lux +++ b/stdlib/test/test/lux/data/number.lux @@ -68,18 +68,18 @@ ["Int" R;int Enum<Int> Number<Int>] ) -(do-template [category rand-gen <Number> <Bounded> <test>] - [(test: (format "[" category "] " "Bounded") +(do-template [category rand-gen <Number> <Interval> <test>] + [(test: (format "[" category "] " "Interval") [x (|> rand-gen (R;filter <test>)) #let [(^open) <Number>]] - (assert "" (and (<= x (:: <Bounded> bottom)) - (>= x (:: <Bounded> top)))))] + (assert "" (and (<= x (:: <Interval> bottom)) + (>= x (:: <Interval> top)))))] - ["Nat" R;nat Number<Nat> Bounded<Nat> (lambda [_] true)] - ["Int" R;int Number<Int> Bounded<Int> (lambda [_] true)] + ["Nat" R;nat Number<Nat> Interval<Nat> (lambda [_] true)] + ["Int" R;int Number<Int> Interval<Int> (lambda [_] true)] ## Both min and max values will be positive (thus, greater than zero) - ["Real" R;real Number<Real> Bounded<Real> (r.> 0.0)] - ["Deg" R;deg Number<Deg> Bounded<Deg> (lambda [_] true)] + ["Real" R;real Number<Real> Interval<Real> (r.> 0.0)] + ["Deg" R;deg Number<Deg> Interval<Deg> (lambda [_] true)] ) (do-template [category rand-gen <Number> <Monoid> <cap> <test>] |