From c75abeb76fd77e301ded99ba4b8737f53953b43a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 26 Jan 2017 18:50:34 -0400
Subject: - Renamed Bounded to Interval.

---
 stdlib/test/test/lux/data/number.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/test')

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>]
-- 
cgit v1.2.3