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.

---
 new-luxc/source/luxc/lang/translation/php/eval.jvm.lux     | 14 +++++++-------
 new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux  |  2 +-
 .../source/luxc/lang/translation/php/statement.jvm.lux     |  2 +-
 3 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/php')

diff --git a/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux b/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux
index c6ff1a880..48c09c6c0 100644
--- a/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/php/eval.jvm.lux
@@ -60,10 +60,10 @@
   (get [Memory] Memory))
 
 (def: (tuple lux-object host-object)
-  (-> (-> Object (Error Top)) ArrayMemory (Error Top))
+  (-> (-> Object (Error Any)) ArrayMemory (Error Any))
   (let [size (ArrayMemory::size [] host-object)]
     (loop [idx 0
-           output (: (Array Top) (array.new (:! Nat size)))]
+           output (: (Array Any) (array.new (:! Nat size)))]
       (if (i/< size idx)
         (let [value (|> host-object
                         (ArrayMemory::get [(LongMemory::new [idx])])
@@ -78,13 +78,13 @@
         (ex.return output)))))
 
 (def: (variant lux-object host-object)
-  (-> (-> Object (Error Top)) ArrayMemory (Error Top))
+  (-> (-> Object (Error Any)) ArrayMemory (Error Any))
   (do e.Monad<Error>
     [variant-tag (lux-object (ArrayMemory::get [(StringMemory::new [//.variant-tag-field])] host-object))
      variant-value (lux-object (ArrayMemory::get [(StringMemory::new [//.variant-value-field])] host-object))]
-    (wrap (: Top
+    (wrap (: Any
              [(Long::intValue [] (:! Long variant-tag))
-              (: Top
+              (: Any
                  (if (|> host-object
                          (ArrayMemory::get [(StringMemory::new [//.variant-flag-field])])
                          (:! ReferenceMemory)
@@ -95,7 +95,7 @@
               variant-value]))))
 
 (def: (lux-object host-object)
-  (-> Object (Error Top))
+  (-> Object (Error Any))
   (cond (host.instance? php/runtime/memory/FalseMemory host-object)
         (ex.return false)
 
@@ -123,7 +123,7 @@
         (ex.throw Unknown-Kind-Of-Host-Object 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/php/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
index c7262a291..5f9745845 100644
--- a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
@@ -397,7 +397,7 @@
 (def: #export artifact Text (format prefix //.extension))
 
 (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/php/statement.jvm.lux b/new-luxc/source/luxc/lang/translation/php/statement.jvm.lux
index afbf7e476..a20e164ca 100644
--- a/new-luxc/source/luxc/lang/translation/php/statement.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/php/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]]]
-- 
cgit v1.2.3