aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
authorEduardo Julian2017-01-26 18:50:34 -0400
committerEduardo Julian2017-01-26 18:50:34 -0400
commitc75abeb76fd77e301ded99ba4b8737f53953b43a (patch)
treeedc15e6f3f0f3cb16041d9c61f95f1e4e2fbea2e /stdlib/test
parent75111332a9d1f3038dd686ca7f7ba75300ea1022 (diff)
- Renamed Bounded to Interval.
Diffstat (limited to 'stdlib/test')
-rw-r--r--stdlib/test/test/lux/data/number.lux16
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>]