From f76922dfef6e88db854a27dc17987ccdc9736d6a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 11 Jul 2018 21:45:38 -0400
Subject: - Removed stale machinery for "lux int min" and  "lux int max".

---
 new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
index 7267494d5..09bc9e7b0 100644
--- a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
@@ -3,7 +3,7 @@
   (lux (control ["p" parser "p/" Monad<Parser>]
                 [monad #+ do])
        (data [bit]
-             [number #+ hex]
+             [number (#+ hex) ("int/" Interval<Int>)]
              text/format
              (coll [list "list/" Monad<List>]))
        [macro]
@@ -169,8 +169,8 @@
 
   [int//zero 0]
   [int//one 1]
-  [int//min ("lux int min")]
-  [int//max ("lux int max")]
+  [int//min int/bottom]
+  [int//max int/top]
   )
 
 (def: #export int64-high (r.nth (r.string //.int-high-field)))
-- 
cgit v1.2.3