Some bug fixes.

1 files changed, 3 insertions, 4 deletions

diff --git a/stdlib/source/library/lux/abstract/interval.lux b/stdlib/source/library/lux/abstract/interval.lux
index cea44c57b..4c6060d4d 100644
--- a/stdlib/source/library/lux/abstract/interval.lux
+++ b/stdlib/source/library/lux/abstract/interval.lux
@@ -25,7 +25,6 @@
    (def: top top)))
 
 (def: .public (singleton enum elem)
-  {#.doc (example "An interval where both top and bottom are the same value.")}
   (All [a] (-> (Enum a) a (Interval a)))
   (implementation
    (def: &enum enum)
@@ -76,21 +75,21 @@
 (implementation: .public (union left right)
   (All [a] (-> (Interval a) (Interval a) (Interval a)))
 
-  (def: &enum (get@ #&enum right))
+  (def: &enum (value@ #&enum right))
   (def: bottom (order.min (\ right &order) (\ left bottom) (\ right bottom)))
   (def: top (order.max (\ right &order) (\ left top) (\ right top))))
 
 (implementation: .public (intersection left right)
   (All [a] (-> (Interval a) (Interval a) (Interval a)))
 
-  (def: &enum (get@ #&enum right))
+  (def: &enum (value@ #&enum right))
   (def: bottom (order.max (\ right &order) (\ left bottom) (\ right bottom)))
   (def: top (order.min (\ right &order) (\ left top) (\ right top))))
 
 (implementation: .public (complement interval)
   (All [a] (-> (Interval a) (Interval a)))
 
-  (def: &enum (get@ #&enum interval))
+  (def: &enum (value@ #&enum interval))
   (def: bottom (\ interval succ (\ interval top)))
   (def: top (\ interval pred (\ interval bottom))))