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/extension.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'new-luxc/source/luxc/lang/extension.lux')

diff --git a/new-luxc/source/luxc/lang/extension.lux b/new-luxc/source/luxc/lang/extension.lux
index ef7a4f864..254dd18ca 100644
--- a/new-luxc/source/luxc/lang/extension.lux
+++ b/new-luxc/source/luxc/lang/extension.lux
@@ -27,7 +27,7 @@
 
 (type: #export Analysis
   (-> (-> Code (Meta Code))
-      (-> Type Code (Meta Top))
+      (-> Type Code (Meta Any))
       (List Code) (Meta Code)))
 
 (type: #export Synthesis
@@ -39,7 +39,7 @@
   (-> (List Code) (Meta Code)))
 
 (type: #export Statement
-  (-> (List Code) (Meta Top)))
+  (-> (List Code) (Meta Any)))
 
 (type: #export Extensions
   {#analysis (Dict Text Analysis)
@@ -61,9 +61,9 @@
                  (|> compiler (get@ #.extensions) (:! Extensions))])))
 
 (def: (set extensions)
-  (-> Extensions (Meta Top))
+  (-> Extensions (Meta Any))
   (function (_ compiler)
-    (#e.Success [(set@ #.extensions (:! Bottom extensions) compiler)
+    (#e.Success [(set@ #.extensions (:! Nothing extensions) compiler)
                  []])))
 
 (do-template [<name> <type> <category> <exception>]
@@ -99,7 +99,7 @@
 
 (do-template [<name> <type> <category> <exception>]
   [(def: #export (<name> name extension)
-     (-> Text <type> (Meta Top))
+     (-> Text <type> (Meta Any))
      (do macro.Monad<Meta>
        [extensions ..get
         _ (//.assert <exception> name
-- 
cgit v1.2.3