- Re-named "Top" to "Any", and "Bottom" to "Nothing".

- Removed some modules that should have been deleted before.

3 files changed, 8 insertions, 8 deletions

diff --git a/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux
index 164d088df..6f4e43f9d 100644
--- a/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/eval.jvm.lux
@@ -45,10 +45,10 @@
   (getType [] PyType))
 
 (def: (tuple lux-object host-object)
-  (-> (-> PyObject (Error Top)) PyObject (Error Top))
+  (-> (-> PyObject (Error Any)) PyObject (Error Any))
   (let [size (:! Nat (PyObject::__len__ [] host-object))]
     (loop [idx +0
-           output (:! (Array Top) (array.new size))]
+           output (:! (Array Any) (array.new size))]
       (if (n/< size idx)
         (case (PyObject::__getitem__ [(:! Int idx)] host-object)
           (#e.Error error)
@@ -72,7 +72,7 @@
 (def: value-field (PyString::new [//.variant-value-field]))
 
 (def: (variant lux-object host-object)
-  (-> (-> PyObject (Error Top)) PyObject (Error Top))
+  (-> (-> PyObject (Error Any)) PyObject (Error Any))
   (case [(PyObject::__getitem__dict [tag-field] host-object)
          (PyObject::__getitem__dict [flag-field] host-object)
          (PyObject::__getitem__dict [value-field] host-object)]
@@ -85,7 +85,7 @@
             [(lux-object value)
              (#e.Success value)])
     (#e.Success [(Long::intValue [] (:! Long tag))
-                 (: Top
+                 (: Any
                     (case (python-type (:! PyObject flag))
                       "NoneType"
                       (host.null)
@@ -98,7 +98,7 @@
     (ex.throw Not-A-Variant (Object::toString [] host-object))))
 
 (def: (lux-object host-object)
-  (-> PyObject (Error Top))
+  (-> PyObject (Error Any))
   (case (python-type host-object)
     "str"
     (#e.Success (PyObject::asString [] host-object))
@@ -125,7 +125,7 @@
     (ex.throw Unknown-Kind-Of-Host-Object (format type " " (Object::toString [] host-object)))))
 
 (def: #export (eval code)
-  (-> Expression (Meta Top))
+  (-> Expression (Meta Any))
   (function (_ compiler)
     (let [interpreter (|> compiler (get@ #.host) (:! //.Host) (get@ #//.interpreter))]
       (case (interpreter code)
diff --git a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux
index 8167537f5..282d7536e 100644
--- a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux
@@ -426,7 +426,7 @@
 (def: #export artifact Text (format prefix ".py"))
 
 (def: #export translate
-  (Meta (Process Top))
+  (Meta (Process Any))
   (do macro.Monad<Meta>
     [_ //.init-module-buffer
      _ (//.save runtime)]
diff --git a/new-luxc/source/luxc/lang/translation/python/statement.jvm.lux b/new-luxc/source/luxc/lang/translation/python/statement.jvm.lux
index b267f5a64..23b51371c 100644
--- a/new-luxc/source/luxc/lang/translation/python/statement.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/statement.jvm.lux
@@ -11,7 +11,7 @@
       [".T" eval]))
 
 (def: #export (translate-def name expressionT expressionO metaV)
-  (-> Text Type Expression Code (Meta Top))
+  (-> Text Type Expression Code (Meta Any))
   (do macro.Monad<Meta>
     [current-module macro.current-module-name
      #let [def-ident [current-module name]]]