aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux.lux')
-rw-r--r--stdlib/source/lux.lux24
1 files changed, 12 insertions, 12 deletions
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