From 14e96f5e5dad439383d63e60a52169cc2e7aaa5c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 20 May 2018 21:04:03 -0400
Subject: - Re-named "Top" to "Any", and "Bottom" to "Nothing". - Removed some
 modules that should have been deleted before.

---
 .../source/luxc/lang/translation/scheme/eval.jvm.lux   | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/scheme/eval.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/scheme/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/scheme/eval.jvm.lux
index a45af1f00..056bf7599 100644
--- a/new-luxc/source/luxc/lang/translation/scheme/eval.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/scheme/eval.jvm.lux
@@ -59,36 +59,36 @@
 (host.import gnu/mapping/SimpleSymbol)
 
 (def: (parse-tuple lux-object host-object)
-  (-> (-> Object (Error Top)) (FVector Object) (Error Top))
+  (-> (-> Object (Error Any)) (FVector Object) (Error Any))
   (let [size (:! Nat (FVector::getBufferLength [] host-object))]
     (loop [idx +0
-           output (:! (Array Top) (array.new size))]
+           output (:! (Array Any) (array.new size))]
       (if (n/< size idx)
         (case (lux-object (FVector::get [(:! Int idx)] host-object))
           (#e.Error error)
           (#e.Error error)
 
           (#e.Success lux-value)
-          (recur (n/inc idx) (array.write idx (:! Top lux-value) output)))
+          (recur (n/inc idx) (array.write idx (:! Any lux-value) output)))
         (#e.Success output)))))
 
 (def: (variant tag flag value)
-  (-> Nat Bool Top Top)
+  (-> Nat Bool Any Any)
   [(Long::intValue [] (:! Long tag))
-   (: Top
+   (: Any
       (if flag
         //.unit
         (host.null)))
    value])
 
 (def: (to-text value)
-  (-> Top Text)
+  (-> Any Text)
   (let [value-text (:! Text (Object::toString [] (:! Object value)))
         class-text (:! Text (Object::toString [] (Object::getClass [] (:! Object value))))]
     (format value-text " : " class-text)))
 
 (def: (parse-variant lux-object host-object)
-  (-> (-> Object (Error Top)) Pair (Error Top))
+  (-> (-> Object (Error Any)) Pair (Error Any))
   (let [variant-tag (Pair::getCar [] host-object)]
     (if (and (host.instance? gnu/mapping/SimpleSymbol variant-tag)
              (text/= //.variant-tag (Symbol::getName [] (:! Symbol variant-tag))))
@@ -103,7 +103,7 @@
       (ex.throw invalid-variant (:! Text (Object::toString [] (:! Object host-object)))))))
 
 (def: (lux-object host-object)
-  (-> Object (Error Top))
+  (-> Object (Error Any))
   (cond (or (host.instance? java/lang/Boolean host-object)
             (host.instance? java/lang/String host-object))
         (#e.Success host-object)
@@ -132,7 +132,7 @@
           (ex.throw Unknown-Kind-Of-Host-Object (format object-class " --- " text-representation)))))
 
 (def: #export (eval code)
-  (-> Expression (Meta Top))
+  (-> Expression (Meta Any))
   (function (_ compiler)
     (let [interpreter (|> compiler (get@ #.host) (:! //.Host) (get@ #//.interpreter))]
       (case (interpreter code)
-- 
cgit v1.2.3