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

- Removed some modules that should have been deleted before.

7 files changed, 14 insertions, 14 deletions

diff --git a/stdlib/source/lux/control/concatenative.lux b/stdlib/source/lux/control/concatenative.lux
index 1af41bbdb..2b91cac0e 100644
--- a/stdlib/source/lux/control/concatenative.lux
+++ b/stdlib/source/lux/control/concatenative.lux
@@ -86,10 +86,10 @@
                            (-> (~ (de-alias inputC))
                                (~ (de-alias outputC))))))))))))
 
-(def: begin! Top [])
+(def: begin! Any [])
 
 (def: end!
-  (All [a] (-> [Top a] a))
+  (All [a] (-> [Any a] a))
   (function (_ [_ top])
     top))
 
diff --git a/stdlib/source/lux/control/parser.lux b/stdlib/source/lux/control/parser.lux
index 88f2eb20d..14c6c3313 100644
--- a/stdlib/source/lux/control/parser.lux
+++ b/stdlib/source/lux/control/parser.lux
@@ -59,7 +59,7 @@
 ## [Parsers]
 (def: #export (assert message test)
   {#.doc "Fails with the given message if the test is false."}
-  (All [s] (-> Text Bool (Parser s Top)))
+  (All [s] (-> Text Bool (Parser s Any)))
   (function (_ input)
     (if test
       (#e.Success [input []])
@@ -192,7 +192,7 @@
       )))
 
 (def: #export (not p)
-  (All [s a] (-> (Parser s a) (Parser s Top)))
+  (All [s a] (-> (Parser s a) (Parser s Any)))
   (function (_ input)
     (case (p input)
       (#e.Error msg)
diff --git a/stdlib/source/lux/control/pipe.lux b/stdlib/source/lux/control/pipe.lux
index 19d67ce7d..4cbfe3504 100644
--- a/stdlib/source/lux/control/pipe.lux
+++ b/stdlib/source/lux/control/pipe.lux
@@ -35,7 +35,7 @@
                    (~ body))))))
 
 (def: _reverse_
-  (Syntax Top)
+  (Syntax Any)
   (function (_ tokens)
     (#e.Success [(list.reverse tokens) []])))
 
diff --git a/stdlib/source/lux/control/region.lux b/stdlib/source/lux/control/region.lux
index e26a23ab9..7397d9781 100644
--- a/stdlib/source/lux/control/region.lux
+++ b/stdlib/source/lux/control/region.lux
@@ -9,7 +9,7 @@
              (coll [list "list/" Fold<List>]))))
 
 (type: (Cleaner r m)
-  (-> r (m (Error Top))))
+  (-> r (m (Error Any))))
 
 (type: #export (Region r m a)
   (-> [r (List (Cleaner r m))]
@@ -36,7 +36,7 @@
                     error|output))))
 
 (def: (combine-outcomes clean-up output)
-  (All [a] (-> (Error Top) (Error a) (Error a)))
+  (All [a] (-> (Error Any) (Error a) (Error a)))
   (case clean-up
     (#e.Success _)
     output
@@ -55,7 +55,7 @@
     (wrap (list/fold combine-outcomes output results))))
 
 (def: #export (acquire Monad<m> cleaner value)
-  (All [m a] (-> (Monad m) (-> a (m (Error Top))) a
+  (All [m a] (-> (Monad m) (-> a (m (Error Any))) a
                  (All [r] (Region r m a))))
   (function (_ [region cleaners])
     (:: Monad<m> wrap [(#.Cons (function (_ region) (cleaner value))
diff --git a/stdlib/source/lux/control/state.lux b/stdlib/source/lux/control/state.lux
index ab69ed9fe..296147e6b 100644
--- a/stdlib/source/lux/control/state.lux
+++ b/stdlib/source/lux/control/state.lux
@@ -52,13 +52,13 @@
 
 (def: #export (put new-state)
   {#.doc "Set the new state."}
-  (All [s] (-> s (State s Top)))
+  (All [s] (-> s (State s Any)))
   (function (_ state)
     [new-state []]))
 
 (def: #export (update change)
   {#.doc "Compute the new state."}
-  (All [s] (-> (-> s s) (State s Top)))
+  (All [s] (-> (-> s s) (State s Any)))
   (function (_ state)
     [(change state) []]))
 
@@ -134,7 +134,7 @@
       (wrap [state a]))))
 
 (def: #export (while condition body)
-  (All [s] (-> (State s Bool) (State s Top) (State s Top)))
+  (All [s] (-> (State s Bool) (State s Any) (State s Any)))
   (do Monad<State>
     [execute? condition]
     (if execute?
@@ -144,7 +144,7 @@
       (wrap []))))
 
 (def: #export (do-while condition body)
-  (All [s] (-> (State s Bool) (State s Top) (State s Top)))
+  (All [s] (-> (State s Bool) (State s Any) (State s Any)))
   (do Monad<State>
     [_ body]
     (while condition body)))
diff --git a/stdlib/source/lux/control/thread.lux b/stdlib/source/lux/control/thread.lux
index e44869043..7d46f3707 100644
--- a/stdlib/source/lux/control/thread.lux
+++ b/stdlib/source/lux/control/thread.lux
@@ -23,7 +23,7 @@
     ("lux box read" box)))
 
 (def: #export (write value box)
-  (All [a] (-> a (All [!] (-> (Box ! a) (Thread ! Top)))))
+  (All [a] (-> a (All [!] (-> (Box ! a) (Thread ! Any)))))
   (function (_ !)
     ("lux box write" value box)))
 
diff --git a/stdlib/source/lux/control/writer.lux b/stdlib/source/lux/control/writer.lux
index 7f23e2750..3dcf64cc3 100644
--- a/stdlib/source/lux/control/writer.lux
+++ b/stdlib/source/lux/control/writer.lux
@@ -44,7 +44,7 @@
 
 (def: #export (log l)
   {#.doc "Set the log to a particular value."}
-  (All [l] (-> l (Writer l Top)))
+  (All [l] (-> l (Writer l Any)))
   [l []])
 
 (struct: #export (WriterT Monoid<l> Monad<M>)