aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/data/format/tar.lux123
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/generation.lux34
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux11
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux66
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux9
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux17
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/program.lux17
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux11
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux23
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux35
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux33
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/io/archive.lux5
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager.lux9
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux8
-rw-r--r--stdlib/source/program/compositor.lux7
-rw-r--r--stdlib/source/test/lux.lux293
-rw-r--r--stdlib/source/test/lux/extension.lux4
-rw-r--r--stdlib/source/test/lux/tool.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux7
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux7
-rw-r--r--stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux36
25 files changed, 472 insertions, 310 deletions
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index 6ee1bd38b..c4962a187 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -1,37 +1,37 @@
(.using
- [library
- [lux {"-" Mode and}
- [abstract
- [monad {"+" do}]]
- [control
- [pipe {"+" case>}]
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]
- ["<>" parser
- ["<[0]>" binary {"+" Parser}]]]
- [data
- ["[0]" product]
- ["[0]" binary {"+" Binary}]
- ["[0]" text {"+" Char}
- ["%" format {"+" format}]
- [encoding
- ["[0]" utf8]]]
- ["[0]" format "_"
- ["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]
- [collection
- ["[0]" list ("[1]#[0]" mix)]
- ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
- [math
- ["[0]" number
- ["n" nat]
- ["[0]" i64]]]
- [time
- ["[0]" instant {"+" Instant}]
- ["[0]" duration]]
- [world
- ["[0]" file]]
- [type
- abstract]]])
+ [library
+ [lux {"-" Mode and}
+ [abstract
+ [monad {"+" do}]]
+ [control
+ [pipe {"+" case>}]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["<>" parser
+ ["<[0]>" binary {"+" Parser}]]]
+ [data
+ ["[0]" product]
+ ["[0]" binary {"+" Binary}]
+ ["[0]" text {"+" Char}
+ ["%" format {"+" format}]
+ [encoding
+ ["[0]" utf8]]]
+ ["[0]" format "_"
+ ["[1]" binary {"+" Writer} ("[1]#[0]" monoid)]]
+ [collection
+ ["[0]" list ("[1]#[0]" mix)]
+ ["[0]" sequence {"+" Sequence} ("[1]#[0]" mix)]]]
+ [math
+ ["[0]" number
+ ["n" nat]
+ ["[0]" i64]]]
+ [time
+ ["[0]" instant {"+" Instant}]
+ ["[0]" duration]]
+ [world
+ ["[0]" file]]
+ [type
+ abstract]]])
(type: Size
Nat)
@@ -425,8 +425,8 @@
(def: link_flag_parser
(Parser Link_Flag)
(do <>.monad
- [linkflag <binary>.bits/8]
- (case (.nat linkflag)
+ [it <binary>.bits/8]
+ (case (.nat it)
(^template [<value> <link_flag>]
[(^ <value>)
(in <link_flag>)])
@@ -434,7 +434,7 @@
_
(<>.lifted
- (exception.except ..invalid_link_flag [(.nat linkflag)]))))))
+ (exception.except ..invalid_link_flag [(.nat it)]))))))
)
(abstract: .public Mode
@@ -803,19 +803,10 @@
#major_device major_device
#minor_device minor_device])))
-(exception: .public (wrong_link_flag [expected Link_Flag
- actual Link_Flag])
- (exception.report
- ["Expected" (%.nat (..link_flag expected))]
- ["Actual" (%.nat (..link_flag actual))]))
-
-(def: (file_parser expected)
- (-> Link_Flag (Parser File))
+(def: (file_parser header)
+ (-> Header (Parser File))
(do <>.monad
- [header ..header_parser
- _ (<>.assertion (exception.error ..wrong_link_flag [expected (value@ #link_flag header)])
- (same? expected (value@ #link_flag header)))
- .let [size (value@ #size header)
+ [.let [size (value@ #size header)
rounded_size (..rounded_content_size size)]
content (<binary>.segment (..from_big size))
content (<>.lifted (..content content))
@@ -835,28 +826,22 @@
#id (value@ #group_id header)]]
content])))
-(def: (file_name_parser expected extractor)
- (-> Link_Flag (-> Header Path) (Parser Path))
- (do <>.monad
- [header ..header_parser
- _ (<>.lifted
- (exception.assertion ..wrong_link_flag [expected (value@ #link_flag header)]
- (n.= (..link_flag expected)
- (..link_flag (value@ #link_flag header)))))]
- (in (extractor header))))
-
(def: entry_parser
(Parser Entry)
- ($_ <>.either
- (# <>.monad each (|>> {..#Normal})
- (<>.either (..file_parser ..normal)
- (..file_parser ..old_normal)))
- (# <>.monad each (|>> {..#Symbolic_Link})
- (..file_name_parser ..symbolic_link (value@ #link_name)))
- (# <>.monad each (|>> {..#Directory})
- (..file_name_parser ..directory (value@ #path)))
- (# <>.monad each (|>> {..#Contiguous})
- (..file_parser ..contiguous))))
+ (do [! <>.monad]
+ [header ..header_parser]
+ (cond (same? ..contiguous (value@ #link_flag header))
+ (# ! each (|>> {..#Contiguous}) (..file_parser header))
+
+ (same? ..symbolic_link (value@ #link_flag header))
+ (in {..#Symbolic_Link (value@ #link_name header)})
+
+ (same? ..directory (value@ #link_flag header))
+ (in {..#Directory (value@ #path header)})
+
+ ... (or (same? ..normal (value@ #link_flag header))
+ ... (same? ..old_normal (value@ #link_flag header)))
+ (# ! each (|>> {..#Normal}) (..file_parser header)))))
... It's safe to implement the parser this way because the range of values for Nat is 2^64
... Whereas the maximum possible value for the checksum of a 512 block is (256 × 512) = 131,072
@@ -882,6 +867,6 @@
(def: .public parser
(Parser Tar)
- (|> (<>.some entry_parser)
+ (|> (<>.some ..entry_parser)
(# <>.monad each sequence.of_list)
(<>.before ..end_of_archive_parser)))
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 218e9172d..0a7138dca 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
@@ -23,7 +23,7 @@
["[0]P" analysis]
[//
["[0]" synthesis]
- ["[0]" generation {"+" Context}]
+ ["[0]" generation]
[///
["[0]" phase]
[meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index b561975c1..74580074c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -34,10 +34,8 @@
["[0]" descriptor]
["[0]" module]
["[0]" artifact]
- ["[0]" registry {"+" Registry}]]]]])
-
-(type: .public Context
- [module.ID artifact.ID])
+ ["[0]" registry {"+" Registry}]
+ ["[0]" unit]]]]])
(type: .public (Buffer directive)
(Sequence [artifact.ID (Maybe Text) directive]))
@@ -57,18 +55,18 @@
(type: .public (Host expression directive)
(Interface
- (: (-> Context expression (Try Any))
+ (: (-> unit.ID expression (Try Any))
evaluate)
(: (-> directive (Try Any))
execute)
- (: (-> Context (Maybe Text) expression (Try [Text Any directive]))
+ (: (-> unit.ID (Maybe Text) expression (Try [Text Any directive]))
define)
- (: (-> Context Binary directive)
+ (: (-> unit.ID Binary directive)
ingest)
- (: (-> Context (Maybe Text) directive (Try Any))
+ (: (-> unit.ID (Maybe Text) directive (Try Any))
re_learn)
- (: (-> Context (Maybe Text) directive (Try Any))
+ (: (-> unit.ID (Maybe Text) directive (Try Any))
re_load)))
(type: .public (State anchor expression directive)
@@ -204,7 +202,7 @@
(def: .public (evaluate! label code)
(All (_ anchor expression directive)
- (-> Context expression (Operation anchor expression directive Any)))
+ (-> unit.ID expression (Operation anchor expression directive Any)))
(function (_ (^@ state+ [bundle state]))
(case (# (value@ #host state) evaluate label code)
{try.#Success output}
@@ -226,7 +224,7 @@
(def: .public (define! context custom code)
(All (_ anchor expression directive)
- (-> Context (Maybe Text) expression (Operation anchor expression directive [Text Any directive])))
+ (-> unit.ID (Maybe Text) expression (Operation anchor expression directive [Text Any directive])))
(function (_ (^@ stateE [bundle state]))
(case (# (value@ #host state) define context custom code)
{try.#Success output}
@@ -253,7 +251,7 @@
(template [<mandatory?> <inputs> <input_types> <name> <artifact>]
[(`` (def: .public (<name> name (~~ (template.spliced <inputs>)) dependencies)
(All (_ anchor expression directive)
- (-> Text (~~ (template.spliced <input_types>)) (Set artifact.Dependency) (Operation anchor expression directive artifact.ID)))
+ (-> Text (~~ (template.spliced <input_types>)) (Set unit.ID) (Operation anchor expression directive artifact.ID)))
(function (_ (^@ stateE [bundle state]))
(let [[id registry'] (<artifact> name <mandatory?> dependencies (value@ #registry state))]
{try.#Success [[bundle (with@ #registry registry' state)]
@@ -276,7 +274,7 @@
(def: .public (remember archive name)
(All (_ anchor expression directive)
- (-> Archive Symbol (Operation anchor expression directive Context)))
+ (-> Archive Symbol (Operation anchor expression directive unit.ID)))
(function (_ (^@ stateE [bundle state]))
(let [[_module _name] name]
(do try.monad
@@ -305,7 +303,7 @@
(def: .public (context archive)
(All (_ anchor expression directive)
- (-> Archive (Operation anchor expression directive Context)))
+ (-> Archive (Operation anchor expression directive unit.ID)))
(function (_ (^@ stateE [bundle state]))
(case (value@ #context state)
{.#None}
@@ -340,8 +338,8 @@
(def: .public (with_new_context archive dependencies body)
(All (_ anchor expression directive a)
- (-> Archive (Set artifact.Dependency) (Operation anchor expression directive a)
- (Operation anchor expression directive [Context a])))
+ (-> Archive (Set unit.ID) (Operation anchor expression directive a)
+ (Operation anchor expression directive [unit.ID a])))
(function (_ (^@ stateE [bundle state]))
(let [[id registry'] (registry.resource false dependencies (value@ #registry state))
id (n.+ id (value@ #registry_shift state))]
@@ -366,7 +364,7 @@
(def: .public (with_interim_artifacts archive body)
(All (_ anchor expression directive a)
(-> Archive (Operation anchor expression directive a)
- (Operation anchor expression directive [(Set Context) a])))
+ (Operation anchor expression directive [(Set unit.ID) a])))
(do phase.monad
[module (extension.read (value@ #module))]
(function (_ state+)
@@ -377,6 +375,6 @@
(with@ #interim_artifacts (list) state')]
[(list#mix (function (_ artifact_id dependencies)
(set.has [module_id artifact_id] dependencies))
- artifact.no_dependencies
+ unit.none
(value@ #interim_artifacts state'))
output]])))))
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 872b224b4..8d23b355c 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
@@ -51,7 +51,8 @@
["[0]" phase]
[meta
[archive {"+" Archive}
- ["[0]" artifact]]]
+ ["[0]" artifact]
+ ["[0]" unit]]]
[language
[lux
["[0]" synthesis]
@@ -440,7 +441,7 @@
(directive.lifted_generation
(do [! phase.monad]
[.let [artifact [name bytecode]]
- artifact_id (generation.learn_custom name artifact.no_dependencies)
+ artifact_id (generation.learn_custom name unit.none)
_ (generation.execute! artifact)
_ (generation.save! artifact_id {.#Some name} artifact)
_ (generation.log! (format "JVM Class " name))]
@@ -555,7 +556,7 @@
(list)
(list#each ..method_declaration method_declarations)
sequence.empty))
- artifact_id (generation.learn_custom name artifact.no_dependencies)
+ artifact_id (generation.learn_custom name unit.none)
.let [artifact [name bytecode]]
_ (generation.execute! artifact)
_ (generation.save! artifact_id {.#Some name} artifact)
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 73c67165f..99bcd7e85 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
@@ -39,7 +39,7 @@
["[0]A" type]
["[0]A" module]]
["[1][0]" synthesis {"+" Synthesis}]
- ["[1][0]" generation {"+" Context}]
+ ["[1][0]" generation]
["[1][0]" directive {"+" Import Requirements Phase Operation Handler Bundle}]
["[1][0]" program {"+" Program}]
[///
@@ -47,7 +47,8 @@
[meta
["[0]" archive {"+" Archive}
["[0]" artifact]
- ["[0]" module]]
+ ["[0]" module]
+ ["[0]" unit]]
["[0]" cache "_"
["[1]/[0]" artifact]]]]]]])
@@ -69,7 +70,7 @@
(phase.except ///.invalid_syntax [extension_name %.code inputs]))))
(def: (context [module_id artifact_id])
- (-> Context Context)
+ (-> unit.ID unit.ID)
... TODO: Find a better way that doesn't rely on clever tricks.
[module_id (n.- (++ artifact_id) 0)])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index d8dc8d591..02cf2791f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -71,7 +71,8 @@
["[2][0]" variable {"+" Variable Register}]]
[meta
["[0]" archive {"+" Archive}
- ["[0]" artifact]]
+ ["[0]" artifact]
+ ["[0]" unit]]
["[0]" cache "_"
["[1]/[0]" artifact]]]]]]])
@@ -1068,7 +1069,7 @@
(unwrap_primitive _.dreturn type.double)))))))
(def: (method_dependencies archive method)
- (-> Archive (/.Overriden_Method Synthesis) (Operation (Set artifact.Dependency)))
+ (-> Archive (/.Overriden_Method Synthesis) (Operation (Set unit.ID)))
(let [[_super _name _strict_fp? _annotations
_t_vars _this _arguments _return _exceptions
bodyS] method]
@@ -1076,7 +1077,7 @@
(def: (anonymous_dependencies archive inputsTS overriden_methods)
(-> Archive (List Input) (List [(Environment Synthesis) (/.Overriden_Method Synthesis)])
- (Operation (Set artifact.Dependency)))
+ (Operation (Set unit.ID)))
(do [! //////.monad]
[all_input_dependencies (monad.each ! (|>> product.right (cache/artifact.dependencies archive)) inputsTS)
all_closure_dependencies (|> overriden_methods
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 0b14f240e..e232874c4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -40,10 +40,11 @@
[compiler
[language
[lux
- [version {"+" version}]
- [generation {"+" Context}]]]
+ [version {"+" version}]]]
[meta
- [io {"+" lux_context}]]]]]]
+ [io {"+" lux_context}]
+ [archive
+ ["[0]" unit]]]]]]]
["[0]" // "_"
["[1][0]" runtime {"+" Definition}]]
)
@@ -110,7 +111,7 @@
".")
(def: .public (class_name [module_id artifact_id])
- (-> Context Text)
+ (-> unit.ID Text)
(format lux_context
..class_path_separator (%.nat version)
..class_path_separator (%.nat module_id)
@@ -156,7 +157,7 @@
(loader.load class_name loader))))
(def: (define! library loader context custom valueG)
- (-> Library java/lang/ClassLoader Context (Maybe Text) (Bytecode Any) (Try [Text Any Definition]))
+ (-> Library java/lang/ClassLoader unit.ID (Maybe Text) (Bytecode Any) (Try [Text Any Definition]))
(let [class_name (maybe.else (..class_name context)
custom)]
(do try.monad
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
index 357922e6c..7f72697ca 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux
@@ -1,35 +1,37 @@
(.using
- [library
- [lux {"-" Definition}
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try]]
- [data
- [collection
- ["[0]" sequence]]
- ["[0]" format "_"
- ["[1]" binary]]]
- [target
- [jvm
- ["_" bytecode {"+" Bytecode}]
- ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)]
- ["[0]" method {"+" Method}]
- ["[0]" version]
- ["[0]" class {"+" Class}]
- [encoding
- ["[0]" name]]
- ["[0]" type
- ["[0]" reflection]]]]
- [tool
- [compiler
- [language
- [lux
- [generation {"+" Context}]
- [program {"+" Program}]]]]]]]
- ["[0]" //
- ["[1][0]" runtime {"+" Definition}]
- ["[1][0]" function/abstract]])
+ [library
+ [lux {"-" Definition}
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try]]
+ [data
+ [collection
+ ["[0]" sequence]]
+ ["[0]" format "_"
+ ["[1]" binary]]]
+ [target
+ [jvm
+ ["_" bytecode {"+" Bytecode}]
+ ["[0]" modifier {"+" Modifier} ("[1]#[0]" monoid)]
+ ["[0]" method {"+" Method}]
+ ["[0]" version]
+ ["[0]" class {"+" Class}]
+ [encoding
+ ["[0]" name]]
+ ["[0]" type
+ ["[0]" reflection]]]]
+ [tool
+ [compiler
+ [language
+ [lux
+ [program {"+" Program}]]]
+ [meta
+ [archive
+ ["[0]" unit]]]]]]]
+ ["[0]" //
+ ["[1][0]" runtime {"+" Definition}]
+ ["[1][0]" function/abstract]])
(def: ^Object
(type.class "java.lang.Object" (list)))
@@ -140,7 +142,7 @@
//runtime.apply))
(def: .public (program artifact_name context program)
- (-> (-> Context Text) (Program (Bytecode Any) Definition))
+ (-> (-> unit.ID Text) (Program (Bytecode Any) Definition))
(let [super_class (|> ..^Object type.reflection reflection.reflection name.internal)
main (method.method ..main::modifier "main" ..main::type
(list)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
index a812a0c31..55cbcdb67 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux
@@ -60,7 +60,8 @@
[io {"+" lux_context}]
[archive {"+" Output Archive}
["[0]" artifact]
- ["[0]" registry {"+" Registry}]]]]]]])
+ ["[0]" registry {"+" Registry}]
+ ["[0]" unit]]]]]]])
(type: .public Byte_Code
Binary)
@@ -89,7 +90,7 @@
(generation.Host (Bytecode Any) Definition))
(def: .public (class_name [module id])
- (-> generation.Context Text)
+ (-> unit.ID Text)
(format lux_context
"." (%.nat version.version)
"." (%.nat module)
@@ -633,9 +634,9 @@
... _ ..generate_function
]
(in [(|> registry.empty
- (registry.resource .true artifact.no_dependencies)
+ (registry.resource .true unit.none)
product.right
- ... (registry.resource .true artifact.no_dependencies)
+ ... (registry.resource .true unit.none)
... product.right
)
(sequence.sequence runtime_payload
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index c4e0c5fad..6a7235ac0 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -240,6 +240,12 @@
{///analysis.#Reference (///reference.local <output>)}]
(list)]])
+(def: .public (synthesize_exec synthesize archive before after)
+ (-> Phase Archive Synthesis Analysis (Operation Synthesis))
+ (do ///.monad
+ [after (synthesize archive after)]
+ (in (/.branch/exec [before after]))))
+
(def: .public (synthesize_let synthesize archive input @variable body)
(-> Phase Archive Synthesis Register Analysis (Operation Synthesis))
(do ///.monad
@@ -287,6 +293,17 @@
(^ (!masking @variable @output))
(..synthesize_masking synthesize^ archive inputS @variable @output)
+ (^ [[(///pattern.unit) body]
+ {.#End}])
+ (case inputA
+ (^or {///analysis.#Simple _}
+ {///analysis.#Structure _}
+ {///analysis.#Reference _})
+ (synthesize^ archive body)
+
+ _
+ (..synthesize_exec synthesize^ archive inputS body))
+
[[{///pattern.#Bind @variable} body]
{.#End}]
(..synthesize_let synthesize^ archive inputS @variable body)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
index 6ca49597b..d8a683545 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
@@ -13,16 +13,15 @@
["%" format {"+" format}]]
[collection
["[0]" list ("[1]#[0]" functor)]]]]]
- [//
- [generation {"+" Context}]
- [///
- [meta
- ["[0]" archive {"+" Archive}
- ["[0]" descriptor]
- ["[0]" registry {"+" Registry}]]]]])
+ [////
+ [meta
+ ["[0]" archive {"+" Archive}
+ ["[0]" descriptor]
+ ["[0]" registry {"+" Registry}]
+ ["[0]" unit]]]])
(type: .public (Program expression directive)
- (-> Context expression directive))
+ (-> unit.ID expression directive))
(def: .public name
Text
@@ -33,7 +32,7 @@
["Modules" (exception.listing %.text modules)]))
(def: .public (context archive)
- (-> Archive (Try Context))
+ (-> Archive (Try unit.ID))
(do [! try.monad]
[registries (|> archive
archive.archived
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index 3ff5019f9..bfe4e8fa3 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -6,7 +6,6 @@
[data
["[0]" product]
["[0]" bit]
- ["[0]" text ("[1]#[0]" equivalence)]
[collection
["[0]" set {"+" Set}]]]
[math
@@ -18,16 +17,6 @@
(type: .public ID
Nat)
-(type: .public Dependency
- [Nat ID])
-
-(def: .public dependency_hash
- (product.hash nat.hash nat.hash))
-
-(def: .public no_dependencies
- (Set Dependency)
- (set.empty dependency_hash))
-
(type: .public Artifact
(Record
[#id ID
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index c289d9af0..7af5c105b 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -22,12 +22,13 @@
[type
abstract]]]
["[0]" // "_"
- ["[1]" artifact {"+" Dependency Artifact ID}
+ ["[0]" unit]
+ ["[1]" artifact {"+" Artifact ID}
["[2][0]" category {"+" Category}]]])
(abstract: .public Registry
(Record
- [#artifacts (Sequence [Artifact (Set Dependency)])
+ [#artifacts (Sequence [Artifact (Set unit.ID)])
#resolver (Dictionary Text ID)])
(def: .public empty
@@ -36,7 +37,7 @@
#resolver (dictionary.empty text.hash)]))
(def: .public artifacts
- (-> Registry (Sequence [Artifact (Set Dependency)]))
+ (-> Registry (Sequence [Artifact (Set unit.ID)]))
(|>> :representation (value@ #artifacts)))
(def: next
@@ -44,7 +45,7 @@
(|>> ..artifacts sequence.size))
(def: .public (resource mandatory? dependencies registry)
- (-> Bit (Set Dependency) Registry [ID Registry])
+ (-> Bit (Set unit.ID) Registry [ID Registry])
(let [id (..next registry)]
[id
(|> registry
@@ -57,7 +58,7 @@
(template [<tag> <create> <fetch>]
[(def: .public (<create> name mandatory? dependencies registry)
- (-> Text Bit (Set Dependency) Registry [ID Registry])
+ (-> Text Bit (Set unit.ID) Registry [ID Registry])
(let [id (..next registry)]
[id
(|> registry
@@ -110,11 +111,11 @@
[5 //category.#Directive binary.text]
[6 //category.#Custom binary.text]))))
mandatory? binary.bit
- dependency (: (Writer Dependency)
+ dependency (: (Writer unit.ID)
(binary.and binary.nat binary.nat))
- dependencies (: (Writer (Set Dependency))
+ dependencies (: (Writer (Set unit.ID))
(binary.set dependency))
- artifacts (: (Writer (Sequence [Category Bit (Set Dependency)]))
+ artifacts (: (Writer (Sequence [Category Bit (Set unit.ID)]))
(binary.sequence/64 ($_ binary.and category mandatory? dependencies)))]
(|>> :representation
(value@ #artifacts)
@@ -147,10 +148,10 @@
_ (<>.failure (exception.error ..invalid_category [tag])))))
mandatory? <binary>.bit
- dependency (: (Parser Dependency)
+ dependency (: (Parser unit.ID)
(<>.and <binary>.nat <binary>.nat))
- dependencies (: (Parser (Set Dependency))
- (<binary>.set //.dependency_hash dependency))]
+ dependencies (: (Parser (Set unit.ID))
+ (<binary>.set unit.hash dependency))]
(|> (<binary>.sequence/64 ($_ <>.and category mandatory? dependencies))
(# <>.monad each (sequence#mix (function (_ [category mandatory? dependencies] registry)
(product.right
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
new file mode 100644
index 000000000..fb7cc745b
--- /dev/null
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux
@@ -0,0 +1,35 @@
+(.using
+ [library
+ [lux "*"
+ [abstract
+ [equivalence {"+" Equivalence}]
+ [hash {"+" Hash}]]
+ [data
+ ["[0]" product]
+ [collection
+ ["[0]" set {"+" Set}]]]
+ [math
+ [number
+ ["[0]" nat]]]]]
+ [//
+ ["[0]" module]
+ ["[0]" artifact]])
+
+(type: .public ID
+ (Record
+ [#module module.ID
+ #artifact artifact.ID]))
+
+(def: .public hash
+ (Hash ID)
+ ($_ product.hash
+ nat.hash
+ nat.hash))
+
+(def: .public equivalence
+ (Equivalence ID)
+ (# ..hash &equivalence))
+
+(def: .public none
+ (Set ID)
+ (set.empty ..hash))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
index 9971d71a1..327cae965 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux
@@ -24,13 +24,14 @@
[language
[lux
["[0]" synthesis {"+" Synthesis Path}]
- ["[0]" generation {"+" Context Operation}]
+ ["[0]" generation {"+" Operation}]
["[0]" analysis
["[1]/[0]" complex]]]]
[meta
["[0]" archive {"+" Archive}
["[0]" artifact]
- ["[0]" registry {"+" Registry}]]]]]]])
+ ["[0]" registry {"+" Registry}]
+ ["[0]" unit]]]]]]])
(def: (path_references references)
(-> (-> Synthesis (List Constant))
@@ -155,40 +156,36 @@
(list#each references)
list#conjoint)))
-(def: context_hash
- (Hash Context)
- (product.hash nat.hash nat.hash))
-
(def: .public (dependencies archive value)
(All (_ anchor expression directive)
- (-> Archive Synthesis (Operation anchor expression directive (Set artifact.Dependency))))
+ (-> Archive Synthesis (Operation anchor expression directive (Set unit.ID))))
(let [! phase.monad]
(|> value
..references
(set.of_list symbol.hash)
set.list
(monad.each ! (generation.remember archive))
- (# ! each (set.of_list context_hash)))))
+ (# ! each (set.of_list unit.hash)))))
(def: .public (path_dependencies archive value)
(All (_ anchor expression directive)
- (-> Archive Path (Operation anchor expression directive (Set artifact.Dependency))))
+ (-> Archive Path (Operation anchor expression directive (Set unit.ID))))
(let [! phase.monad]
(|> value
(..path_references ..references)
(set.of_list symbol.hash)
set.list
(monad.each ! (generation.remember archive))
- (# ! each (set.of_list context_hash)))))
+ (# ! each (set.of_list unit.hash)))))
(def: .public all
- (-> (List (Set artifact.Dependency))
- (Set artifact.Dependency))
- (list#mix set.union artifact.no_dependencies))
+ (-> (List (Set unit.ID))
+ (Set unit.ID))
+ (list#mix set.union unit.none))
(def: (immediate_dependencies archive)
- (-> Archive [(List artifact.Dependency)
- (Dictionary artifact.Dependency (Set artifact.Dependency))])
+ (-> Archive [(List unit.ID)
+ (Dictionary unit.ID (Set unit.ID))])
(|> archive
archive.entries
(list#each (function (_ [module [module_id [_module output registry]]])
@@ -208,13 +205,13 @@
mandatory_dependencies)
(dictionary.has artifact_id dependencies all_dependencies)])
[(list)
- (dictionary.empty context_hash)])))
+ (dictionary.empty unit.hash)])))
(def: .public (necessary_dependencies archive)
- (-> Archive (Set artifact.Dependency))
+ (-> Archive (Set unit.ID))
(let [[mandatory immediate] (immediate_dependencies archive)]
(loop [pending mandatory
- minimum artifact.no_dependencies]
+ minimum unit.none]
(case pending
{.#Item head tail}
(if (set.member? minimum head)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index e89b45756..d0498a516 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -40,7 +40,8 @@
["[0]" module]
["[0]" descriptor {"+" Descriptor}]
["[0]" document {"+" Document}]
- ["[0]" artifact {"+" Artifact Dependency}
+ ["[0]" unit]
+ ["[0]" artifact {"+" Artifact}
["[0]" category {"+" Category}]]]
["[0]" cache "_"
["[1]/[0]" module]]
@@ -225,7 +226,7 @@
(def: (loaded_document extension host module_id expected actual document)
(All (_ expression directive)
- (-> Text (generation.Host expression directive) module.ID (Sequence [Artifact (Set Dependency)]) (Dictionary Text Binary) (Document .Module)
+ (-> Text (generation.Host expression directive) module.ID (Sequence [Artifact (Set unit.ID)]) (Dictionary Text Binary) (Document .Module)
(Try [(Document .Module) Bundles Output])))
(do [! try.monad]
[[definitions bundles] (: (Try [Definitions Bundles Output])
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
index 811739223..ea9e446e9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux
@@ -19,16 +19,13 @@
["[0]" artifact]
["[0]" registry]
["[0]" module]
- ["[0]" descriptor]]
- [//
- [language
- [lux
- [generation {"+" Context}]]]]])
+ ["[0]" descriptor]
+ ["[0]" unit]]])
(type: .public Packager
(-> (Dictionary file.Path Binary)
Archive
- Context
+ unit.ID
(Try (Either Binary
(List [Text Binary])))))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
index d056970b8..706db97ff 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux
@@ -34,7 +34,8 @@
["[0]" archive {"+" Output}
["[0]" module]
["[0]" descriptor {"+" Module}]
- ["[0]" artifact]]
+ ["[0]" artifact]
+ ["[0]" unit]]
["[0]" cache "_"
["[1]/[0]" module]
["[1]/[0]" artifact]]
@@ -43,7 +44,6 @@
[//
[language
["$" lux
- [generation {"+" Context}]
[phase
[generation
[jvm
@@ -132,7 +132,7 @@
"1.0")
(def: (manifest program)
- (-> Context java/util/jar/Manifest)
+ (-> unit.ID java/util/jar/Manifest)
(let [manifest (java/util/jar/Manifest::new)]
(exec (do_to (java/util/jar/Manifest::getMainAttributes manifest)
(java/util/jar/Attributes::put (java/util/jar/Attributes$Name::MAIN_CLASS) (|> program runtime.class_name name.internal name.external))
@@ -155,7 +155,7 @@
(java/util/zip/ZipOutputStream::closeEntry))))))
(def: (write_module static necessary_dependencies [module output] sink)
- (-> Static (Set Context) [module.ID Output] java/util/jar/JarOutputStream
+ (-> Static (Set unit.ID) [module.ID Output] java/util/jar/JarOutputStream
(Try java/util/jar/JarOutputStream))
(let [! try.monad]
(monad.mix try.monad
diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux
index 1b7e161d1..bb7c80765 100644
--- a/stdlib/source/program/compositor.lux
+++ b/stdlib/source/program/compositor.lux
@@ -33,7 +33,7 @@
["$" lux
["[1]/[0]" program {"+" Program}]
["[0]" syntax]
- ["[0]" generation {"+" Buffer Context}]
+ ["[0]" generation]
["[0]" directive]
["[0]" analysis
[macro {"+" Expander}]]
@@ -42,7 +42,8 @@
[meta
[packager {"+" Packager}]
[archive {"+" Archive}
- [descriptor {"+" Module}]]
+ [descriptor {"+" Module}]
+ ["[0]" unit]]
[io
["ioW" archive]]]]
... ["[0]" interpreter]
@@ -90,7 +91,7 @@
(in output)))
(def: (package! fs host_dependencies [packager package] static archive context)
- (-> (file.System Async) (Dictionary file.Path Binary) [Packager file.Path] Static Archive Context (Async (Try Any)))
+ (-> (file.System Async) (Dictionary file.Path Binary) [Packager file.Path] Static Archive unit.ID (Async (Try Any)))
(case (packager host_dependencies archive context)
{try.#Success content}
(case content
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 631f754e4..2b72f6dad 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -4,6 +4,7 @@
[program {"+" program:}]
["_" test {"+" Test}]
["@" target]
+ ["[0]" static]
[abstract
[monad {"+" do}]]
[control
@@ -37,7 +38,7 @@
["r" rev]
["f" frac]
["[0]" i64]]]
- ["[0]" meta
+ ["[0]" meta ("[1]#[0]" monad)
["[0]" location ("[1]#[0]" equivalence)]]]]
... TODO: Must have 100% coverage on tests.
["[0]" / "_"
@@ -47,8 +48,7 @@
["[1][0]" debug]
["[1][0]" documentation]
["[1][0]" locale]
- ["[1][0]" macro
- ["[1]/[0]" code]]
+ ["[1][0]" macro]
["[1][0]" math]
["[1][0]" meta]
["[1][0]" program]
@@ -68,47 +68,7 @@
"Lua" (~~ (.as_is ["[1]/[0]" lua]))
"Python" (~~ (.as_is ["[1]/[0]" python]))
"Ruby" (~~ (.as_is ["[1]/[0]" ruby]))]
- (~~ (.as_is))))]
- ])))
-
-... TODO: Get rid of this ASAP
-(template: (!bundle body)
- [(: Test
- (do random.monad
- [_ (in [])]
- body))])
-
-(def: sub_tests
- Test
- (`` (`` (_.in_parallel (list /abstract.test
- /control.test
- /data.test
- /debug.test
- /documentation.test
- /locale.test
- /macro.test
- /math.test
- /meta.test
- /program.test
- /static.test
- /target.test
- /test.test
- /time.test
- /tool.test
- /type.test
- /world.test
- /ffi.test
- ... TODO: Update & expand tests for this
- (~~ (for [@.jvm (~~ (as_is /target/jvm.test))
- @.old (~~ (as_is /target/jvm.test))
- @.js (~~ (as_is /target/js.test))
- @.lua (~~ (as_is /target/lua.test))
- @.python (~~ (as_is /target/python.test))
- @.ruby (~~ (as_is /target/ruby.test))]
- (~~ (as_is))))
- (~~ (for [@.old (~~ (as_is))]
- (~~ (as_is /extension.test))))
- )))))
+ (~~ (.as_is))))]])))
(def: for_bit
Test
@@ -400,9 +360,8 @@
(def: for_code
Test
- (do random.monad
- [example_nat random.nat
- example /macro/code.random]
+ (do [! random.monad]
+ [example (# ! each code.nat random.nat)]
($_ _.and
(_.for [/.Code /.Code']
($_ _.and
@@ -426,6 +385,22 @@
(let [[_ _ source_code] (value@ .#source lux)]
{.#Right [lux (list (code.bit (text.contains? ..crosshair source_code)))]}))
+(/.macro: (sum tokens)
+ (loop [tokens tokens
+ output 0]
+ (case tokens
+ {.#End}
+ (meta#in (list (code.nat output)))
+
+ {.#Item [_ {.#Nat head}] tail}
+ (again tail (n.+ head output))
+
+ _
+ (meta.failure ""))))
+
+(/.macro: (sum' tokens lux)
+ ((/.macro ..sum) tokens lux))
+
(def: for_macro
Test
(let [macro (: /.Macro'
@@ -433,24 +408,118 @@
{.#Right [lux (list)]}))]
(do random.monad
[expected random.nat]
- (with_expansions [<found_crosshair?> (for [@.old (~~ (as_is))]
- (_.cover [/.Source]
- (..found_crosshair?)))]
- (`` ($_ _.and
- (_.cover [/.Macro']
- (|> macro
- (: /.Macro')
- (same? macro)))
- (_.cover [/.Macro]
- (|> macro
- "lux macro"
- (: /.Macro)
- (: Any)
- (same? (: Any macro))))
- (_.cover [/.macro:]
- (same? expected (..identity_macro expected)))
- <found_crosshair?>
- ))))))
+ (`` (`` ($_ _.and
+ (_.cover [/.Macro']
+ (|> macro
+ (: /.Macro')
+ (same? macro)))
+ (_.cover [/.Macro]
+ (|> macro
+ "lux macro"
+ (: /.Macro)
+ (: Any)
+ (same? (: Any macro))))
+ (_.cover [/.macro:]
+ (same? expected (..identity_macro expected)))
+ (~~ (for [@.old (~~ (as_is))]
+ (_.cover [/.Source]
+ (..found_crosshair?))))
+ (_.cover [/.macro]
+ (with_expansions [n/0 (static.random_nat)
+ n/1 (static.random_nat)
+ n/1 (static.random_nat)]
+ (n.= (..sum n/0 n/1 n/1)
+ (..sum' n/0 n/1 n/1))))
+ (_.cover [/.using]
+ (with_expansions [<referral> ("lux in-module" "library/lux" library/lux.refer)
+ <alias> (static.random code.text (random.ascii/lower 1))
+ <definition> (static.random code.local_symbol (random.ascii/lower 1))
+ <module/0> (static.random code.text (random.ascii/lower 2))
+ <module/0>' (template.symbol [<module/0>])
+ <module/1> (static.random code.text (random.ascii/lower 3))
+ <module/1>' (template.symbol [<module/1>])
+ <module/2> (static.random code.text (random.ascii/lower 4))
+ <module/2>' (template.symbol [<module/2>])
+ <m0/1> (template.text [<module/0> "/" <module/1>])
+ <//> (template.text [// <module/2>'])
+ <//>' (template.symbol [<//>])
+ <\\> (template.text [\\ <module/2>'])
+ <\\>' (template.symbol [<\\>])
+ <m0/2> (template.text [<module/0> "/" <module/2>])
+ <m2/1> (template.text [<module/2> "/" <module/1>])
+ <m0/1/2> (template.text [<module/0> "/" <module/1> "/" <module/2>])
+ <open/0> (template.text [<module/0> "#[0]"])]
+ (and (~~ (template [<input> <pattern>]
+ [(with_expansions [<input>' (macro.final <input>)]
+ (case (' [<input>'])
+ (^code <pattern>)
+ true
+
+ _
+ false))]
+
+ [(.using [<module/0>'])
+ [("lux def module" [])]]
+
+ [(.using [<alias> <module/0>' "*"])
+ [("lux def module" [[<module/0> <alias>]])
+ (<referral> <module/0> "*")]]
+
+ [(.using [<alias> <module/0>' {"+" <definition>}])
+ [("lux def module" [[<module/0> <alias>]])
+ (<referral> <module/0> {"+" <definition>})]]
+
+ [(.using [<alias> <module/0>' {"-" <definition>}])
+ [("lux def module" [[<module/0> <alias>]])
+ (<referral> <module/0> {"-" <definition>})]]
+
+ [(.using [<alias> <module/0>' "_"])
+ [("lux def module" [])]]
+
+ [(.using [<module/0>'
+ [<alias> <module/1>']])
+ [("lux def module" [[<m0/1> <alias>]])
+ (<referral> <m0/1>)]]
+
+ [(.using ["[0]" <module/0>'
+ ["[0]" <module/1>']])
+ [("lux def module" [[<module/0> <module/0>]
+ [<m0/1> <module/1>]])
+ (<referral> <module/0>)
+ (<referral> <m0/1>)]]
+
+ [(.using ["[0]" <module/0>' "_"
+ ["[1]" <module/1>']])
+ [("lux def module" [[<m0/1> <module/0>]])
+ (<referral> <m0/1>)]]
+
+ [(.using ["[0]" <module/0>' "_"
+ ["[1]" <module/1>' "_"
+ ["[2]" <module/2>']]])
+ [("lux def module" [[<m0/1/2> <module/0>]])
+ (<referral> <m0/1/2>)]]
+
+ [(.using [<module/0>'
+ ["[0]" <module/1>'
+ ["[0]" <//>']]])
+ [("lux def module" [[<m0/1> <module/1>]
+ [<m0/2> <//>]])
+ (<referral> <m0/1>)
+ (<referral> <m0/2>)]]
+
+ [(.using ["[0]" <module/0>'
+ [<module/1>'
+ ["[0]" <\\>']]])
+ [("lux def module" [[<module/0> <module/0>]
+ [<m2/1> <\\>]])
+ (<referral> <module/0>)
+ (<referral> <m2/1>)]]
+
+ [(.using ["[0]" <module/0>' ("[1]#[0]" <definition>)])
+ [("lux def module" [[<module/0> <module/0>]])
+ (<referral> <module/0> (<open/0> <definition>))]]
+ )))))
+ ))))))
(/.type: for_type/variant
(Variant
@@ -1175,39 +1244,73 @@
verdict)))
0 1 2))))
+(def: test|lux
+ Test
+ (`` (`` ($_ _.and
+ ..for_bit
+ ..for_try
+ ..for_list
+ ..for_interface
+ ..for_module
+ ..for_pipe
+ ..for_code
+ ..for_macro
+ ..for_type
+ ..for_i64
+ ..for_function
+ ..for_template
+ ..for_static
+ ..for_slot
+ ..for_associative
+ ..for_expansion
+ ..for_value
+ ..for_case
+ ..for_control_flow
+ ..for_def:
+ ..for_meta
+ ..for_export
+ (~~ (for [@.old (~~ (as_is))]
+ (~~ (as_is ..for_bindings))))
+ ))))
+
(def: test
Test
(<| (_.covering /._)
- (with_expansions
- [<for_bindings> (for [@.old (~~ (as_is))]
- (~~ (as_is ..for_bindings)))]
- (`` ($_ _.and
- ..for_bit
- ..for_try
- ..for_list
- ..for_interface
- ..for_module
- ..for_pipe
- ..for_code
- ..for_macro
- ..for_type
- ..for_i64
- ..for_function
- ..for_template
- ..for_static
- ..for_slot
- ..for_associative
- ..for_expansion
- ..for_value
- ..for_case
- ..for_control_flow
- ..for_def:
- ..for_meta
- ..for_export
- <for_bindings>
-
- ..sub_tests
- )))))
+ (`` (`` (_.in_parallel
+ (list ..test|lux
+
+ /abstract.test
+ /control.test
+ /data.test
+ /debug.test
+
+ /documentation.test
+ /locale.test
+ /macro.test
+ /math.test
+
+ /meta.test
+ /program.test
+ /static.test
+ /target.test
+
+ /test.test
+ /time.test
+ /tool.test
+ /type.test
+
+ /world.test
+ /ffi.test
+
+ (~~ (for [@.old (~~ (as_is))]
+ (~~ (as_is /extension.test))))
+ (~~ (for [@.jvm (~~ (as_is /target/jvm.test))
+ @.old (~~ (as_is /target/jvm.test))
+ @.js (~~ (as_is /target/js.test))
+ @.lua (~~ (as_is /target/lua.test))
+ @.python (~~ (as_is /target/python.test))
+ @.ruby (~~ (as_is /target/ruby.test))]))
+ ))))))
(program: args
(let [times (for [@.old 100
diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux
index a7b2afa6f..63cb46691 100644
--- a/stdlib/source/test/lux/extension.lux
+++ b/stdlib/source/test/lux/extension.lux
@@ -44,7 +44,7 @@
["[0]" phase]
[meta
[archive
- ["[0]" artifact]]]
+ ["[0]" unit]]]
[language
[lux
["[0]" synthesis]
@@ -153,7 +153,7 @@
(generation_phase archive expressionS))
_ (directive.lifted_generation
- (generation.with_new_context archive artifact.no_dependencies
+ (generation.with_new_context archive unit.none
(do !
[[module_id artifact_id] (generation.context archive)
.let [commentary (format "Successfully installed directive " (%.text self) "!")]
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index c0e7fd739..c05f16b50 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -26,7 +26,8 @@
["[1]/[0]" registry]
["[1]/[0]" module]
["[1]/[0]" document]
- ["[1]/[0]" descriptor]]]
+ ["[1]/[0]" descriptor]
+ ["[1]/[0]" unit]]]
]])
(def: .public test
@@ -44,6 +45,7 @@
/meta/archive/module.test
/meta/archive/document.test
/meta/archive/descriptor.test
+ /meta/archive/unit.test
/phase/extension.test
/phase/analysis/simple.test
... /syntax.test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
index 2bb161796..7e5d789a5 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux
@@ -12,13 +12,6 @@
[\\library
["[0]" /]])
-(def: random_dependency
- (Random /.Dependency)
- ($_ random.and
- random.nat
- random.nat
- ))
-
(def: .public random
(Random /.Artifact)
($_ random.and
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
index feee41b0a..f9499d442 100644
--- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux
@@ -25,6 +25,7 @@
[\\library
["[0]" /
[//
+ ["[0]" unit]
["[0]" artifact
["[0]" category]]]]])
@@ -37,15 +38,15 @@
false)])
(def: random_dependency
- (Random artifact.Dependency)
+ (Random unit.ID)
($_ random.and
random.nat
random.nat
))
(def: (random_dependencies amount)
- (-> Nat (Random (Set artifact.Dependency)))
- (random.set artifact.dependency_hash amount ..random_dependency))
+ (-> Nat (Random (Set unit.ID)))
+ (random.set unit.hash amount ..random_dependency))
(def: .public test
Test
diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux
new file mode 100644
index 000000000..770ff473d
--- /dev/null
+++ b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux
@@ -0,0 +1,36 @@
+(.using
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [\\specification
+ ["$[0]" equivalence]
+ ["$[0]" hash]]]
+ [data
+ [collection
+ ["[0]" set]]]
+ [math
+ ["[0]" random {"+" Random}]]]]
+ [\\library
+ ["[0]" /]])
+
+(def: .public random
+ (Random /.ID)
+ ($_ random.and
+ random.nat
+ random.nat
+ ))
+
+(def: .public test
+ Test
+ (<| (_.covering /._)
+ (_.for [/.ID])
+ ($_ _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence ..random))
+ (_.for [/.hash]
+ ($hash.spec /.hash ..random))
+
+ (_.cover [/.none]
+ (set.empty? /.none))
+ )))