aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/compiler/default.lux (renamed from stdlib/source/lux/language.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/cache.lux (renamed from stdlib/source/lux/language/compiler/default/cache.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/init.lux (renamed from stdlib/source/lux/language/compiler/init.lux)7
-rw-r--r--stdlib/source/lux/compiler/default/name.lux (renamed from stdlib/source/lux/language/name.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase.lux (renamed from stdlib/source/lux/language/compiler.lux)10
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis.lux (renamed from stdlib/source/lux/language/compiler/analysis.lux)34
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/case.lux (renamed from stdlib/source/lux/language/compiler/analysis/case.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/case/coverage.lux (renamed from stdlib/source/lux/language/compiler/analysis/case/coverage.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/expression.lux (renamed from stdlib/source/lux/language/compiler/analysis/expression.lux)12
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/function.lux (renamed from stdlib/source/lux/language/compiler/analysis/function.lux)6
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/inference.lux (renamed from stdlib/source/lux/language/compiler/analysis/inference.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/module.lux (renamed from stdlib/source/lux/language/compiler/analysis/module.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/primitive.lux (renamed from stdlib/source/lux/language/compiler/analysis/primitive.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/reference.lux (renamed from stdlib/source/lux/language/compiler/analysis/reference.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/scope.lux (renamed from stdlib/source/lux/language/compiler/analysis/scope.lux)2
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/structure.lux (renamed from stdlib/source/lux/language/compiler/analysis/structure.lux)12
-rw-r--r--stdlib/source/lux/compiler/default/phase/analysis/type.lux (renamed from stdlib/source/lux/language/compiler/analysis/type.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension.lux (renamed from stdlib/source/lux/language/compiler/extension.lux)14
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension/analysis.lux (renamed from stdlib/source/lux/language/compiler/extension/analysis.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux (renamed from stdlib/source/lux/language/compiler/extension/analysis/common.lux)1
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension/analysis/host.jvm.lux (renamed from stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension/bundle.lux (renamed from stdlib/source/lux/language/compiler/extension/bundle.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension/synthesis.lux (renamed from stdlib/source/lux/language/compiler/extension/synthesis.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/extension/translation.lux (renamed from stdlib/source/lux/language/compiler/extension/translation.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/synthesis.lux (renamed from stdlib/source/lux/language/compiler/synthesis.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/synthesis/case.lux (renamed from stdlib/source/lux/language/compiler/synthesis/case.lux)6
-rw-r--r--stdlib/source/lux/compiler/default/phase/synthesis/expression.lux (renamed from stdlib/source/lux/language/compiler/synthesis/expression.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/synthesis/function.lux (renamed from stdlib/source/lux/language/compiler/synthesis/function.lux)20
-rw-r--r--stdlib/source/lux/compiler/default/phase/synthesis/loop.lux (renamed from stdlib/source/lux/language/compiler/synthesis/loop.lux)10
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation.lux (renamed from stdlib/source/lux/language/compiler/translation.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux)19
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/expression.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/extension.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/extension/common.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/extension/host.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/extension/host.jvm.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/function.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux)11
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/loop.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux)8
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/primitive.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux)13
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/reference.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux)4
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/runtime.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux)6
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/structure.jvm.lux (renamed from stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux)8
-rw-r--r--stdlib/source/lux/compiler/default/reference.lux (renamed from stdlib/source/lux/language/reference.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/repl/type.lux (renamed from stdlib/source/lux/language/compiler/default/repl/type.lux)0
-rw-r--r--stdlib/source/lux/compiler/default/syntax.lux (renamed from stdlib/source/lux/language/syntax.lux)0
-rw-r--r--stdlib/source/lux/compiler/host.lux (renamed from stdlib/source/lux/language/host.lux)0
-rw-r--r--stdlib/source/lux/compiler/host/scheme.lux (renamed from stdlib/source/lux/language/host/scheme.lux)0
-rw-r--r--stdlib/source/lux/compiler/meta/archive.lux (renamed from stdlib/source/lux/language/compiler/meta/archive.lux)5
-rw-r--r--stdlib/source/lux/compiler/meta/cache.lux (renamed from stdlib/source/lux/language/compiler/meta/cache.lux)0
-rw-r--r--stdlib/source/lux/compiler/meta/cache/dependency.lux (renamed from stdlib/source/lux/language/compiler/meta/cache/dependency.lux)0
-rw-r--r--stdlib/source/lux/compiler/meta/io.lux (renamed from stdlib/source/lux/language/compiler/meta/io.lux)0
-rw-r--r--stdlib/source/lux/compiler/meta/io/archive.lux (renamed from stdlib/source/lux/language/compiler/meta/io/archive.lux)23
-rw-r--r--stdlib/source/lux/compiler/meta/io/context.lux (renamed from stdlib/source/lux/language/compiler/meta/io/context.lux)2
-rw-r--r--stdlib/source/lux/data/text.lux4
-rw-r--r--stdlib/source/lux/data/text/buffer.lux2
-rw-r--r--stdlib/source/lux/data/text/encoding.lux2
-rw-r--r--stdlib/source/lux/world/file.lux5
56 files changed, 142 insertions, 132 deletions
diff --git a/stdlib/source/lux/language.lux b/stdlib/source/lux/compiler/default.lux
index bc6e2c9ec..bc6e2c9ec 100644
--- a/stdlib/source/lux/language.lux
+++ b/stdlib/source/lux/compiler/default.lux
diff --git a/stdlib/source/lux/language/compiler/default/cache.lux b/stdlib/source/lux/compiler/default/cache.lux
index d8f841e13..d8f841e13 100644
--- a/stdlib/source/lux/language/compiler/default/cache.lux
+++ b/stdlib/source/lux/compiler/default/cache.lux
diff --git a/stdlib/source/lux/language/compiler/init.lux b/stdlib/source/lux/compiler/default/init.lux
index 648211ca7..cac69ab89 100644
--- a/stdlib/source/lux/language/compiler/init.lux
+++ b/stdlib/source/lux/compiler/default/init.lux
@@ -1,7 +1,8 @@
(.module:
lux
- ["." ///
- ["." host]])
+ ["." //
+ [//
+ ["." host]]])
(def: #export (cursor file)
(-> Text Cursor)
@@ -32,7 +33,7 @@
(~~ (static host.r)) host.r
(~~ (static host.ruby)) host.ruby
(~~ (static host.scheme)) host.scheme})
- #.version ///.version
+ #.version //.version
#.mode #.Build}))
(def: #export (compiler host)
diff --git a/stdlib/source/lux/language/name.lux b/stdlib/source/lux/compiler/default/name.lux
index f6489b89c..f6489b89c 100644
--- a/stdlib/source/lux/language/name.lux
+++ b/stdlib/source/lux/compiler/default/name.lux
diff --git a/stdlib/source/lux/language/compiler.lux b/stdlib/source/lux/compiler/default/phase.lux
index 03dd30e2a..24bba1229 100644
--- a/stdlib/source/lux/language/compiler.lux
+++ b/stdlib/source/lux/compiler/default/phase.lux
@@ -18,7 +18,7 @@
(def: #export Monad<Operation>
(state.Monad<State'> error.Monad<Error>))
-(type: #export (Compiler s i o)
+(type: #export (Phase s i o)
(-> i (Operation s o)))
(def: #export (run' state operation)
@@ -53,15 +53,15 @@
action))
(def: #export identity
- (All [s a] (Compiler s a a))
+ (All [s a] (Phase s a a))
(function (_ input state)
(#error.Success [state input])))
(def: #export (compose pre post)
(All [s0 s1 i t o]
- (-> (Compiler s0 i t)
- (Compiler s1 t o)
- (Compiler [s0 s1] i o)))
+ (-> (Phase s0 i t)
+ (Phase s1 t o)
+ (Phase [s0 s1] i o)))
(function (_ input [pre/state post/state])
(do error.Monad<Error>
[[pre/state' temp] (pre input pre/state)
diff --git a/stdlib/source/lux/language/compiler/analysis.lux b/stdlib/source/lux/compiler/default/phase/analysis.lux
index 4b8a19c66..182e3c321 100644
--- a/stdlib/source/lux/language/compiler/analysis.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis.lux
@@ -54,8 +54,8 @@
(type: #export Operation
(extension.Operation .Lux Code Analysis))
-(type: #export Compiler
- (extension.Compiler .Lux Code Analysis))
+(type: #export Phase
+ (extension.Phase .Lux Code Analysis))
(type: #export Handler
(extension.Handler .Lux .Code Analysis))
@@ -226,14 +226,14 @@
(def: #export (with-source-code source action)
(All [a] (-> Source (Operation a) (Operation a)))
- (function (_ [bundle compiler])
- (let [old-source (get@ #.source compiler)]
- (case (action [bundle (set@ #.source source compiler)])
+ (function (_ [bundle state])
+ (let [old-source (get@ #.source state)]
+ (case (action [bundle (set@ #.source source state)])
(#error.Error error)
(#error.Error error)
- (#error.Success [[bundle' compiler'] output])
- (#error.Success [[bundle' (set@ #.source old-source compiler')]
+ (#error.Success [[bundle' state'] output])
+ (#error.Success [[bundle' (set@ #.source old-source state')]
output])))))
(def: fresh-bindings
@@ -250,15 +250,15 @@
(def: #export (with-scope action)
(All [a] (-> (Operation a) (Operation [Scope a])))
- (function (_ [bundle compiler])
- (case (action [bundle (update@ #.scopes (|>> (#.Cons fresh-scope)) compiler)])
- (#error.Success [[bundle' compiler'] output])
- (case (get@ #.scopes compiler')
+ (function (_ [bundle state])
+ (case (action [bundle (update@ #.scopes (|>> (#.Cons fresh-scope)) state)])
+ (#error.Success [[bundle' state'] output])
+ (case (get@ #.scopes state')
#.Nil
(#error.Error "Impossible error: Drained scopes!")
(#.Cons head tail)
- (#error.Success [[bundle' (set@ #.scopes tail compiler')]
+ (#error.Success [[bundle' (set@ #.scopes tail state')]
[head output]]))
(#error.Error error)
@@ -274,11 +274,11 @@
(All [a] (-> Cursor (Operation a) (Operation a)))
(if (text/= "" (product.left cursor))
action
- (function (_ [bundle compiler])
- (let [old-cursor (get@ #.cursor compiler)]
- (case (action [bundle (set@ #.cursor cursor compiler)])
- (#error.Success [[bundle' compiler'] output])
- (#error.Success [[bundle' (set@ #.cursor old-cursor compiler')]
+ (function (_ [bundle state])
+ (let [old-cursor (get@ #.cursor state)]
+ (case (action [bundle (set@ #.cursor cursor state)])
+ (#error.Success [[bundle' state'] output])
+ (#error.Success [[bundle' (set@ #.cursor old-cursor state')]
output])
(#error.Error error)
diff --git a/stdlib/source/lux/language/compiler/analysis/case.lux b/stdlib/source/lux/compiler/default/phase/analysis/case.lux
index 841173629..e523d86a9 100644
--- a/stdlib/source/lux/language/compiler/analysis/case.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/case.lux
@@ -15,7 +15,7 @@
["." check]]
["." macro
["." code]]]
- ["." // (#+ Pattern Analysis Operation Compiler)
+ ["." // (#+ Pattern Analysis Operation Phase)
["." scope]
["//." type]
["." structure]
@@ -270,7 +270,7 @@
))
(def: #export (case analyse inputC branches)
- (-> Compiler Code (List [Code Code]) (Operation Analysis))
+ (-> Phase Code (List [Code Code]) (Operation Analysis))
(.case branches
#.Nil
(///.throw cannot-have-empty-branches "")
diff --git a/stdlib/source/lux/language/compiler/analysis/case/coverage.lux b/stdlib/source/lux/compiler/default/phase/analysis/case/coverage.lux
index 24ded5476..24ded5476 100644
--- a/stdlib/source/lux/language/compiler/analysis/case/coverage.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/case/coverage.lux
diff --git a/stdlib/source/lux/language/compiler/analysis/expression.lux b/stdlib/source/lux/compiler/default/phase/analysis/expression.lux
index 1c74499ad..dd27c87e6 100644
--- a/stdlib/source/lux/language/compiler/analysis/expression.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/expression.lux
@@ -8,7 +8,7 @@
[text
format]]
["." macro]]
- ["." // (#+ Analysis Operation Compiler)
+ ["." // (#+ Analysis Operation Phase)
["." type]
["." primitive]
["." structure]
@@ -31,12 +31,12 @@
)
(def: #export (analyser eval)
- (-> Eval Compiler)
+ (-> Eval Phase)
(function (compile code)
(do ///.Monad<Operation>
[expectedT (extension.lift macro.expected-type)]
(let [[cursor code'] code]
- ## The cursor must be set in the compiler for the sake
+ ## The cursor must be set in the state for the sake
## of having useful error messages.
(//.with-cursor cursor
(case code'
@@ -96,10 +96,10 @@
## (#.Some macro)
## (do @
## [expansion (: (Operation (List Code))
- ## (function (_ compiler)
- ## (case (macroL.expand macro args compiler)
+ ## (function (_ state)
+ ## (case (macroL.expand macro args state)
## (#e.Error error)
- ## ((///.throw macro-expansion-failed error) compiler)
+ ## ((///.throw macro-expansion-failed error) state)
## output
## output)))]
diff --git a/stdlib/source/lux/language/compiler/analysis/function.lux b/stdlib/source/lux/compiler/default/phase/analysis/function.lux
index d12880afa..13a377df3 100644
--- a/stdlib/source/lux/language/compiler/analysis/function.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/function.lux
@@ -12,7 +12,7 @@
["." type
["." check]]
["." macro]]
- ["." // (#+ Analysis Operation Compiler)
+ ["." // (#+ Analysis Operation Phase)
["." scope]
["//." type]
["." inference]
@@ -34,7 +34,7 @@
(text.join-with ""))]))
(def: #export (function analyse function-name arg-name body)
- (-> Compiler Text Text Code (Operation Analysis))
+ (-> Phase Text Text Code (Operation Analysis))
(do ///.Monad<Operation>
[functionT (extension.lift macro.expected-type)]
(loop [expectedT functionT]
@@ -95,7 +95,7 @@
)))))
(def: #export (apply analyse functionT functionA argsC+)
- (-> Compiler Type Analysis (List Code) (Operation Analysis))
+ (-> Phase Type Analysis (List Code) (Operation Analysis))
(<| (///.with-stack cannot-apply [functionT argsC+])
(do ///.Monad<Operation>
[[applyT argsA+] (inference.general analyse functionT argsC+)])
diff --git a/stdlib/source/lux/language/compiler/analysis/inference.lux b/stdlib/source/lux/compiler/default/phase/analysis/inference.lux
index 160978d39..91e28a4ca 100644
--- a/stdlib/source/lux/language/compiler/analysis/inference.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/inference.lux
@@ -14,7 +14,7 @@
["." macro]]
["." /// ("operation/." Monad<Operation>)
["." extension]]
- [// (#+ Tag Analysis Operation Compiler)]
+ [// (#+ Tag Analysis Operation Phase)]
["." //type])
(exception: #export (variant-tag-out-of-bounds {size Nat} {tag Tag} {type Type})
@@ -97,7 +97,7 @@
## But, so long as the type being used for the inference can be treated
## as a function type, this method of inference should work.
(def: #export (general analyse inferT args)
- (-> Compiler Type (List Code) (Operation [Type (List Analysis)]))
+ (-> Phase Type (List Code) (Operation [Type (List Analysis)]))
(case args
#.Nil
(do ///.Monad<Operation>
diff --git a/stdlib/source/lux/language/compiler/analysis/module.lux b/stdlib/source/lux/compiler/default/phase/analysis/module.lux
index adc442c1f..adc442c1f 100644
--- a/stdlib/source/lux/language/compiler/analysis/module.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/module.lux
diff --git a/stdlib/source/lux/language/compiler/analysis/primitive.lux b/stdlib/source/lux/compiler/default/phase/analysis/primitive.lux
index bd42825d3..bd42825d3 100644
--- a/stdlib/source/lux/language/compiler/analysis/primitive.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/primitive.lux
diff --git a/stdlib/source/lux/language/compiler/analysis/reference.lux b/stdlib/source/lux/compiler/default/phase/analysis/reference.lux
index bb78a32fb..bb78a32fb 100644
--- a/stdlib/source/lux/language/compiler/analysis/reference.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/reference.lux
diff --git a/stdlib/source/lux/language/compiler/analysis/scope.lux b/stdlib/source/lux/compiler/default/phase/analysis/scope.lux
index 108e450e1..a3f7e926c 100644
--- a/stdlib/source/lux/language/compiler/analysis/scope.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/scope.lux
@@ -12,7 +12,7 @@
["." list ("list/." Functor<List> Fold<List> Monoid<List>)]
[dictionary
["." plist]]]]]
- [// (#+ Operation Compiler)
+ [// (#+ Operation Phase)
["/." //
["." extension]
[//
diff --git a/stdlib/source/lux/language/compiler/analysis/structure.lux b/stdlib/source/lux/compiler/default/phase/analysis/structure.lux
index b2eb5dc17..c50383eb8 100644
--- a/stdlib/source/lux/language/compiler/analysis/structure.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/structure.lux
@@ -17,7 +17,7 @@
["." check]]
["." macro
["." code]]]
- ["." // (#+ Tag Analysis Operation Compiler)
+ ["." // (#+ Tag Analysis Operation Phase)
["//." type]
["." primitive]
["." inference]
@@ -80,7 +80,7 @@
code.record))]))
(def: #export (sum analyse tag valueC)
- (-> Compiler Nat Code (Operation Analysis))
+ (-> Phase Nat Code (Operation Analysis))
(do ///.Monad<Operation>
[expectedT (extension.lift macro.expected-type)]
(///.with-stack cannot-analyse-variant [expectedT tag valueC]
@@ -153,7 +153,7 @@
(///.throw invalid-variant-type [expectedT tag valueC])))))
(def: (typed-product analyse membersC+)
- (-> Compiler (List Code) (Operation Analysis))
+ (-> Phase (List Code) (Operation Analysis))
(do ///.Monad<Operation>
[expectedT (extension.lift macro.expected-type)]
(loop [expectedT expectedT
@@ -192,7 +192,7 @@
(:: @ map (|>> //.no-op)))))))
(def: #export (product analyse membersC)
- (-> Compiler (List Code) (Operation Analysis))
+ (-> Phase (List Code) (Operation Analysis))
(do ///.Monad<Operation>
[expectedT (extension.lift macro.expected-type)]
(///.with-stack cannot-analyse-tuple [expectedT membersC]
@@ -259,7 +259,7 @@
))))
(def: #export (tagged-sum analyse tag valueC)
- (-> Compiler Ident Code (Operation Analysis))
+ (-> Phase Ident Code (Operation Analysis))
(do ///.Monad<Operation>
[tag (extension.lift (macro.normalize tag))
[idx group variantT] (extension.lift (macro.resolve-tag tag))
@@ -335,7 +335,7 @@
))
(def: #export (record analyse members)
- (-> Compiler (List [Code Code]) (Operation Analysis))
+ (-> Phase (List [Code Code]) (Operation Analysis))
(do ///.Monad<Operation>
[members (normalize members)
[membersC recordT] (order members)]
diff --git a/stdlib/source/lux/language/compiler/analysis/type.lux b/stdlib/source/lux/compiler/default/phase/analysis/type.lux
index 3eb574986..3eb574986 100644
--- a/stdlib/source/lux/language/compiler/analysis/type.lux
+++ b/stdlib/source/lux/compiler/default/phase/analysis/type.lux
diff --git a/stdlib/source/lux/language/compiler/extension.lux b/stdlib/source/lux/compiler/default/phase/extension.lux
index 10d2d62ca..a24d72b0c 100644
--- a/stdlib/source/lux/language/compiler/extension.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension.lux
@@ -17,8 +17,8 @@
(with-expansions [<Bundle> (as-is (Dictionary Text (Handler s i o)))]
(type: #export (Handler s i o)
(-> Text
- (//.Compiler [<Bundle> s] i o)
- (//.Compiler [<Bundle> s] (List i) o)))
+ (//.Phase [<Bundle> s] i o)
+ (//.Phase [<Bundle> s] (List i) o)))
(type: #export (Bundle s i o)
<Bundle>))
@@ -26,8 +26,8 @@
(type: #export (Operation s i o v)
(//.Operation [(Bundle s i o) s] v))
-(type: #export (Compiler s i o)
- (//.Compiler [(Bundle s i o) s] i o))
+(type: #export (Phase s i o)
+ (//.Phase [(Bundle s i o) s] i o))
(do-template [<name>]
[(exception: #export (<name> {name Text})
@@ -46,16 +46,16 @@
(#error.Success [[(dict.put name handler bundle) state]
[]]))))
-(def: #export (apply compiler [name parameters])
+(def: #export (apply phase [name parameters])
(All [s i o]
- (-> (Compiler s i o) (Extension i) (Operation s i o o)))
+ (-> (Phase s i o) (Extension i) (Operation s i o o)))
(function (_ (^@ stateE [bundle state]))
(case (dict.get name bundle)
#.None
(ex.throw unknown name)
(#.Some handler)
- ((handler name compiler) parameters stateE))))
+ ((handler name phase) parameters stateE))))
(def: #export (localized get set transform)
(All [s s' i o v]
diff --git a/stdlib/source/lux/language/compiler/extension/analysis.lux b/stdlib/source/lux/compiler/default/phase/extension/analysis.lux
index 4d78ceb43..4d78ceb43 100644
--- a/stdlib/source/lux/language/compiler/extension/analysis.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension/analysis.lux
diff --git a/stdlib/source/lux/language/compiler/extension/analysis/common.lux b/stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux
index 201616ac9..2817fd55d 100644
--- a/stdlib/source/lux/language/compiler/extension/analysis/common.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension/analysis/common.lux
@@ -15,7 +15,6 @@
["dict" dictionary (#+ Dictionary)]]]
[type
["." check]]
- ["." language]
[io (#+ IO)]]
["." ////
["." analysis (#+ Analysis Handler Bundle)
diff --git a/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux b/stdlib/source/lux/compiler/default/phase/extension/analysis/host.jvm.lux
index 0edd20d2b..0edd20d2b 100644
--- a/stdlib/source/lux/language/compiler/extension/analysis/host.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension/analysis/host.jvm.lux
diff --git a/stdlib/source/lux/language/compiler/extension/bundle.lux b/stdlib/source/lux/compiler/default/phase/extension/bundle.lux
index e2d36fa73..e2d36fa73 100644
--- a/stdlib/source/lux/language/compiler/extension/bundle.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension/bundle.lux
diff --git a/stdlib/source/lux/language/compiler/extension/synthesis.lux b/stdlib/source/lux/compiler/default/phase/extension/synthesis.lux
index d907808a8..d907808a8 100644
--- a/stdlib/source/lux/language/compiler/extension/synthesis.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension/synthesis.lux
diff --git a/stdlib/source/lux/language/compiler/extension/translation.lux b/stdlib/source/lux/compiler/default/phase/extension/translation.lux
index 3a43e0dcb..3a43e0dcb 100644
--- a/stdlib/source/lux/language/compiler/extension/translation.lux
+++ b/stdlib/source/lux/compiler/default/phase/extension/translation.lux
diff --git a/stdlib/source/lux/language/compiler/synthesis.lux b/stdlib/source/lux/compiler/default/phase/synthesis.lux
index 8dd99986b..8deb48ba8 100644
--- a/stdlib/source/lux/language/compiler/synthesis.lux
+++ b/stdlib/source/lux/compiler/default/phase/synthesis.lux
@@ -101,8 +101,8 @@
(type: #export Operation
(extension.Operation ..State Analysis Synthesis))
-(type: #export Compiler
- (extension.Compiler ..State Analysis Synthesis))
+(type: #export Phase
+ (extension.Phase ..State Analysis Synthesis))
(type: #export Path
(Path' Synthesis))
diff --git a/stdlib/source/lux/language/compiler/synthesis/case.lux b/stdlib/source/lux/compiler/default/phase/synthesis/case.lux
index 2ef9b735e..eaa7621f6 100644
--- a/stdlib/source/lux/language/compiler/synthesis/case.lux
+++ b/stdlib/source/lux/compiler/default/phase/synthesis/case.lux
@@ -12,7 +12,7 @@
[number ("frac/." Equivalence<Frac>)]
[collection
["." list ("list/." Fold<List> Monoid<List>)]]]]
- ["." // (#+ Path Synthesis Operation Compiler)
+ ["." // (#+ Path Synthesis Operation Phase)
["." function]
["/." // ("operation/." Monad<Operation>)
["." analysis (#+ Pattern Match Analysis)]
@@ -77,7 +77,7 @@
(list.reverse (list.enumerate tuple)))))))
(def: #export (path synthesize pattern bodyA)
- (-> Compiler Pattern Analysis (Operation Path))
+ (-> Phase Pattern Analysis (Operation Path))
(path' pattern (operation/map (|>> #//.Then) (synthesize bodyA))))
(def: #export (weave leftP rightP)
@@ -127,7 +127,7 @@
<default>)))
(def: #export (synthesize synthesize^ inputA [headB tailB+])
- (-> Compiler Analysis Match (Operation Synthesis))
+ (-> Phase Analysis Match (Operation Synthesis))
(do ///.Monad<Operation>
[inputS (synthesize^ inputA)]
(with-expansions [<unnecesary-let>
diff --git a/stdlib/source/lux/language/compiler/synthesis/expression.lux b/stdlib/source/lux/compiler/default/phase/synthesis/expression.lux
index 64f802089..edb2cc034 100644
--- a/stdlib/source/lux/language/compiler/synthesis/expression.lux
+++ b/stdlib/source/lux/compiler/default/phase/synthesis/expression.lux
@@ -7,7 +7,7 @@
[collection
["." list ("list/." Functor<List>)]
["dict" dictionary (#+ Dictionary)]]]]
- ["." // (#+ Synthesis Compiler)
+ ["." // (#+ Synthesis Phase)
["." function]
["." case]
["/." // ("operation/." Monad<Operation>)
@@ -37,7 +37,7 @@
[#analysis.Rev #//.I64])))
(def: #export (synthesize analysis)
- Compiler
+ Phase
(case analysis
(#analysis.Primitive analysis')
(operation/wrap (#//.Primitive (..primitive analysis')))
diff --git a/stdlib/source/lux/language/compiler/synthesis/function.lux b/stdlib/source/lux/compiler/default/phase/synthesis/function.lux
index 4e72c022f..397ca2449 100644
--- a/stdlib/source/lux/language/compiler/synthesis/function.lux
+++ b/stdlib/source/lux/compiler/default/phase/synthesis/function.lux
@@ -11,12 +11,12 @@
[collection
["." list ("list/." Functor<List> Monoid<List> Fold<List>)]
["dict" dictionary (#+ Dictionary)]]]]
- ["." // (#+ Synthesis Operation Compiler)
+ ["." // (#+ Synthesis Operation Phase)
["." loop (#+ Transform)]
- [///
- ["." reference (#+ Variable)]
- ["." compiler
- ["." analysis (#+ Environment Arity Analysis)]]]])
+ ["/." //
+ ["." analysis (#+ Environment Arity Analysis)]
+ [//
+ ["." reference (#+ Variable)]]]])
(def: #export nested?
(-> Arity Bit)
@@ -45,7 +45,7 @@
[apply args])))
(def: #export (apply synthesize)
- (-> Compiler Compiler)
+ (-> Phase Phase)
(.function (_ exprA)
(let [[funcA argsA] (unfold exprA)]
(do (state.Monad<State'> error.Monad<Error>)
@@ -77,14 +77,14 @@
(def: return
(All [a] (-> (Maybe a) (Operation a)))
(|>> (case> (#.Some output)
- (:: compiler.Monad<Operation> wrap output)
+ (:: ///.Monad<Operation> wrap output)
#.None
- (compiler.throw cannot-prepare-function-body []))))
+ (///.throw cannot-prepare-function-body []))))
(def: #export (function synthesize environment body)
- (-> Compiler Environment Analysis (Operation Synthesis))
- (do compiler.Monad<Operation>
+ (-> Phase Environment Analysis (Operation Synthesis))
+ (do ///.Monad<Operation>
[direct? //.direct?
arity //.scope-arity
resolver //.resolver
diff --git a/stdlib/source/lux/language/compiler/synthesis/loop.lux b/stdlib/source/lux/compiler/default/phase/synthesis/loop.lux
index 661d29a83..bfa69c7c6 100644
--- a/stdlib/source/lux/language/compiler/synthesis/loop.lux
+++ b/stdlib/source/lux/compiler/default/phase/synthesis/loop.lux
@@ -11,11 +11,11 @@
["." code]
["." syntax]]]
["." // (#+ Path Abstraction Synthesis)
- [///
- ["." reference (#+ Register Variable)]
- [compiler
- ["." analysis (#+ Environment)]
- ["." extension]]]])
+ [//
+ ["." analysis (#+ Environment)]
+ ["." extension]
+ [//
+ ["." reference (#+ Register Variable)]]]])
(type: #export (Transform a)
(-> a (Maybe a)))
diff --git a/stdlib/source/lux/language/compiler/translation.lux b/stdlib/source/lux/compiler/default/phase/translation.lux
index 32c8fb601..82e31320a 100644
--- a/stdlib/source/lux/language/compiler/translation.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation.lux
@@ -62,8 +62,8 @@
(type: #export (Operation anchor expression statement)
(extension.Operation (State anchor expression statement) Synthesis expression))
-(type: #export (Compiler anchor expression statement)
- (extension.Compiler (State anchor expression statement) Synthesis expression))
+(type: #export (Phase anchor expression statement)
+ (extension.Phase (State anchor expression statement) Synthesis expression))
(type: #export (Handler anchor expression statement)
(extension.Handler (State anchor expression statement) Synthesis expression))
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux
index 11c6f3e3d..5ab0c56dd 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/case.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux
@@ -11,17 +11,18 @@
[list ("list/." Functor<List> Fold<List>)]
[set (#+ Set)]]]]
[//
- ["." runtime (#+ Operation Compiler)]
+ ["." runtime (#+ Operation Phase)]
["." reference]
["/." /// ("operation/." Monad<Operation>)
["." synthesis (#+ Synthesis Path)]
[//
[reference (#+ Register)]
- [host
- ["_" scheme (#+ Expression Computation Var)]]]]])
+ [//
+ [host
+ ["_" scheme (#+ Expression Computation Var)]]]]]])
(def: #export (let translate [valueS register bodyS])
- (-> Compiler [Synthesis Register Synthesis]
+ (-> Phase [Synthesis Register Synthesis]
(Operation Computation))
(do ////.Monad<Operation>
[valueO (translate valueS)
@@ -30,7 +31,7 @@
bodyO))))
(def: #export (record-get translate valueS pathP)
- (-> Compiler Synthesis (List [Nat Bit])
+ (-> Phase Synthesis (List [Nat Bit])
(Operation Expression))
(do ////.Monad<Operation>
[valueO (translate valueS)]
@@ -43,7 +44,7 @@
pathP))))
(def: #export (if translate [testS thenS elseS])
- (-> Compiler [Synthesis Synthesis Synthesis]
+ (-> Phase [Synthesis Synthesis Synthesis]
(Operation Computation))
(do ////.Monad<Operation>
[testO (translate testS)
@@ -104,7 +105,7 @@
(_.raise/1 $alt_error))))
(def: (pattern-matching' translate pathP)
- (-> Compiler Path (Operation Expression))
+ (-> Phase Path (Operation Expression))
(.case pathP
(^ (synthesis.path/then bodyS))
(translate bodyS)
@@ -159,7 +160,7 @@
(////.throw unrecognized-path [])))
(def: (pattern-matching translate pathP)
- (-> Compiler Path (Operation Computation))
+ (-> Phase Path (Operation Computation))
(do ////.Monad<Operation>
[pattern-matching! (pattern-matching' translate pathP)]
(wrap (_.with-exception-handler
@@ -168,7 +169,7 @@
pattern-matching!)))))
(def: #export (case translate [valueS pathP])
- (-> Compiler [Synthesis Path] (Operation Computation))
+ (-> Phase [Synthesis Path] (Operation Computation))
(do ////.Monad<Operation>
[valueO (translate valueS)]
(<| (:: @ map (_.let (list [@cursor (_.list/* (list valueO))]
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/expression.jvm.lux
index 7ff3770ae..53d7bbbcb 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/expression.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/expression.jvm.lux
@@ -3,7 +3,7 @@
[control
[monad (#+ do)]]]
[//
- [runtime (#+ Compiler)]
+ [runtime (#+ Phase)]
["." primitive]
["." structure]
["." reference]
@@ -15,7 +15,7 @@
["." extension]]])
(def: #export (translate synthesis)
- Compiler
+ Phase
(case synthesis
(^template [<tag> <generator>]
(^ (<tag> value))
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/extension.jvm.lux
index a40b4953f..a40b4953f 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/extension.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/extension.jvm.lux
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/extension/common.jvm.lux
index 786b82280..53fcfbff7 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/extension/common.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/extension/common.jvm.lux
@@ -17,12 +17,12 @@
["s" syntax (#+ syntax:)]]
[host (#+ import:)]]
[///
- ["." runtime (#+ Operation Compiler Handler Bundle)]
+ ["." runtime (#+ Operation Phase Handler Bundle)]
["//." ///
["." synthesis (#+ Synthesis)]
[extension
["." bundle]]
- [//
+ [///
[host
["_" scheme (#+ Expression Computation)]]]]])
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/extension/host.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/extension/host.jvm.lux
index b8b2b7612..b8b2b7612 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/extension/host.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/extension/host.jvm.lux
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/function.jvm.lux
index 17022587c..113f6b325 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/function.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/function.jvm.lux
@@ -10,7 +10,7 @@
[collection
["." list ("list/." Functor<List>)]]]]
[//
- ["." runtime (#+ Operation Compiler)]
+ ["." runtime (#+ Operation Phase)]
["." reference]
["/." //
["//." // ("operation/." Monad<Operation>)
@@ -19,11 +19,12 @@
[//
[reference (#+ Register Variable)]
["." name]
- [host
- ["_" scheme (#+ Expression Computation Var)]]]]]])
+ [//
+ [host
+ ["_" scheme (#+ Expression Computation Var)]]]]]]])
(def: #export (apply translate [functionS argsS+])
- (-> Compiler (Application Synthesis) (Operation Computation))
+ (-> Phase (Application Synthesis) (Operation Computation))
(do ////.Monad<Operation>
[functionO (translate functionS)
argsO+ (monad.map @ translate argsS+)]
@@ -52,7 +53,7 @@
(|>> inc reference.local'))
(def: #export (function translate [environment arity bodyS])
- (-> Compiler (Abstraction Synthesis) (Operation Computation))
+ (-> Phase (Abstraction Synthesis) (Operation Computation))
(do ////.Monad<Operation>
[[function-name bodyO] (///.with-context
(do @
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/loop.jvm.lux
index 8c73f77e4..91757d291 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/loop.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/loop.jvm.lux
@@ -9,19 +9,19 @@
[collection
["." list ("list/." Functor<List>)]]]]
[//
- [runtime (#+ Operation Compiler)]
+ [runtime (#+ Operation Phase)]
["." reference]
["/." //
["//." //
[synthesis (#+ Scope Synthesis)]
- [//
+ [///
[host
["_" scheme (#+ Computation Var)]]]]]])
(def: @scope (_.var "scope"))
(def: #export (scope translate [start initsS+ bodyS])
- (-> Compiler (Scope Synthesis) (Operation Computation))
+ (-> Phase (Scope Synthesis) (Operation Computation))
(do ////.Monad<Operation>
[initsO+ (monad.map @ translate initsS+)
bodyO (///.with-anchor @scope
@@ -34,7 +34,7 @@
(_.apply/* @scope initsO+)))))
(def: #export (recur translate argsS+)
- (-> Compiler (List Synthesis) (Operation Computation))
+ (-> Phase (List Synthesis) (Operation Computation))
(do ////.Monad<Operation>
[@scope ///.anchor
argsO+ (monad.map @ translate argsS+)]
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/primitive.jvm.lux
index a8fa6326f..c16c696c4 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/primitive.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/primitive.jvm.lux
@@ -1,11 +1,12 @@
(.module:
[lux (#- i64)]
- [/// (#+ State)]
- [/////
- [host
- ["_" scheme (#+ Expression)]]
- [compiler ("operation/." Monad<Operation>)]]
- [//runtime (#+ Operation)])
+ [//
+ [runtime (#+ Operation)]
+ [// (#+ State)
+ [// ("operation/." Monad<Operation>)
+ [///
+ [host
+ ["_" scheme (#+ Expression)]]]]]])
(def: #export bit
(-> Bit (Operation Expression))
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/reference.jvm.lux
index db56d8937..3fca5842f 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/reference.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/reference.jvm.lux
@@ -13,7 +13,9 @@
[//
["." reference (#+ Register Variable Reference)]
["." name]
- [host ["_" scheme (#+ Expression Var)]]]]])
+ [//
+ [host
+ ["_" scheme (#+ Expression Var)]]]]]])
(do-template [<name> <prefix>]
[(def: #export <name>
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/runtime.jvm.lux
index 565cbeabd..c67c2623f 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/runtime.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/runtime.jvm.lux
@@ -19,14 +19,16 @@
["." synthesis]
[//
["." name]
- [host ["_" scheme (#+ Expression Computation Var)]]]]])
+ [//
+ [host
+ ["_" scheme (#+ Expression Computation Var)]]]]]])
(do-template [<name> <base>]
[(type: #export <name>
(<base> Var Expression Expression))]
[Operation ///.Operation]
- [Compiler ///.Compiler]
+ [Phase ///.Phase]
[Handler ///.Handler]
[Bundle ///.Bundle]
)
diff --git a/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/structure.jvm.lux
index 1f7f2cf27..3991ea281 100644
--- a/stdlib/source/lux/language/compiler/translation/scheme/structure.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/structure.jvm.lux
@@ -3,17 +3,17 @@
[control
["." monad (#+ do)]]]
[//
- ["." runtime (#+ Operation Compiler)]
+ ["." runtime (#+ Operation Phase)]
["." primitive]
["." ///
[analysis (#+ Variant Tuple)]
["." synthesis (#+ Synthesis)]
- [//
+ [///
[host
["_" scheme (#+ Expression)]]]]])
(def: #export (tuple translate elemsS+)
- (-> Compiler (Tuple Synthesis) (Operation Expression))
+ (-> Phase (Tuple Synthesis) (Operation Expression))
(case elemsS+
#.Nil
(primitive.text synthesis.unit)
@@ -27,7 +27,7 @@
(wrap (_.vector/* elemsT+)))))
(def: #export (variant translate [lefts right? valueS])
- (-> Compiler (Variant Synthesis) (Operation Expression))
+ (-> Phase (Variant Synthesis) (Operation Expression))
(do ///.Monad<Operation>
[valueT (translate valueS)]
(wrap (runtime.variant [lefts right? valueT]))))
diff --git a/stdlib/source/lux/language/reference.lux b/stdlib/source/lux/compiler/default/reference.lux
index 84b838b3d..84b838b3d 100644
--- a/stdlib/source/lux/language/reference.lux
+++ b/stdlib/source/lux/compiler/default/reference.lux
diff --git a/stdlib/source/lux/language/compiler/default/repl/type.lux b/stdlib/source/lux/compiler/default/repl/type.lux
index 2af590c4b..2af590c4b 100644
--- a/stdlib/source/lux/language/compiler/default/repl/type.lux
+++ b/stdlib/source/lux/compiler/default/repl/type.lux
diff --git a/stdlib/source/lux/language/syntax.lux b/stdlib/source/lux/compiler/default/syntax.lux
index 41c11ee2d..41c11ee2d 100644
--- a/stdlib/source/lux/language/syntax.lux
+++ b/stdlib/source/lux/compiler/default/syntax.lux
diff --git a/stdlib/source/lux/language/host.lux b/stdlib/source/lux/compiler/host.lux
index 218de67a4..218de67a4 100644
--- a/stdlib/source/lux/language/host.lux
+++ b/stdlib/source/lux/compiler/host.lux
diff --git a/stdlib/source/lux/language/host/scheme.lux b/stdlib/source/lux/compiler/host/scheme.lux
index 8d5cbdbcd..8d5cbdbcd 100644
--- a/stdlib/source/lux/language/host/scheme.lux
+++ b/stdlib/source/lux/compiler/host/scheme.lux
diff --git a/stdlib/source/lux/language/compiler/meta/archive.lux b/stdlib/source/lux/compiler/meta/archive.lux
index 9feaf523f..ee31e65d9 100644
--- a/stdlib/source/lux/language/compiler/meta/archive.lux
+++ b/stdlib/source/lux/compiler/meta/archive.lux
@@ -15,7 +15,8 @@
abstract]
[world
[file (#+ File)]]]
- ["." //// (#+ Version)])
+ [///
+ ["." default (#+ Version)]])
## Key
(type: #export Signature
@@ -43,7 +44,7 @@
(def: #export default
(Key Nothing)
(:abstraction {#name ["" ""]
- #version ////.version}))
+ #version default.version}))
(def: #export signature
(-> (Key Any) Signature)
diff --git a/stdlib/source/lux/language/compiler/meta/cache.lux b/stdlib/source/lux/compiler/meta/cache.lux
index eb702c0da..eb702c0da 100644
--- a/stdlib/source/lux/language/compiler/meta/cache.lux
+++ b/stdlib/source/lux/compiler/meta/cache.lux
diff --git a/stdlib/source/lux/language/compiler/meta/cache/dependency.lux b/stdlib/source/lux/compiler/meta/cache/dependency.lux
index e63fa192b..e63fa192b 100644
--- a/stdlib/source/lux/language/compiler/meta/cache/dependency.lux
+++ b/stdlib/source/lux/compiler/meta/cache/dependency.lux
diff --git a/stdlib/source/lux/language/compiler/meta/io.lux b/stdlib/source/lux/compiler/meta/io.lux
index a46f78d5a..a46f78d5a 100644
--- a/stdlib/source/lux/language/compiler/meta/io.lux
+++ b/stdlib/source/lux/compiler/meta/io.lux
diff --git a/stdlib/source/lux/language/compiler/meta/io/archive.lux b/stdlib/source/lux/compiler/meta/io/archive.lux
index 5a7789a95..1c5924df7 100644
--- a/stdlib/source/lux/language/compiler/meta/io/archive.lux
+++ b/stdlib/source/lux/compiler/meta/io/archive.lux
@@ -10,8 +10,9 @@
[world
["." file (#+ File System)]
[binary (#+ Binary)]]]
- ["." /////host]
- ["." // (#+ Module)])
+ ["." // (#+ Module)
+ [///
+ ["." host]]])
(type: #export Document File)
@@ -22,15 +23,15 @@
(def: #export (archive System<m> root)
(All [m] (-> (System m) File File))
(<| (format root (:: System<m> separator))
- (`` (for {(~~ (static /////host.common-lisp)) /////host.common-lisp
- (~~ (static /////host.js)) /////host.js
- (~~ (static /////host.jvm)) /////host.jvm
- (~~ (static /////host.lua)) /////host.lua
- (~~ (static /////host.php)) /////host.php
- (~~ (static /////host.python)) /////host.python
- (~~ (static /////host.r)) /////host.r
- (~~ (static /////host.ruby)) /////host.ruby
- (~~ (static /////host.scheme)) /////host.scheme}))))
+ (`` (for {(~~ (static host.common-lisp)) host.common-lisp
+ (~~ (static host.js)) host.js
+ (~~ (static host.jvm)) host.jvm
+ (~~ (static host.lua)) host.lua
+ (~~ (static host.php)) host.php
+ (~~ (static host.python)) host.python
+ (~~ (static host.r)) host.r
+ (~~ (static host.ruby)) host.ruby
+ (~~ (static host.scheme)) host.scheme}))))
(def: #export (document System<m> root module)
(All [m] (-> (System m) File Module Document))
diff --git a/stdlib/source/lux/language/compiler/meta/io/context.lux b/stdlib/source/lux/compiler/meta/io/context.lux
index 8288718aa..6d90483e2 100644
--- a/stdlib/source/lux/language/compiler/meta/io/context.lux
+++ b/stdlib/source/lux/compiler/meta/io/context.lux
@@ -12,7 +12,7 @@
["." file (#+ File System)]
[binary (#+ Binary)]]]
["." // (#+ Context Module)
- [////
+ [///
["." host]]])
(type: #export Extension Text)
diff --git a/stdlib/source/lux/data/text.lux b/stdlib/source/lux/data/text.lux
index c29783146..28679b429 100644
--- a/stdlib/source/lux/data/text.lux
+++ b/stdlib/source/lux/data/text.lux
@@ -4,7 +4,7 @@
[monoid (#+ Monoid)]
[equivalence (#+ Equivalence)]
[order (#+ Order)]
- [monad (#+ do Monad)]
+ [monad (#+ Monad do)]
[codec (#+ Codec)]
hash]
[data
@@ -13,7 +13,7 @@
["." i64]]
[collection
["." list ("list/." Fold<List>)]]]
- [language
+ [compiler
["." host]]])
(def: #export (size x)
diff --git a/stdlib/source/lux/data/text/buffer.lux b/stdlib/source/lux/data/text/buffer.lux
index a7d3da76a..f8042abc0 100644
--- a/stdlib/source/lux/data/text/buffer.lux
+++ b/stdlib/source/lux/data/text/buffer.lux
@@ -6,7 +6,7 @@
format]
[collection
["." row (#+ Row) ("row/." Fold<Row>)]]]
- [language
+ [compiler
["_" host]]
[type
abstract]
diff --git a/stdlib/source/lux/data/text/encoding.lux b/stdlib/source/lux/data/text/encoding.lux
index 661e0bbf9..029505b21 100644
--- a/stdlib/source/lux/data/text/encoding.lux
+++ b/stdlib/source/lux/data/text/encoding.lux
@@ -4,7 +4,7 @@
["." error (#+ Error)]]
[world
[binary (#+ Binary)]]
- [language
+ [compiler
["_" host]]
[host (#+ import:)]])
diff --git a/stdlib/source/lux/world/file.lux b/stdlib/source/lux/world/file.lux
index 5c359f26b..50d9ec2bc 100644
--- a/stdlib/source/lux/world/file.lux
+++ b/stdlib/source/lux/world/file.lux
@@ -17,7 +17,8 @@
["." binary (#+ Binary)]]
["." io (#+ Process)]
[host (#+ import:)]
- ["." language/host]])
+ [compiler
+ ["." host]]])
(type: #export File Text)
@@ -101,7 +102,7 @@
(ex.report ["Instant" (%instant instant)]
["File" file]))
-(`` (for {(~~ (static language/host.jvm))
+(`` (for {(~~ (static host.jvm))
(as-is (import: #long java/io/File
(new [String])
(exists [] #io #try boolean)