From 022ada35548ef5e0e3b9614f9bb96de9d2137ced Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 10 May 2018 00:04:20 -0400
Subject: - Re-named "Compiler" type to "Lux".

---
 stdlib/source/lux.lux | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'stdlib/source/lux.lux')

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index 6270d0b47..9537f6a9b 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -676,7 +676,7 @@
                          (text$ "Information about the current version and type of compiler that is running.")]
                         default-def-meta-exported))))
 
-## (type: Compiler
+## (type: Lux
 ##   {#info            Info
 ##    #source          Source
 ##    #cursor          Cursor
@@ -689,8 +689,8 @@
 ##    #scope-type-vars (List Nat)
 ##    #extensions      Bottom
 ##    #host            Bottom})
-("lux def" Compiler
- (#Named ["lux" "Compiler"]
+("lux def" Lux
+ (#Named ["lux" "Lux"]
          (#Product ## "lux.info"
           Info
           (#Product ## "lux.source"
@@ -738,12 +738,12 @@
                         default-def-meta-exported))))
 
 ## (type: (Meta a)
-##   (-> Compiler (Either Text [Compiler a])))
+##   (-> Lux (Either Text [Lux a])))
 ("lux def" Meta
  (#Named ["lux" "Meta"]
          (#UnivQ #Nil
-                 (#Function Compiler
-                            (#Apply (#Product Compiler (#Bound +1))
+                 (#Function Lux
+                            (#Apply (#Product Lux (#Bound +1))
                                     (#Apply Text Either)))))
  (record$ (#Cons [(tag$ ["lux" "doc"])
                   (text$ "Computations that can have access to the state of the compiler.
@@ -766,8 +766,8 @@
 ("lux def" return
  ("lux check" (#UnivQ #Nil
                       (#Function (#Bound +1)
-                                 (#Function Compiler
-                                            (#Apply (#Product Compiler
+                                 (#Function Lux
+                                            (#Apply (#Product Lux
                                                               (#Bound +1))
                                                     (#Apply Text Either)))))
   ("lux function" _ val
@@ -778,8 +778,8 @@
 ("lux def" fail
  ("lux check" (#UnivQ #Nil
                       (#Function Text
-                                 (#Function Compiler
-                                            (#Apply (#Product Compiler
+                                 (#Function Lux
+                                            (#Apply (#Product Lux
                                                               (#Bound +1))
                                                     (#Apply Text Either)))))
   ("lux function" _ msg
@@ -4436,7 +4436,7 @@
     (#Some y) (#Some y)))
 
 (def: (find-in-env name state)
-  (-> Text Compiler (Maybe Type))
+  (-> Text Lux (Maybe Type))
   (case state
     {#info info #source    source  #current-module _ #modules modules
      #scopes scopes #type-context types    #host    host
@@ -4459,7 +4459,7 @@
           scopes)))
 
 (def: (find-def-type name state)
-  (-> Ident Compiler (Maybe Type))
+  (-> Ident Lux (Maybe Type))
   (let [[v-prefix v-name] name
         {#info info #source    source  #current-module _ #modules modules
          #scopes scopes #type-context types    #host    host
-- 
cgit v1.2.3