diff options
Diffstat (limited to 'stdlib/source/lux.lux')
| -rw-r--r-- | stdlib/source/lux.lux | 24 |
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 |