aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2022-02-06 03:15:39 -0400
committerEduardo Julian2022-02-06 03:15:39 -0400
commit290de8ebcb7edc92877f2ccc333171214e5eae23 (patch)
tree7307b79865b242a057d35a3b654d8906a8b8c97e
parent54bb56a07e6d8f1e76bd447436fb721a74f09f66 (diff)
Finishing the meta-compiler [Part 1]
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/3D.md4
-rw-r--r--documentation/bookmark/graphic.md (renamed from documentation/bookmark/graphics.md)0
-rw-r--r--documentation/bookmark/graphic/3D.md8
-rw-r--r--stdlib/source/library/lux.lux13
-rw-r--r--stdlib/source/library/lux/control/parser/code.lux121
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/platform.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux51
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux (renamed from stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux)164
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux31
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux36
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux11
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/cli.lux126
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux8
-rw-r--r--stdlib/source/program/aedifex/command/build.lux86
-rw-r--r--stdlib/source/program/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/program/aedifex/format.lux51
-rw-r--r--stdlib/source/program/aedifex/parser.lux79
-rw-r--r--stdlib/source/program/aedifex/profile.lux87
-rw-r--r--stdlib/source/program/compositor.lux2
-rw-r--r--stdlib/source/test/lux/target/python.lux24
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux18
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux203
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux2
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux15
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/cli.lux35
29 files changed, 759 insertions, 446 deletions
diff --git a/documentation/bookmark/3D.md b/documentation/bookmark/3D.md
deleted file mode 100644
index a7020c3ef..000000000
--- a/documentation/bookmark/3D.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# Three.js
-
-1. [Three.js Fundamentals](https://threejsfundamentals.org/)
-
diff --git a/documentation/bookmark/graphics.md b/documentation/bookmark/graphic.md
index 5a1abe21c..5a1abe21c 100644
--- a/documentation/bookmark/graphics.md
+++ b/documentation/bookmark/graphic.md
diff --git a/documentation/bookmark/graphic/3D.md b/documentation/bookmark/graphic/3D.md
new file mode 100644
index 000000000..a4d7702f0
--- /dev/null
+++ b/documentation/bookmark/graphic/3D.md
@@ -0,0 +1,8 @@
+# Reference
+
+0. [3D Graphics for Dummies - Chris Ryan - CppCon 2021](https://www.youtube.com/watch?v=EIijFV3VE1g)
+
+# Three.js
+
+0. [Three.js Fundamentals](https://threejsfundamentals.org/)
+
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 4f14a2ada..e6a3e5e6f 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -427,13 +427,15 @@
... {#Captured Nat})
("lux def type tagged" Ref
{#Named [..prelude_module "Ref"]
- {#Sum ... Local
+ {#Sum
+ ... Local
Nat
... Captured
Nat}}
{"#Local" "#Captured"}
.public)
+... TODO: Get rid of both #name & #inner
... (type: .public Scope
... (Record
... [#name (List Text)
@@ -442,11 +444,14 @@
... #captured (Bindings Text [Type Ref])]))
("lux def type tagged" Scope
{#Named [..prelude_module "Scope"]
- {#Product ... name
+ {#Product
+ ... name
{#Apply Text List}
- {#Product ... inner
+ {#Product
+ ... inner
Nat
- {#Product ... locals
+ {#Product
+ ... locals
{#Apply {#Product Type Nat} {#Apply Text Bindings}}
... captured
{#Apply {#Product Type Ref} {#Apply Text Bindings}}}}}}
diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/library/lux/control/parser/code.lux
index f17a1551d..910d7f449 100644
--- a/stdlib/source/library/lux/control/parser/code.lux
+++ b/stdlib/source/library/lux/control/parser/code.lux
@@ -1,26 +1,26 @@
(.using
- [library
- [lux {"-" nat int rev local not symbol}
- [abstract
- ["[0]" monad {"+" do}]]
- [control
- ["[0]" try {"+" Try}]]
- [data
- ["[0]" bit]
- ["[0]" text ("[1]#[0]" monoid)]
- [collection
- ["[0]" list ("[1]#[0]" functor)]]]
- [macro
- ["[0]" code ("[1]#[0]" equivalence)]]
- [math
- [number
- ["[0]" nat]
- ["[0]" int]
- ["[0]" rev]
- ["[0]" frac]]]
- [meta
- ["[0]" symbol]]]]
- ["[0]" //])
+ [library
+ [lux {"-" nat int rev local not symbol}
+ [abstract
+ ["[0]" monad {"+" do}]]
+ [control
+ ["[0]" try {"+" Try}]]
+ [data
+ ["[0]" bit]
+ ["[0]" text ("[1]#[0]" monoid)]
+ [collection
+ ["[0]" list ("[1]#[0]" functor)]]]
+ [macro
+ ["[0]" code ("[1]#[0]" equivalence)]]
+ [math
+ [number
+ ["[0]" nat]
+ ["[0]" int]
+ ["[0]" rev]
+ ["[0]" frac]]]
+ [meta
+ ["[0]" symbol]]]]
+ ["[0]" //])
(def: (un_paired pairs)
(All (_ a) (-> (List [a a]) (List a)))
@@ -103,32 +103,57 @@
_
{try.#Failure "There are no tokens to parse!"})))
-(template [<query> <check> <tag> <eq> <desc>]
- [(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse " <desc> (remaining_inputs tokens))})]
- (def: .public <query>
- (Parser Text)
- (function (_ tokens)
- (case tokens
- {.#Item [[_ {<tag> ["" x]}] tokens']}
- {try.#Success [tokens' x]}
-
- _
- <failure>)))
-
- (def: .public (<check> expected)
- (-> Text (Parser Any))
- (function (_ tokens)
- (case tokens
- {.#Item [[_ {<tag> ["" actual]}] tokens']}
- (if (# <eq> = expected actual)
- {try.#Success [tokens' []]}
- <failure>)
-
- _
- <failure>))))]
-
- [local_symbol local_symbol! .#Symbol text.equivalence "local symbol"]
- )
+(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})]
+ (def: .public local_symbol
+ (Parser Text)
+ (function (_ tokens)
+ (case tokens
+ {.#Item [[_ {.#Symbol ["" x]}] tokens']}
+ {try.#Success [tokens' x]}
+
+ _
+ <failure>)))
+
+ (def: .public (local_symbol! expected)
+ (-> Text (Parser Any))
+ (function (_ tokens)
+ (case tokens
+ {.#Item [[_ {.#Symbol ["" actual]}] tokens']}
+ (if (# text.equivalence = expected actual)
+ {try.#Success [tokens' []]}
+ <failure>)
+
+ _
+ <failure>))))
+
+(with_expansions [<failure> (as_is {try.#Failure ($_ text#composite "Cannot parse local symbol" (remaining_inputs tokens))})]
+ (def: .public global_symbol
+ (Parser Symbol)
+ (function (_ tokens)
+ (case tokens
+ {.#Item [[_ {.#Symbol ["" short]}] tokens']}
+ <failure>
+
+ {.#Item [[_ {.#Symbol it}] tokens']}
+ {try.#Success [tokens' it]}
+
+ _
+ <failure>)))
+
+ (def: .public (global_symbol! expected)
+ (-> Symbol (Parser Any))
+ (function (_ tokens)
+ (case tokens
+ {.#Item [[_ {.#Symbol ["" actual]}] tokens']}
+ <failure>
+
+ {.#Item [[_ {.#Symbol it}] tokens']}
+ (if (# symbol.equivalence = expected it)
+ {try.#Success [tokens' []]}
+ <failure>)
+
+ _
+ <failure>))))
(template [<name> <tag> <desc>]
[(def: .public (<name> p)
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index dc9ff4533..02b35d0e7 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -720,7 +720,7 @@
(def: .public (compile phase_wrapper import static expander platform compilation context)
(All (_ <type_vars>)
(-> ///phase.Wrapper Import Static Expander <Platform> Compilation <Context> <Return>))
- (let [[sources host_dependencies libraries target module] compilation
+ (let [[host_dependencies libraries compilers sources target module] compilation
compiler (|> (..compiler phase_wrapper expander platform)
(serial_compiler import static platform sources)
(..parallel context))]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
index 643a1b428..116d84299 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
@@ -259,49 +259,6 @@
{try.#Failure error}
{try.#Failure error}))))
-(def: fresh_bindings
- (All (_ k v) (Bindings k v))
- [.#counter 0
- .#mappings (list)])
-
-(def: fresh_scope
- Scope
- [.#name (list)
- .#inner 0
- .#locals fresh_bindings
- .#captured fresh_bindings])
-
-(def: .public (with_scope action)
- (All (_ a) (-> (Operation a) (Operation [Scope a])))
- (function (_ [bundle state])
- (.case (action [bundle (revised@ .#scopes (|>> {.#Item fresh_scope}) state)])
- {try.#Success [[bundle' state'] output]}
- (.case (value@ .#scopes state')
- {.#Item head tail}
- {try.#Success [[bundle' (with@ .#scopes tail state')]
- [head output]]}
-
- {.#End}
- {try.#Failure "Impossible error: Drained scopes!"})
-
- {try.#Failure error}
- {try.#Failure error})))
-
-(def: scope_reset
- (List Scope)
- (list fresh_scope))
-
-(def: .public (without_scopes action)
- (All (_ a) (-> (Operation a) (Operation a)))
- (function (_ [bundle state])
- (.case (action [bundle (with@ .#scopes ..scope_reset state)])
- {try.#Success [[bundle' state'] output]}
- {try.#Success [[bundle' (with@ .#scopes (value@ .#scopes state) state')]
- output]}
-
- {try.#Failure error}
- {try.#Failure error})))
-
(def: .public (with_current_module name)
(All (_ a) (-> Text (Operation a) (Operation a)))
(extension.localized (value@ .#current_module)
@@ -347,12 +304,12 @@
(function (_ bundle,state)
(.case (exception.with exception message
(action bundle,state))
- {try.#Success output}
- {try.#Success output}
-
{try.#Failure error}
(let [[bundle state] bundle,state]
- {try.#Failure (locate_error (value@ .#location state) error)}))))
+ {try.#Failure (locate_error (value@ .#location state) error)})
+
+ output
+ output)))
(def: .public (install state)
(-> .Lux (Operation Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
index 0a7138dca..d27d54fe7 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux
@@ -14,8 +14,9 @@
["n" nat]
["[0]" i64]]]]]
["[0]" // {"+" Operation}
- ["[0]" type]
[macro {"+" Expander}]
+ ["[1][0]" type]
+ ["[1][0]" scope]
[//
[phase
["[0]P" extension]
@@ -44,8 +45,8 @@
(do phase.monad
[count (extensionP.lifted
meta.seed)
- exprA (<| (type.expecting type)
- //.without_scopes
+ exprA (<| (//type.expecting type)
+ //scope.reset
(analyze archive exprC))
module (extensionP.lifted
meta.current_module_name)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
index 0d24cd44d..838c2c362 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux
@@ -1,27 +1,27 @@
(.using
- [library
- [lux {"-" local}
- [abstract
- monad]
- [control
- ["[0]" maybe ("[1]#[0]" monad)]
- ["[0]" try]
- ["[0]" exception {"+" exception:}]]
- [data
- ["[0]" text ("[1]#[0]" equivalence)]
- ["[0]" product]
- [collection
- ["[0]" list ("[1]#[0]" functor mix monoid)]
- [dictionary
- ["[0]" plist]]]]]]
- ["[0]" /// "_"
- ["[1][0]" extension]
- [//
- ["/" analysis {"+" Operation Phase}]
- [///
- [reference
- ["[0]" variable {"+" Register Variable}]]
- ["[1]" phase]]]])
+ [library
+ [lux {"-" local}
+ [abstract
+ monad]
+ [control
+ ["[0]" maybe ("[1]#[0]" monad)]
+ ["[0]" try]
+ ["[0]" exception {"+" exception:}]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]
+ ["[0]" product]
+ [collection
+ ["[0]" list ("[1]#[0]" functor mix monoid)]
+ [dictionary
+ ["[0]" plist]]]]]]
+ ["/" // {"+" Environment Operation Phase}
+ [//
+ [phase
+ ["[0]" extension]]
+ [///
+ ["[0]" phase]
+ [reference
+ ["[0]" variable {"+" Register Variable}]]]]])
(type: Local
(Bindings Text [Type Register]))
@@ -78,7 +78,7 @@
(def: .public (find name)
(-> Text (Operation (Maybe [Type Variable])))
- (///extension.lifted
+ (extension.lifted
(function (_ state)
(let [[inner outer] (|> state
(value@ .#scopes)
@@ -106,8 +106,8 @@
{.#Some [ref_type ref]}]})
)))))
-(exception: .public cannot_create_local_binding_without_a_scope)
-(exception: .public invalid_scope_alteration)
+(exception: .public no_scope)
+(exception: .public drained)
(def: .public (with_local [name type] action)
(All (_ a) (-> [Text Type] (Operation a) (Operation a)))
@@ -121,8 +121,8 @@
(|>> (revised@ .#counter ++)
(revised@ .#mappings (plist.has name [type new_var_id]))))
head)]
- (case (///.result' [bundle (with@ .#scopes {.#Item new_head tail} state)]
- action)
+ (case (phase.result' [bundle (with@ .#scopes {.#Item new_head tail} state)]
+ action)
{try.#Success [[bundle' state'] output]}
(case (value@ .#scopes state')
{.#Item head' tail'}
@@ -132,77 +132,63 @@
output]})
_
- (exception.except ..invalid_scope_alteration []))
+ (exception.except ..drained []))
{try.#Failure error}
{try.#Failure error}))
_
- (exception.except ..cannot_create_local_binding_without_a_scope []))
- ))
-
-(template [<name> <val_type>]
- [(def: <name>
- (Bindings Text [Type <val_type>])
- [.#counter 0
- .#mappings (list)])]
-
- [init_locals Nat]
- [init_captured Variable]
- )
-
-(def: (scope parent_name child_name)
- (-> (List Text) Text Scope)
- [.#name (list& child_name parent_name)
- .#inner 0
- .#locals init_locals
- .#captured init_captured])
-
-(def: .public (with_scope name action)
- (All (_ a) (-> Text (Operation a) (Operation a)))
+ (exception.except ..no_scope []))))
+
+(def: empty
+ Scope
+ (let [bindings (: Bindings
+ [.#counter 0
+ .#mappings (list)])]
+ [.#name (list)
+ .#inner 0
+ .#locals bindings
+ .#captured bindings]))
+
+(def: .public (reset action)
+ (All (_ a) (-> (Operation a) (Operation a)))
(function (_ [bundle state])
- (let [parent_name (case (value@ .#scopes state)
- {.#End}
- (list)
-
- {.#Item top _}
- (value@ .#name top))]
- (case (action [bundle (revised@ .#scopes
- (|>> {.#Item (scope parent_name name)})
- state)])
- {try.#Success [[bundle' state'] output]}
- {try.#Success [[bundle' (revised@ .#scopes
- (|>> list.tail (maybe.else (list)))
- state')]
- output]}
-
- {try.#Failure error}
- {try.#Failure error}))))
-
-(exception: .public cannot_get_next_reference_when_there_is_no_scope)
-
-(def: .public next_local
+ (case (action [bundle (with@ .#scopes (list ..empty) state)])
+ {try.#Success [[bundle' state'] output]}
+ {try.#Success [[bundle' (with@ .#scopes (value@ .#scopes state) state')]
+ output]}
+
+ failure
+ failure)))
+
+(def: .public (with action)
+ (All (_ a) (-> (Operation a) (Operation [Scope a])))
+ (function (_ [bundle state])
+ (case (action [bundle (revised@ .#scopes (|>> {.#Item ..empty}) state)])
+ {try.#Success [[bundle' state'] output]}
+ (case (value@ .#scopes state')
+ {.#Item head tail}
+ {try.#Success [[bundle' (with@ .#scopes tail state')]
+ [head output]]}
+
+ {.#End}
+ (exception.except ..drained []))
+
+ {try.#Failure error}
+ {try.#Failure error})))
+
+(def: .public next
(Operation Register)
- (///extension.lifted
+ (extension.lifted
(function (_ state)
(case (value@ .#scopes state)
{.#Item top _}
{try.#Success [state (value@ [.#locals .#counter] top)]}
{.#End}
- (exception.except ..cannot_get_next_reference_when_there_is_no_scope [])))))
-
-(def: (ref_variable ref)
- (-> Ref Variable)
- (case ref
- {.#Local register}
- {variable.#Local register}
-
- {.#Captured register}
- {variable.#Foreign register}))
-
-(def: .public (environment scope)
- (-> Scope (List Variable))
- (|> scope
- (value@ [.#captured .#mappings])
- (list#each (function (_ [_ [_ ref]]) (ref_variable ref)))))
+ (exception.except ..no_scope [])))))
+
+(def: .public environment
+ (-> Scope (Environment Variable))
+ (|>> (value@ [.#captured .#mappings])
+ (list#each (function (_ [_ [_ ref]]) ref))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 3eab189d4..e1b1a8c07 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -24,7 +24,6 @@
["[0]" / "_"
["[1][0]" coverage {"+" Coverage}]
["/[1]" // "_"
- ["[1][0]" scope]
["[1][0]" complex]
["/[1]" // "_"
["[1][0]" extension]
@@ -33,7 +32,8 @@
["[1][0]" simple]
["[1][0]" complex]
["[1][0]" pattern {"+" Pattern}]
- ["[1][0]" type]]
+ ["[1][0]" type]
+ ["[1][0]" scope]]
[///
["[1]" phase]]]]]])
@@ -225,9 +225,9 @@
[location {.#Symbol ["" name]}]
(/.with_location location
(do ///.monad
- [outputA (//scope.with_local [name inputT]
+ [outputA (/scope.with_local [name inputT]
next)
- idx //scope.next_local]
+ idx /scope.next]
(in [{/pattern.#Bind idx} outputA])))
(^template [<type> <input> <output>]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 5a2018656..63c315954 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -14,18 +14,17 @@
["[0]" list ("[1]#[0]" monoid monad)]]]
["[0]" type
["[0]" check]]]]
- ["[0]" // "_"
- ["[1][0]" scope]
- ["/[1]" // "_"
- ["[1][0]" extension]
- [//
- ["/" analysis {"+" Analysis Operation Phase}
- ["[1][0]" type]
- ["[1][0]" inference]]
- [///
- ["[1]" phase]
- [reference {"+"}
- [variable {"+"}]]]]]])
+ ["[0]" /// "_"
+ ["[1][0]" extension]
+ [//
+ ["/" analysis {"+" Analysis Operation Phase}
+ ["[1][0]" type]
+ ["[1][0]" inference]
+ ["[1][0]" scope]]
+ [///
+ ["[1]" phase]
+ [reference {"+"}
+ [variable {"+"}]]]]])
(exception: .public (cannot_analyse [expected Type
function Text
@@ -93,13 +92,13 @@
{.#Function inputT outputT}
(<| (# ! each (.function (_ [scope bodyA])
{/.#Function (list#each (|>> /.variable)
- (//scope.environment scope))
+ (/scope.environment scope))
bodyA}))
- /.with_scope
+ /scope.with
... Functions have access not only to their argument, but
... also to themselves, through a local variable.
- (//scope.with_local [function_name expectedT])
- (//scope.with_local [arg_name inputT])
+ (/scope.with_local [function_name expectedT])
+ (/scope.with_local [arg_name inputT])
(/type.expecting outputT)
(analyse archive body))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index 223f0c07f..8fdf78aa8 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -10,12 +10,12 @@
["[0]" text ("[1]#[0]" equivalence)
["%" format {"+" format}]]]]]
["[0]" // "_"
- ["[1][0]" scope]
["/[1]" // "_"
["[1][0]" extension]
[//
["/" analysis {"+" Analysis Operation}
- ["[1][0]" type]]
+ ["[1][0]" type]
+ ["[1][0]" scope]]
[///
["[1][0]" reference]
["[1]" phase]]]]])
@@ -84,7 +84,7 @@
(def: (variable var_name)
(-> Text (Operation (Maybe Analysis)))
(do [! ///.monad]
- [?var (//scope.find var_name)]
+ [?var (/scope.find var_name)]
(case ?var
{.#Some [actualT ref]}
(do !
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index 4d6c7e712..21980f491 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -47,22 +47,20 @@
["[1][0]" lux {"+" custom}]
["/[1]" //
["[1][0]" bundle]
- ["/[1]" // "_"
- [analysis
+ ["//[1]" /// "_"
+ ["[1][0]" synthesis]
+ ["[1][0]" analysis {"+" Analysis Operation Phase Handler Bundle}
+ ["[1]/[0]" complex]
+ ["[1]/[0]" pattern]
+ ["[0]A" type]
+ ["[0]A" inference]
["[0]" scope]]
- ["/[1]" // "_"
- ["[1][0]" analysis {"+" Analysis Operation Phase Handler Bundle}
- ["[1]/[0]" complex]
- ["[1]/[0]" pattern]
- ["[0]A" type]
- ["[0]A" inference]]
- ["[1][0]" synthesis]
- [///
- ["[0]" phase ("[1]#[0]" monad)]
- [meta
- [archive {"+" Archive}
- [module
- [descriptor {"+" Module}]]]]]]]]])
+ [///
+ ["[0]" phase ("[1]#[0]" monad)]
+ [meta
+ [archive {"+" Archive}
+ [module
+ [descriptor {"+" Module}]]]]]]]])
(import: java/lang/ClassLoader)
@@ -1810,7 +1808,7 @@
list.reversed
(list#mix scope.with_local (analyse archive body))
(typeA.expecting .Any)
- /////analysis.with_scope)]
+ scope.with)]
(in (/////analysis.tuple (list (/////analysis.text ..constructor_tag)
(visibility_analysis visibility)
(/////analysis.bit strict_fp?)
@@ -1907,7 +1905,7 @@
list.reversed
(list#mix scope.with_local (analyse archive body))
(typeA.expecting returnT)
- /////analysis.with_scope)]
+ scope.with)]
(in (/////analysis.tuple (list (/////analysis.text ..virtual_tag)
(/////analysis.text method_name)
(visibility_analysis visibility)
@@ -1980,7 +1978,7 @@
list.reversed
(list#mix scope.with_local (analyse archive body))
(typeA.expecting returnT)
- /////analysis.with_scope)]
+ scope.with)]
(in (/////analysis.tuple (list (/////analysis.text ..static_tag)
(/////analysis.text method_name)
(visibility_analysis visibility)
@@ -2150,7 +2148,7 @@
list.reversed
(list#mix scope.with_local (analyse archive body))
(typeA.expecting returnT)
- /////analysis.with_scope)]
+ scope.with)]
(in (/////analysis.tuple (list (/////analysis.text ..overriden_tag)
(class_analysis parent_type)
(/////analysis.text method_name)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index 1e3b1eabc..5641140a4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -67,10 +67,9 @@
["[0]" generation]
["[0]" directive {"+" Handler Bundle}]
["[0]" analysis {"+" Analysis}
- ["[0]A" type]]
+ ["[0]A" type]
+ ["[0]A" scope]]
[phase
- [analysis
- ["[0]A" scope]]
[generation
[jvm
["[0]" runtime {"+" Anchor Definition Extender}]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
index 99bcd7e85..04006e52f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
@@ -37,7 +37,8 @@
[macro {"+" Expander}]
["[1]/[0]" evaluation]
["[0]A" type]
- ["[0]A" module]]
+ ["[0]A" module]
+ ["[0]" scope]]
["[1][0]" synthesis {"+" Synthesis}]
["[1][0]" generation]
["[1][0]" directive {"+" Import Requirements Phase Operation Handler Bundle}]
@@ -100,7 +101,7 @@
synthesize (value@ [/////directive.#synthesis /////directive.#phase] state)
generate (value@ [/////directive.#generation /////directive.#phase] state)]
[_ codeA] (<| /////directive.lifted_analysis
- /////analysis.with_scope
+ scope.with
typeA.fresh
(typeA.expecting type)
(analyse archive codeC))
@@ -138,7 +139,7 @@
synthesize (value@ [/////directive.#synthesis /////directive.#phase] state)
generate (value@ [/////directive.#generation /////directive.#phase] state)]
[_ code//type codeA] (/////directive.lifted_analysis
- (/////analysis.with_scope
+ (scope.with
(typeA.fresh
(case expected
{.#None}
@@ -191,7 +192,7 @@
synthesize (value@ [/////directive.#synthesis /////directive.#phase] state)
generate (value@ [/////directive.#generation /////directive.#phase] state)]
[_ codeA] (<| /////directive.lifted_analysis
- /////analysis.with_scope
+ scope.with
typeA.fresh
(typeA.expecting codeT)
(analyse archive codeC))
@@ -481,7 +482,7 @@
(Operation anchor expression directive Synthesis)))
(do phase.monad
[[_ programA] (<| /////directive.lifted_analysis
- /////analysis.with_scope
+ scope.with
typeA.fresh
(typeA.expecting (type (-> (List Text) (IO Any))))
(analyse archive programC))]
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux
index c4d5eb819..eee8d719c 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux
@@ -1,10 +1,24 @@
(.using
[library
[lux {"-" Module Source}
+ [abstract
+ [monad {"+" do}]
+ [equivalence {"+" Equivalence}]]
[control
[pipe {"+" case>}]
["<>" parser
- ["<[0]>" cli {"+" Parser}]]]
+ ["<[0]>" cli {"+" Parser}]
+ ["<[0]>" text]]]
+ [data
+ ["[0]" product]
+ ["[0]" text
+ ["%" format]]
+ [collection
+ ["[0]" list ("[1]#[0]" functor)]]]
+ [math
+ [number {"+" hex}]]
+ [meta
+ ["[0]" symbol]]
[tool
[compiler
[meta
@@ -14,15 +28,57 @@
[world
[file {"+" Path}]]]])
-(type: .public Source
- Path)
-
(type: .public Host_Dependency
Path)
(type: .public Library
Path)
+(type: .public Compiler
+ (Record
+ [#definition Symbol
+ #parameters (List Text)]))
+
+(def: .public compiler_equivalence
+ (Equivalence Compiler)
+ ($_ product.equivalence
+ symbol.equivalence
+ (list.equivalence text.equivalence)
+ ))
+
+(template [<ascii> <name>]
+ [(def: <name>
+ Text
+ (text.of_char (hex <ascii>)))]
+
+ ["02" parameter_start]
+ ["03" parameter_end]
+ )
+
+(def: compiler_parameter
+ (-> Text Text)
+ (text.enclosed [..parameter_start ..parameter_end]))
+
+(def: .public (compiler_format [[module short] parameters])
+ (%.Format Compiler)
+ (%.format (..compiler_parameter module) (..compiler_parameter short)
+ (text.together (list#each ..compiler_parameter parameters))))
+
+(def: compiler_parser'
+ (<text>.Parser Compiler)
+ (let [parameter (: (<text>.Parser Text)
+ (<| (<>.after (<text>.this ..parameter_start))
+ (<>.before (<text>.this ..parameter_end))
+ (<text>.slice (<text>.many! (<text>.none_of! ..parameter_end)))))]
+ (do <>.monad
+ [module parameter
+ short parameter
+ parameters (<>.some parameter)]
+ (in [[module short] parameters]))))
+
+(type: .public Source
+ Path)
+
(type: .public Target
Path)
@@ -31,9 +87,10 @@
(type: .public Compilation
(Record
- [#sources (List Source)
- #host_dependencies (List Host_Dependency)
+ [#host_dependencies (List Host_Dependency)
#libraries (List Library)
+ #compilers (List Compiler)
+ #sources (List Source)
#target Target
#module Module]))
@@ -49,44 +106,43 @@
{#Interpretation Interpretation}
{#Export Export}))
-(template [<name> <long> <type>]
+(template [<name> <long> <type> <parser>]
[(def: <name>
(Parser <type>)
- (<cli>.named <long> <cli>.any))]
+ (<cli>.named <long> <parser>))]
- [source_parser "--source" Source]
- [host_dependency_parser "--host_dependency" Host_Dependency]
- [library_parser "--library" Library]
- [target_parser "--target" Target]
- [module_parser "--module" Module]
+ [host_dependency_parser "--host_dependency" Host_Dependency <cli>.any]
+ [library_parser "--library" Library <cli>.any]
+ [compiler_parser "--compiler" Compiler (<text>.then ..compiler_parser' <cli>.any)]
+ [source_parser "--source" Source <cli>.any]
+ [target_parser "--target" Target <cli>.any]
+ [module_parser "--module" Module <cli>.any]
)
(def: .public service
(Parser Service)
- ($_ <>.or
- (<>.after (<cli>.this "build")
- ($_ <>.and
- (<>.some ..source_parser)
- (<>.some ..host_dependency_parser)
- (<>.some ..library_parser)
- ..target_parser
- ..module_parser))
- (<>.after (<cli>.this "repl")
- ($_ <>.and
- (<>.some ..source_parser)
- (<>.some ..host_dependency_parser)
- (<>.some ..library_parser)
- ..target_parser
- ..module_parser))
- (<>.after (<cli>.this "export")
- ($_ <>.and
- (<>.some ..source_parser)
- ..target_parser))
- ))
+ (let [compiler (: (Parser Compilation)
+ ($_ <>.and
+ (<>.some ..host_dependency_parser)
+ (<>.some ..library_parser)
+ (<>.some ..compiler_parser)
+ (<>.some ..source_parser)
+ ..target_parser
+ ..module_parser))]
+ ($_ <>.or
+ (<>.after (<cli>.this "build")
+ compiler)
+ (<>.after (<cli>.this "repl")
+ compiler)
+ (<>.after (<cli>.this "export")
+ ($_ <>.and
+ (<>.some ..source_parser)
+ ..target_parser))
+ )))
(def: .public target
(-> Service Target)
- (|>> (case> (^or {#Compilation [sources host_dependencies libraries target module]}
- {#Interpretation [sources host_dependencies libraries target module]}
+ (|>> (case> (^or {#Compilation [host_dependencies libraries compilers sources target module]}
+ {#Interpretation [host_dependencies libraries compilers sources target module]}
{#Export [sources target]})
target)))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
index 658c0e886..1bfd062fe 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux
@@ -33,10 +33,10 @@
["[0]" archive {"+" Output}
[registry {"+" Registry}]
["[0]" artifact]
- ["[0]" module]
- ["[0]" descriptor]
- ["[0]" document {"+" Document}]
- ["[0]" unit]]
+ ["[0]" unit]
+ ["[0]" module
+ ["[0]" descriptor]
+ ["[0]" document {"+" Document}]]]
["[0]" cache "_"
["[1]/[0]" module {"+" Order}]
["[1]/[0]" artifact]]
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index ba461d461..8570207be 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux {"-" Lux}
["[0]" ffi {"+" import:}]
[abstract
[order {"+" Order}]
@@ -20,12 +20,13 @@
["[0]" dictionary {"+" Dictionary}]
["[0]" set]]]
[math
- [number
+ [number {"+" hex}
["n" nat]
["i" int]]]
[tool
[compiler
[meta
+ ["[0]" cli]
["[0]" packager
["[0]_[1]" ruby]]]]]
[world
@@ -68,17 +69,17 @@
Name
<dependency>)]
- ["lux-jvm" jvm_compiler_name]
- ["lux-js" js_compiler_name]
- ["lux-python" python_compiler_name]
- ["lux-lua" lua_compiler_name]
- ["lux-ruby" ruby_compiler_name]
+ ["lux-jvm" jvm_lux_name]
+ ["lux-js" js_lux_name]
+ ["lux-python" python_lux_name]
+ ["lux-lua" lua_lux_name]
+ ["lux-ruby" ruby_lux_name]
)
-(exception: .public no_available_compiler)
+(exception: .public no_available_lux)
(exception: .public no_specified_program)
-(type: .public Compiler
+(type: .public Lux
(Variant
{#JVM Dependency}
{#JS Dependency}
@@ -92,27 +93,27 @@
(list.only (|>> product.left (same? dependency) not))
(dictionary.of_list ///dependency.hash)))
-(def: (compiler resolution compiler_dependency)
- (-> Resolution Dependency (Try [Resolution Compiler]))
- (let [[[compiler_group compiler_name compiler_version] compiler_type] compiler_dependency]
- (case (..dependency_finder compiler_group compiler_name resolution)
+(def: (lux resolution lux_dependency)
+ (-> Resolution Dependency (Try [Resolution Lux]))
+ (let [[[lux_group lux_name lux_version] lux_type] lux_dependency]
+ (case (..dependency_finder lux_group lux_name resolution)
{.#Some dependency}
- (case compiler_name
+ (case lux_name
(^template [<tag> <name>]
[(^ (static <name>))
{try.#Success [(..remove_dependency dependency resolution)
{<tag> dependency}]}])
- ([#JVM ..jvm_compiler_name]
- [#JS ..js_compiler_name]
- [#Python ..python_compiler_name]
- [#Lua ..lua_compiler_name]
- [#Ruby ..ruby_compiler_name])
+ ([#JVM ..jvm_lux_name]
+ [#JS ..js_lux_name]
+ [#Python ..python_lux_name]
+ [#Lua ..lua_lux_name]
+ [#Ruby ..ruby_lux_name])
_
- (exception.except ..no_available_compiler []))
+ (exception.except ..no_available_lux []))
_
- (exception.except ..no_available_compiler []))))
+ (exception.except ..no_available_lux []))))
(def: (path fs home dependency)
(All (_ !) (-> (file.System !) Path Dependency Path))
@@ -266,7 +267,7 @@
runtime)))
(def: .public (do! console program fs shell resolution)
- (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Compiler Path]))
+ (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Lux Path]))
(function (_ profile)
(let [target (value@ ///.#target profile)]
(case (value@ ///.#program profile)
@@ -279,32 +280,33 @@
.let [home (# program home)
working_directory (# program directory)]]
(do ///action.monad
- [[resolution compiler] (async#in (..compiler resolution (value@ ///.#compiler profile)))
+ [[resolution lux] (async#in (..lux resolution (value@ ///.#lux profile)))
.let [host_dependencies (..host_dependencies fs home resolution)
- [[command compiler_params] output] (case compiler
- {#JVM dependency}
- [(|> (value@ ///.#java profile)
- (with@ ///runtime.#parameters (list "program._"))
- (with_jvm_class_path {.#Item (..path fs home dependency) host_dependencies}))
- "program.jar"]
-
- (^template [<tag> <runtime> <program>]
- [{<tag> dependency}
- [(|> dependency
- (..path fs home)
- (///runtime.for (value@ <runtime> profile)))
- <program>]])
- ([#JS ///.#js "program.js"]
- [#Python ///.#java "program.py"]
- [#Lua ///.#java "program.lua"]
- [#Ruby ///.#java (file.rooted fs "program" ruby_packager.main_file)]))
+ [[command lux_params] output] (case lux
+ {#JVM dependency}
+ [(|> (value@ ///.#java profile)
+ (with@ ///runtime.#parameters (list "program._"))
+ (with_jvm_class_path {.#Item (..path fs home dependency) host_dependencies}))
+ "program.jar"]
+
+ (^template [<tag> <runtime> <program>]
+ [{<tag> dependency}
+ [(|> dependency
+ (..path fs home)
+ (///runtime.for (value@ <runtime> profile)))
+ <program>]])
+ ([#JS ///.#js "program.js"]
+ [#Python ///.#java "program.py"]
+ [#Lua ///.#java "program.lua"]
+ [#Ruby ///.#java (file.rooted fs "program" ruby_packager.main_file)]))
/ (# fs separator)
cache_directory (format working_directory / target)]
_ (console.write_line ..start console)
- .let [full_parameters (list.together (list compiler_params
+ .let [full_parameters (list.together (list lux_params
(list "build")
(..plural "--library" (..libraries fs home resolution))
(..plural "--host_dependency" host_dependencies)
+ (..plural "--compiler" (list#each cli.compiler_format (value@ ///.#compilers profile)))
(..plural "--source" (set.list (value@ ///.#sources profile)))
(..singular "--target" cache_directory)
(..singular "--module" program_module)))]
@@ -320,5 +322,5 @@
..failure)
console)]
(in [exit
- compiler
+ lux
(format cache_directory / output)])))))))
diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux
index 4e32a73b1..85c6fbb57 100644
--- a/stdlib/source/program/aedifex/command/deps.lux
+++ b/stdlib/source/program/aedifex/command/deps.lux
@@ -42,7 +42,7 @@
(do async.monad
[.let [dependencies (|> (value@ ///.#dependencies profile)
set.list
- {.#Item (value@ ///.#compiler profile)})]
+ {.#Item (value@ ///.#lux profile)})]
[local_successes local_failures cache] (///dependency/resolution.all console
(list local)
new_repository
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index 8f3e63706..54e1ed57f 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -1,22 +1,26 @@
(.using
- [library
- [lux "*"
- [data
- ["[0]" text ("[1]#[0]" equivalence)]
- [collection
- ["[0]" dictionary {"+" Dictionary}]
- ["[0]" list ("[1]#[0]" monad)]
- ["[0]" set {"+" Set}]]]
- [macro
- ["[0]" code]
- ["[0]" template]]]]
- ["[0]" // "_"
- ["/" profile]
- ["[1][0]" runtime {"+" Runtime}]
- ["[1][0]" project {"+" Project}]
- ["[1][0]" dependency {"+" Dependency}]
- ["[1][0]" artifact {"+" Artifact}
- ["[1]/[0]" type]]])
+ [library
+ [lux "*"
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]
+ [collection
+ ["[0]" dictionary {"+" Dictionary}]
+ ["[0]" list ("[1]#[0]" monad)]
+ ["[0]" set {"+" Set}]]]
+ [macro
+ ["[0]" code]
+ ["[0]" template]]
+ [tool
+ [compiler
+ [meta
+ [cli {"+" Compiler}]]]]]]
+ ["[0]" // "_"
+ ["/" profile]
+ ["[1][0]" runtime {"+" Runtime}]
+ ["[1][0]" project {"+" Project}]
+ ["[1][0]" dependency {"+" Dependency}]
+ ["[1][0]" artifact {"+" Artifact}
+ ["[1]/[0]" type]]])
(type: .public (Format a)
(-> a Code))
@@ -141,6 +145,14 @@
(` [(~ (code.text program))
(~+ (list#each code.text parameters))]))
+(def: (compiler [definition parameters])
+ (Format Compiler)
+ (` [(~ (code.symbol definition))
+ (~+ (list#each code.text parameters))]))
+
+(def: .public lux_compiler_label
+ "lux")
+
(def: (profile value)
(Format /.Profile)
(`` (|> ..empty
@@ -149,7 +161,8 @@
(..on_maybe "info" (value@ /.#info value) ..info)
(..on_set "repositories" (value@ /.#repositories value) code.text)
(..on_set "dependencies" (value@ /.#dependencies value) ..dependency)
- (dictionary.has "compiler" (..dependency (value@ /.#compiler value)))
+ (dictionary.has ..lux_compiler_label (..dependency (value@ /.#lux value)))
+ (..on_list "compilers" (value@ /.#compilers value) ..compiler)
(..on_set "sources" (value@ /.#sources value) code.text)
(dictionary.has "target" (code.text (value@ /.#target value)))
(..on_maybe "program" (value@ /.#program value) code.text)
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 44c16133f..52a9a292c 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -1,32 +1,35 @@
(.using
- [library
- [lux {"-" Module type}
- [abstract
- [monad {"+" do}]]
- [control
- ["<>" parser
- ["<[0]>" code {"+" Parser}]]]
- [data
- ["[0]" text]
- [collection
- ["[0]" dictionary {"+" Dictionary}]
- ["[0]" set {"+" Set}]]]
- [tool
- [compiler
- [meta
- [archive
- [descriptor {"+" Module}]]]]]
- [world
- [net {"+" URL}]]]]
- ["[0]" // "_"
- ["/" profile]
- ["[1][0]" runtime {"+" Runtime}]
- ["[1][0]" project {"+" Project}]
- ["[1][0]" dependency]
- ["[1][0]" repository "_"
- ["[1]" remote]]
- ["[1][0]" artifact {"+" Artifact}
- ["[1]/[0]" type]]])
+ [library
+ [lux {"-" Module type}
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["<>" parser
+ ["<[0]>" code {"+" Parser}]]]
+ [data
+ ["[0]" text]
+ [collection
+ ["[0]" dictionary {"+" Dictionary}]
+ ["[0]" set {"+" Set}]]]
+ [tool
+ [compiler
+ [meta
+ [cli {"+" Compiler}]
+ [archive
+ [module
+ [descriptor {"+" Module}]]]]]]
+ [world
+ [net {"+" URL}]]]]
+ ["[0]" // "_"
+ ["/" profile]
+ ["[1][0]" runtime {"+" Runtime}]
+ ["[1][0]" project {"+" Project}]
+ ["[1][0]" dependency]
+ ["[1][0]" format]
+ ["[1][0]" repository "_"
+ ["[1]" remote]]
+ ["[1][0]" artifact {"+" Artifact}
+ ["[1]/[0]" type]]])
(def: (as_input input)
(-> (Maybe Code) (List Code))
@@ -155,6 +158,14 @@
(<>.else //artifact/type.lux_library ..type)
)))
+(def: compiler
+ (Parser Compiler)
+ (<code>.tuple
+ ($_ <>.and
+ <code>.global_symbol
+ (<>.some <code>.text)
+ )))
+
(def: source
(Parser /.Source)
<code>.text)
@@ -203,9 +214,12 @@
(|> (..plural input "dependencies" ..dependency)
(# ! each (set.of_list //dependency.hash))
(<>.else (set.empty //dependency.hash))))
- ^compiler (|> ..dependency
- (..singular input "compiler")
- (<>.else /.default_compiler))
+ ^lux (|> ..dependency
+ (..singular input //format.lux_compiler_label)
+ (<>.else /.default_compiler))
+ ^compilers (|> ..compiler
+ (..plural input "compilers")
+ (<>.else (list)))
^sources (: (Parser (Set /.Source))
(|> (..plural input "sources" ..source)
(# ! each (set.of_list text.hash))
@@ -245,7 +259,8 @@
^info
^repositories
^dependencies
- ^compiler
+ ^lux
+ ^compilers
^sources
^target
^program
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index cdcfd3af5..eeabf5f82 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -1,40 +1,44 @@
(.using
- [library
- [lux {"-" Info Source Module}
- [abstract
- [monoid {"+" Monoid}]
- [equivalence {"+" Equivalence}]]
- [control
- ["[0]" maybe ("[1]#[0]" monoid)]
- ["[0]" exception {"+" exception:}]]
- [data
- ["[0]" product]
- ["[0]" text ("[1]#[0]" equivalence)]
- [collection
- ["[0]" dictionary {"+" Dictionary}]
- ["[0]" list ("[1]#[0]" monoid)]
- ["[0]" set {"+" Set}]]]
- [macro
- ["[0]" template]]
- [world
- [net {"+" URL}]
- [file {"+" Path}]]
- [tool
- [compiler
- [meta
- [archive
- [descriptor {"+" Module}]]]]]]]
- [//
- ["[0]" runtime {"+" Runtime} ("[1]#[0]" equivalence)]
- ["[0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)]
- ["[0]" artifact {"+" Artifact}
- ["[0]" type]]
- [repository
- [remote {"+" Address}]]])
+ [library
+ [lux {"-" Info Source Module}
+ [abstract
+ [monoid {"+" Monoid}]
+ [equivalence {"+" Equivalence}]]
+ [control
+ ["[0]" maybe ("[1]#[0]" monoid)]
+ ["[0]" exception {"+" exception:}]]
+ [data
+ ["[0]" product]
+ ["[0]" text ("[1]#[0]" equivalence)]
+ [collection
+ ["[0]" dictionary {"+" Dictionary}]
+ ["[0]" list ("[1]#[0]" monoid)]
+ ["[0]" set {"+" Set}]]]
+ [macro
+ ["[0]" template]]
+ [meta
+ ["[0]" symbol]]
+ [world
+ [net {"+" URL}]
+ [file {"+" Path}]]
+ [tool
+ [compiler
+ [meta
+ ["[0]" cli {"+" Compiler}]
+ [archive
+ [module
+ [descriptor {"+" Module}]]]]]]]]
+ [//
+ ["[0]" runtime {"+" Runtime} ("[1]#[0]" equivalence)]
+ ["[0]" dependency {"+" Dependency} ("[1]#[0]" equivalence)]
+ ["[0]" artifact {"+" Artifact}
+ ["[0]" type]]
+ [repository
+ [remote {"+" Address}]]])
(def: .public default_compiler
Dependency
- [dependency.#artifact ["com.github.luxlang" "lux-jvm" "0.6.0"]
+ [dependency.#artifact ["com.github.luxlang" "lux-jvm" "0.6.5"]
dependency.#type type.jvm_library])
(type: .public Distribution
@@ -162,7 +166,8 @@
#info (Maybe Info)
#repositories (Set Address)
#dependencies (Set Dependency)
- #compiler Dependency
+ #lux Dependency
+ #compilers (List Compiler)
#sources (Set Source)
#target Target
#program (Maybe Module)
@@ -187,8 +192,10 @@
set.equivalence
... #dependencies
set.equivalence
- ... #compiler
+ ... #lux
dependency.equivalence
+ ... #compilers
+ (list.equivalence cli.compiler_equivalence)
... #sources
set.equivalence
... #target
@@ -219,7 +226,8 @@
#info {.#None}
#repositories (set.empty text.hash)
#dependencies (set.empty dependency.hash)
- #compiler default_compiler
+ #lux default_compiler
+ #compilers (list)
#sources (set.empty text.hash)
#target ..default_target
#program {.#None}
@@ -241,9 +249,10 @@
#info (maybe#composite (value@ #info override) (value@ #info baseline))
#repositories (set.union (value@ #repositories baseline) (value@ #repositories override))
#dependencies (set.union (value@ #dependencies baseline) (value@ #dependencies override))
- #compiler (if (dependency#= ..default_compiler (value@ #compiler override))
- (value@ #compiler baseline)
- (value@ #compiler override))
+ #lux (if (dependency#= ..default_compiler (value@ #lux override))
+ (value@ #lux baseline)
+ (value@ #lux override))
+ #compilers (list#composite (value@ #compilers baseline) (value@ #compilers override))
#sources (set.union (value@ #sources baseline) (value@ #sources override))
#target (if (text#= ..default_target (value@ #target baseline))
(value@ #target override)
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index 0d90a15dc..b2a5f4d15 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -152,7 +152,7 @@
(<| (or_crash! "Compilation failed:")
..timed
(do (try.with async.monad)
- [.let [[compilation_sources compilation_host_dependencies compilation_libraries compilation_target compilation_module] compilation]
+ [.let [[compilation_host_dependencies compilation_libraries compilation_compilers compilation_sources compilation_target compilation_module] compilation]
import (/import.import (value@ platform.#&file_system platform) compilation_libraries)
[state archive phase_wrapper] (:sharing [<parameters>]
(Platform <parameters>)
diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux
index e936ba850..dc4a3871f 100644
--- a/stdlib/source/test/lux/target/python.lux
+++ b/stdlib/source/test/lux/target/python.lux
@@ -5,7 +5,10 @@
["[0]" ffi]
[abstract
[monad {"+" do}]
- ["[0]" predicate]]
+ ["[0]" predicate]
+ [\\specification
+ ["$[0]" equivalence]
+ ["$[0]" hash]]]
[control
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try {"+" Try} ("[1]#[0]" functor)]]
@@ -125,6 +128,12 @@
[/.>= f.>=]
[/.= f.=]
))
+ (_.cover [/.float/1]
+ (expression (|>> (:as Frac) (f.= subject))
+ (/.float/1 (/.string (%.frac subject)))))
+ (_.cover [/.repr/1]
+ (expression (|>> (:as Text) (text#= (text.replaced "+" "" (%.frac subject))))
+ (/.repr/1 (/.float subject))))
))))
(def: int/16
@@ -163,6 +172,12 @@
(expression (|>> (:as Frac) f.int (i.= expected))
(/.bit_shr (/.int (.int shift))
(/.int i16)))))
+ (_.cover [/.int/1]
+ (expression (|>> (:as Int) (i.= left))
+ (/.int/1 (/.string (%.int left)))))
+ (_.cover [/.str/1]
+ (expression (|>> (:as Text) (text#= (text.replaced "+" "" (%.int left))))
+ (/.str/1 (/.int left))))
))))
(def: test|array
@@ -301,10 +316,15 @@
(def: .public test
Test
(do [! random.monad]
- []
+ [.let [random (# ! each /.int random.int)]]
(<| (_.covering /._)
(_.for [/.Code /.code])
($_ _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence random))
+ (_.for [/.hash]
+ ($hash.spec /.hash random))
+
(_.for [/.Expression]
..test|expression)
))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
index ccca4213f..135ac5840 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
@@ -24,13 +24,14 @@
[number
["f" frac]]]]]
["[0]" / "_"
- ["[1][0]" simple]
["[1][0]" complex]
- ["[1][0]" pattern]
+ ["[1][0]" inference]
["[1][0]" macro]
- ["[1][0]" type]
["[1][0]" module]
- ["[1][0]" inference]
+ ["[1][0]" pattern]
+ ["[1][0]" scope]
+ ["[1][0]" simple]
+ ["[1][0]" type]
[////
["[1][0]" reference
["[2][0]" variable]]
@@ -437,11 +438,12 @@
(bit#= (# /.equivalence = left right)
(text#= (/.format left) (/.format right))))
- /simple.test
/complex.test
- /pattern.test
+ /inference.test
/macro.test
- /type.test
/module.test
- /inference.test
+ /pattern.test
+ /scope.test
+ /simple.test
+ /type.test
))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
new file mode 100644
index 000000000..dbd1f83de
--- /dev/null
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
@@ -0,0 +1,203 @@
+(.using
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ [pipe {"+" case>}]
+ ["[0]" maybe ("[1]#[0]" functor)]
+ ["[0]" try ("[1]#[0]" functor)]
+ ["[0]" exception]]
+ [data
+ ["[0]" product]
+ [collection
+ ["[0]" list]]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number
+ ["n" nat]]]
+ ["[0]" type "_"
+ ["$[1]" \\test]]]]
+ [\\library
+ ["[0]" /
+ ["/[1]" //
+ [//
+ [phase
+ ["[1][0]" extension]]
+ [///
+ ["[1][0]" phase ("[1]#[0]" monad)]
+ [reference
+ ["[1][0]" variable {"+" Register Variable}]]]]]]]
+ ["$[0]" // "_"
+ ["[1][0]" type]])
+
+(template [<name> <tag>]
+ [(def: (<name> expected_type expected_register [actual_type actual_var])
+ (-> Type Register [Type Variable] Bit)
+ (and (same? expected_type actual_type)
+ (case actual_var
+ {<tag> actual_register}
+ (n.= expected_register actual_register)
+
+ _
+ false)))]
+
+ [local? //variable.#Local]
+ [foreign? //variable.#Foreign]
+ )
+
+(def: .public test
+ Test
+ (<| (_.covering /._)
+ (do [! random.monad]
+ [lux $//type.random_state
+ .let [state [//extension.#bundle //extension.empty
+ //extension.#state lux]]
+ name/0 (random.ascii/lower 1)
+ name/1 (random.ascii/lower 2)
+ type/0 ($type.random 0)
+ type/1 ($type.random 0)]
+ ($_ _.and
+ (_.cover [/.find]
+ (|> (/.find name/0)
+ /.with
+ (//phase.result state)
+ (try#each (|>> product.right
+ (case> {.#None} true
+ {.#Some _} false)))
+ (try.else false)))
+ (_.cover [/.with_local]
+ (|> (/.with_local [name/0 type/0]
+ (/.find name/0))
+ /.with
+ (//phase.result state)
+ (try#each (|>> product.right
+ (maybe#each (..local? type/0 0))
+ (maybe.else false)))
+ (try.else false)))
+ (_.cover [/.next]
+ (|> (<| (do [! //phase.monad]
+ [register/0 /.next])
+ (/.with_local [name/0 type/0])
+ (do !
+ [var/0 (/.find name/0)])
+ (do !
+ [register/1 /.next])
+ (/.with_local [name/1 type/1])
+ (do !
+ [var/1 (/.find name/1)])
+ (in (do maybe.monad
+ [var/0 var/0
+ var/1 var/1]
+ (in [[register/0 var/0] [register/1 var/1]]))))
+ /.with
+ (//phase.result state)
+ (try#each (|>> product.right
+ (maybe#each (function (_ [[register/0 var/0] [register/1 var/1]])
+ (and (..local? type/0 register/0 var/0)
+ (..local? type/1 register/1 var/1))))
+ (maybe.else false)))
+ (try.else false)))
+ (_.cover [/.no_scope]
+ (and (|> (/.with_local [name/0 type/0]
+ (//phase#in false))
+ (//phase.result state)
+ (exception.otherwise (exception.match? /.no_scope)))
+ (|> (do //phase.monad
+ [_ /.next]
+ (in false))
+ (//phase.result state)
+ (exception.otherwise (exception.match? /.no_scope)))))
+ (_.cover [/.reset]
+ (and (|> /.next
+ (/.with_local [name/0 type/0])
+ /.with
+ (//phase.result state)
+ (try#each (|>> product.right
+ (n.= 1)))
+ (try.else false))
+ (|> /.next
+ /.reset
+ (/.with_local [name/0 type/0])
+ /.with
+ (//phase.result state)
+ (try#each (|>> product.right
+ (n.= 0)))
+ (try.else false))))
+ (_.cover [/.drained]
+ (|> (function (_ [bundle state])
+ {try.#Success [[bundle (with@ .#scopes (list) state)]
+ false]})
+ (/.with_local [name/0 type/0])
+ /.with
+ (//phase#each product.right)
+ (//phase.result state)
+ (exception.otherwise (exception.match? /.drained))))
+ (_.cover [/.with]
+ (|> (<| /.with
+ (/.with_local [name/0 type/0])
+ (do //phase.monad
+ [var/0' (/.find name/0)
+ [scope/1 var/0''] (/.with (/.find name/0))]
+ (<| //phase.lifted
+ try.of_maybe
+ (do maybe.monad
+ [var/0' var/0'
+ var/0'' var/0'']
+ (in [var/0' scope/1 var/0''])))))
+ (//phase.result state)
+ (try#each (function (_ [scope/0 var/0' scope/1 var/0''])
+ (and (local? type/0 0 var/0')
+ (n.= 0 (list.size (value@ [.#locals .#mappings] scope/0)))
+ (n.= 0 (list.size (value@ [.#captured .#mappings] scope/0)))
+
+ (foreign? type/0 0 var/0'')
+ (n.= 0 (list.size (value@ [.#locals .#mappings] scope/1)))
+ (n.= 1 (list.size (value@ [.#captured .#mappings] scope/1))))))
+ (try.else false)))
+ (_.cover [/.environment]
+ (let [(^open "list#[0]") (list.equivalence //variable.equivalence)]
+ (and (|> (<| /.with
+ (/.with_local [name/0 type/0])
+ (/.with_local [name/1 type/1])
+ (do //phase.monad
+ [[scope/1 _] (/.with (in []))]
+ (in (/.environment scope/1))))
+ (//phase.result state)
+ (try#each (|>> product.right
+ (list#= (list))))
+ (try.else false))
+ (|> (<| /.with
+ (do [! //phase.monad]
+ [register/0 /.next])
+ (/.with_local [name/0 type/0])
+ (/.with_local [name/1 type/1])
+ (do !
+ [[scope/1 _] (/.with (/.find name/0))]
+ (in [register/0 (/.environment scope/1)])))
+ (//phase.result state)
+ (try#each (function (_ [_ [register/0 environment]])
+ (list#= (list {//variable.#Local register/0})
+ environment)))
+ (try.else false))
+ (|> (<| /.with
+ (do [! //phase.monad]
+ [register/0 /.next])
+ (/.with_local [name/0 type/0])
+ (do [! //phase.monad]
+ [register/1 /.next])
+ (/.with_local [name/1 type/1])
+ (do [! //phase.monad]
+ [[scope/1 _] (/.with (do !
+ [_ (/.find name/1)
+ _ (/.find name/0)]
+ (in [])))]
+ (in [register/0 register/1 (/.environment scope/1)])))
+ (//phase.result state)
+ (try#each (function (_ [_ [register/0 register/1 environment]])
+ (list#= (list {//variable.#Local register/1}
+ {//variable.#Local register/0})
+ environment)))
+ (try.else false)))))
+ ))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
index 781a7f38f..2e63f1bc8 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
@@ -22,7 +22,7 @@
[///
["[2][0]" phase]]]]]])
-(def: random_state
+(def: .public random_state
(Random Lux)
(do random.monad
[version random.nat
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index 89c341c2a..fcf0a556e 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -42,7 +42,8 @@
["[2][0]" macro]
["[2][0]" type]
["[2][0]" module]
- ["[2][0]" complex]]
+ ["[2][0]" complex]
+ ["[2][0]" scope]]
[///
["[1][0]" phase ("[1]#[0]" monad)]
[meta
@@ -488,7 +489,7 @@
(//phase.result state)
(case> {try.#Success {.#None}}
true
-
+
_
false)))))
(_.cover [/.order]
@@ -499,7 +500,7 @@
(|> (do //phase.monad
[_ (//module.declare_labels true slots/0 false :record:)]
(/.order pattern_matching? input))
- //analysis.with_scope
+ //scope.with
(//module.with_module 0 module)
(//phase#each (|>> product.right product.right))
(//phase.result state)
@@ -554,7 +555,7 @@
(|> (do //phase.monad
[_ (//module.declare_labels true slots/0 false :record:)]
(/.order pattern_matching? input))
- //analysis.with_scope
+ //scope.with
(//module.with_module 0 module)
(//phase.result state)
(..failure? /.record_size_mismatch))))]
@@ -574,7 +575,7 @@
[_ (//module.declare_labels true slots/0 false :record:)
_ (//module.declare_labels true slots/1 false :record:)]
(/.order pattern_matching? input))
- //analysis.with_scope
+ //scope.with
(//module.with_module 0 module)
(//phase.result state)
(..failure? /.slot_does_not_belong_to_record))))]
@@ -589,7 +590,7 @@
[_ (//module.declare_labels true slots false type)]
(/.record ..analysis archive.empty tuple))
(//type.expecting type)
- //analysis.with_scope
+ //scope.with
(//module.with_module 0 module)
(//phase#each (|>> product.right product.right))
(//phase.result state)
@@ -601,7 +602,7 @@
[_ (//module.declare_labels true slots/0 false :record:)]
(//type.inferring
(/.record ..analysis archive.empty record)))
- //analysis.with_scope
+ //scope.with
(//module.with_module 0 module)
(//phase#each (|>> product.right product.right))
(//phase.result state)
diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
index 7c5f0266e..5a128b0ff 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux
@@ -15,12 +15,23 @@
[collection
["[0]" list ("[1]#[0]" monoid monad)]]]
[math
- ["[0]" random]
+ ["[0]" random {"+" Random}]
[number
- ["n" nat]]]]]
+ ["n" nat]]]
+ [meta
+ ["[0]" symbol "_"
+ ["$[1]" \\test]]]]]
[\\library
["[0]" /]])
+(def: random_compiler
+ (Random /.Compiler)
+ (do [! random.monad]
+ [definition ($symbol.random 1 1)
+ amount (# ! each (n.% 5) random.nat)
+ parameters (random.list amount (random.ascii/lower 2))]
+ (in [definition parameters])))
+
(def: .public test
Test
(<| (_.covering /._)
@@ -33,10 +44,12 @@
libraries (random.list amount (random.ascii/lower 3))
target (random.ascii/lower 4)
module (random.ascii/lower 5)
+ compilers (random.list amount ..random_compiler)
.let [compilation' ($_ list#composite
- (list#conjoint (list#each (|>> (list "--source")) sources))
(list#conjoint (list#each (|>> (list "--host_dependency")) host_dependencies))
(list#conjoint (list#each (|>> (list "--library")) libraries))
+ (list#conjoint (list#each (|>> /.compiler_format (list "--compiler")) compilers))
+ (list#conjoint (list#each (|>> (list "--source")) sources))
(list "--target" target)
(list "--module" module))
export ($_ list#composite
@@ -58,9 +71,10 @@
false)))
(try.else false)))]
- [/.Source /.#sources (list#= sources)]
[/.Host_Dependency /.#host_dependencies (list#= host_dependencies)]
[/.Library /.#libraries (list#= libraries)]
+ [/.Compiler /.#compilers (# (list.equivalence /.compiler_equivalence) = compilers)]
+ [/.Source /.#sources (list#= sources)]
[/.Target /.#target (same? target)]
[/.Module /.#module (same? module)]
))
@@ -78,9 +92,10 @@
false)))
(try.else false))]
- [/.#sources (list#= sources)]
[/.#host_dependencies (list#= host_dependencies)]
[/.#libraries (list#= libraries)]
+ [/.#compilers (# (list.equivalence /.compiler_equivalence) = compilers)]
+ [/.#sources (list#= sources)]
[/.#target (same? target)]
[/.#module (same? module)]
)))))
@@ -104,14 +119,16 @@
(`` (and (~~ (template [<it>]
[(same? target (/.target <it>))]
- [{/.#Compilation [/.#sources sources
- /.#host_dependencies host_dependencies
+ [{/.#Compilation [/.#host_dependencies host_dependencies
/.#libraries libraries
+ /.#compilers compilers
+ /.#sources sources
/.#target target
/.#module module]}]
- [{/.#Interpretation [/.#sources sources
- /.#host_dependencies host_dependencies
+ [{/.#Interpretation [/.#host_dependencies host_dependencies
/.#libraries libraries
+ /.#compilers compilers
+ /.#sources sources
/.#target target
/.#module module]}]
[{/.#Export [sources target]}]