diff options
64 files changed, 486 insertions, 447 deletions
diff --git a/lux-mode/lux-mode.el b/lux-mode/lux-mode.el index aa2562a5f..79628cdcb 100644 --- a/lux-mode/lux-mode.el +++ b/lux-mode/lux-mode.el @@ -398,7 +398,8 @@ Called by `imenu--generic-function'." (remember (altRE "remember" "to_do" "fix_me")) (extension (altRE "analysis" "synthesis" "translation" "declaration")) (definition (altRE "\\.require" - "def" "inlined" "type"))) + "def" "inlined" "type" + "alias"))) (let ((control (altRE control//flow control//pattern-matching control//logic diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 763b1b25f..e6108721f 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -3292,7 +3292,7 @@ _ ... TODO: Figure out why this doesn't work: - ... (of meta#monad in token) + ... (meta#in token) (meta#in token)} token)))) @@ -5479,14 +5479,15 @@ (again &rest (property#with var_name expansion map))) {#End} - (of meta#monad #in (list#conjoint (list#each normal bodies)))))) + (meta#in (list#conjoint (list#each normal bodies)))))) {#None} (failure (..wrong_syntax_error (symbol ..with_expansions))))))) (def .public (same? reference sample) - (All (_ a) - (-> a a Bit)) + (All (_ of) + (-> of of + Bit)) (.is?# reference sample)) (def .public as_expected @@ -5878,5 +5879,22 @@ [Declaration] ) -(type .public F64 Frac) -(type .public Double Frac) +(def .public alias + (macro (_ tokens) + (when (parsed (andP (tupleP (manyP localP)) + symbolP) + tokens) + {#Some [alias/+ original]} + (meta#in (list#each (function (_ it) + (` (def .public (, (local$ it)) + (, (symbol$ original))))) + alias/+)) + + {#None} + (failure (..wrong_syntax_error (symbol ..alias)))))) + +(alias [F64 Double] + ..Frac) + +(alias [alias?] + ..same?) diff --git a/stdlib/source/library/lux/math/number/ratio.lux b/stdlib/source/library/lux/math/number/ratio.lux index 4877d65da..d1a8cc3a6 100644 --- a/stdlib/source/library/lux/math/number/ratio.lux +++ b/stdlib/source/library/lux/math/number/ratio.lux @@ -37,12 +37,12 @@ 1 {.#Some (the #numerator value)} _ {.#None})) -(def .public (normal (open "_[0]")) +(def .public (normal (open "/[0]")) (-> Ratio Ratio) - (let [common (n.gcd _#numerator _#denominator)] - [..#numerator (n./ common _#numerator) - ..#denominator (n./ common _#denominator)])) + (let [common (n.gcd /#numerator /#denominator)] + [..#numerator (n./ common /#numerator) + ..#denominator (n./ common /#denominator)])) (def .public ratio (syntax (_ [numerator <code>.any @@ -146,21 +146,21 @@ (def * ..*) (def / ../))) -(def .public (reciprocal (open "_[0]")) +(def .public (reciprocal (open "/[0]")) (-> Ratio Ratio) - [..#numerator _#denominator - ..#denominator _#numerator]) + [..#numerator /#denominator + ..#denominator /#numerator]) (def separator ":") (def .public codec (Codec Text Ratio) (implementation - (def (encoded (open "_[0]")) + (def (encoded (open "/[0]")) (all text#composite - (n#encoded _#numerator) - ..separator (n#encoded _#denominator))) + (n#encoded /#numerator) + ..separator (n#encoded /#denominator))) (def (decoded input) (when (text.split_by ..separator input) diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux index 29dad85d1..f5f9a5ecb 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/analysis/module.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except with) + [lux (.except with alias) ["[0]" meta] [abstract ["[0]" monad (.only do)]] @@ -47,7 +47,8 @@ {.#Cached} "Cached")]))) (def .public (empty hash) - (-> Nat Module) + (-> Nat + Module) [.#module_hash hash .#module_aliases (list) .#definitions (list) @@ -55,7 +56,8 @@ .#module_state {.#Active}]) (def .public (import module) - (-> Text (Operation Any)) + (-> Text + (Operation Any)) (do phase.monad [self_name meta.current_module_name] (function (_ state) @@ -68,19 +70,21 @@ state) []]}))) -(def .public (alias alias module) - (-> Text Text (Operation Any)) +(def .public (alias it module) + (-> Text Text + (Operation Any)) (do phase.monad [self_name meta.current_module_name] (function (_ state) {try.#Success [(revised .#modules (property.revised self_name (revised .#module_aliases (is (-> (List [Text Text]) (List [Text Text])) - (|>> {.#Item [alias module]})))) + (|>> {.#Item [it module]})))) state) []]}))) (def .public (exists? module) - (-> Text (Operation Bit)) + (-> Text + (Operation Bit)) (function (_ state) (|> state (the .#modules) @@ -95,7 +99,8 @@ {try.#Success}))) (def .public (define name exported?,definition) - (-> Text [Bit Global] (Operation Any)) + (-> Text [Bit Global] + (Operation Any)) (do phase.monad [self_name meta.current_module_name self meta.current_module] @@ -117,7 +122,8 @@ state))))) (def .public (override_definition [module short] exported?,definition) - (-> Symbol [Bit Global] (Operation Any)) + (-> Symbol [Bit Global] + (Operation Any)) (function (_ state) {try.#Success [(revised .#modules (property.revised module @@ -127,7 +133,8 @@ []]})) (def .public (create hash name) - (-> Nat Text (Operation Any)) + (-> Nat Text + (Operation Any)) (function (_ state) {try.#Success [(revised .#modules (property.has name (..empty hash)) @@ -135,7 +142,9 @@ []]})) (def .public (with hash name action) - (All (_ a) (-> Nat Text (Operation a) (Operation [Module a]))) + (All (_ of) + (-> Nat Text (Operation of) + (Operation [Module of]))) (do phase.monad [_ (..create hash name) output (/.with_current_module name @@ -145,7 +154,8 @@ (with_template [<setter> <asker> <tag>] [(def .public (<setter> module_name) - (-> Text (Operation Any)) + (-> Text + (Operation Any)) (function (_ state) (when (|> state (the .#modules) (property.value module_name)) {.#Some module} @@ -168,7 +178,8 @@ state)))) (def .public (<asker> module_name) - (-> Text (Operation Bit)) + (-> Text + (Operation Bit)) (function (_ state) (when (|> state (the .#modules) (property.value module_name)) {.#Some module} diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux index fb9ee9327..522cf231b 100644 --- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux +++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/extension/translation/jvm/host.lux @@ -318,7 +318,7 @@ (def with_double_extensions (-> Bundle Bundle) - (let [type (reflection.reflection reflection.float)] + (let [type (reflection.reflection reflection.double)] (|>> (dictionary.has (%.format "jvm_" type "_" "+" "#" "|translation") (binary double::+)) (dictionary.has (%.format "jvm_" type "_" "-" "#" "|translation") (binary double::-)) (dictionary.has (%.format "jvm_" type "_" "*" "#" "|translation") (binary double::*)) diff --git a/stdlib/source/library/lux/meta/compiler/meta/packager.lux b/stdlib/source/library/lux/meta/compiler/meta/packager.lux index a7e8a095c..68edb9e16 100644 --- a/stdlib/source/library/lux/meta/compiler/meta/packager.lux +++ b/stdlib/source/library/lux/meta/compiler/meta/packager.lux @@ -20,13 +20,10 @@ ["[0]" artifact] ["[0]" registry] ["[0]" unit] - ["[0]" module (.only) - ["[0]" descriptor]]]]) + ["[0]" module]]]) (type .public Packager - (-> (Dictionary file.Path Binary) - Archive - (Maybe unit.ID) + (-> (Dictionary file.Path Binary) Archive (Maybe unit.ID) (Try (Either Binary (List [Text Binary]))))) @@ -34,7 +31,8 @@ (List [module.ID (List artifact.ID)])) (def .public order - (-> (cache/module.Order Any) Order) + (-> (cache/module.Order Any) + Order) (list#each (function (_ [module [module_id entry]]) (|> entry (the archive.#registry) diff --git a/stdlib/source/library/lux/meta/compiler/version.lux b/stdlib/source/library/lux/meta/compiler/version.lux index e576a7c29..ece4e5098 100644 --- a/stdlib/source/library/lux/meta/compiler/version.lux +++ b/stdlib/source/library/lux/meta/compiler/version.lux @@ -21,22 +21,26 @@ (n./ ..range)) (def .public patch - (-> Version Nat) + (-> Version + Nat) (|>> ..level)) (def .public minor - (-> Version Nat) + (-> Version + Nat) (|>> ..next ..level)) (def .public major - (-> Version Nat) + (-> Version + Nat) (|>> ..next ..next)) (def separator ".") (def (padded value) - (-> Nat Text) + (-> Nat + Text) (if (n.< 10 value) (%.format "0" (%.nat value)) (%.nat value))) diff --git a/stdlib/source/library/lux/test/benchmark.lux b/stdlib/source/library/lux/test/benchmark.lux index 427e62822..f25975015 100644 --- a/stdlib/source/library/lux/test/benchmark.lux +++ b/stdlib/source/library/lux/test/benchmark.lux @@ -9,6 +9,9 @@ [data [collection ["[0]" list (.use "[1]#[0]" mix)]]] + [math + [number + ["[0]" int]]] [world [time ["[0]" instant] @@ -30,6 +33,12 @@ #maximum Duration #average Duration])) +(def minimum_duration + duration.empty) + +(def maximum_duration + (duration.of_millis (of int.interval top))) + (def empty Benchmark [#times 0 @@ -47,8 +56,8 @@ (list.repeated times) (monad.each ! ..time))] (in [#times times - #minimum (list#mix (order.min duration.order) duration.empty durations) - #maximum (list#mix (order.max duration.order) duration.empty durations) + #minimum (list#mix (order.min duration.order) ..maximum_duration durations) + #maximum (list#mix (order.max duration.order) ..minimum_duration durations) #average (|> durations (list#mix duration.composite duration.empty) (duration.down times))])))) diff --git a/stdlib/source/library/lux/web/css/value.lux b/stdlib/source/library/lux/web/css/value.lux index 2ff369bc7..31e19b316 100644 --- a/stdlib/source/library/lux/web/css/value.lux +++ b/stdlib/source/library/lux/web/css/value.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except Label All Location and static false true all) + [lux (.except Label All Location and static false true all alias) [control ["[0]" maybe]] [data diff --git a/stdlib/source/library/lux/world/finance/market/price.lux b/stdlib/source/library/lux/world/finance/market/price.lux index 58c4216d8..c7b6e8e8c 100644 --- a/stdlib/source/library/lux/world/finance/market/price.lux +++ b/stdlib/source/library/lux/world/finance/market/price.lux @@ -9,39 +9,48 @@ ["%" \\format]]] [math [number + ["n" nat] ["i" int]]] [meta [type ["[0]" nominal]]]]] [/// - [money (.only Money) + ["[0]" money (.only Money) ["[0]" currency (.only Currency)]]]) (type .public (Price $) (Money $)) +(def .public (free $) + (All (_ $) + (-> (Currency $) + (Price $))) + (money.money $ 0)) + ... https://en.wikipedia.org/wiki/Price_action_trading (nominal.def .public (Action $) (Record [#currency (Currency $) #movement Int]) - (def .public (action currency movement) + (def .public (action from to) (All (_ $) - (-> (Currency $) Int + (-> (Price $) (Price $) (Action $))) (nominal.abstraction - [#currency currency - #movement movement])) + [#currency (money.currency from) + #movement (.int (n.- (money.amount from) + (money.amount to)))])) (with_template [<*> <name>] [(def .public (<name> currency it) (All (_ $) (-> (Currency $) Int (Action $))) - (action currency - (<*> (.int (currency.sub_divisions currency)) - it)))] + (nominal.abstraction + [#currency currency + #movement (<*> (.int (currency.sub_divisions currency)) + it)]))] [i.* of_units] [i.% of_sub_units] diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux deleted file mode 100644 index 28b1c27a2..000000000 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ /dev/null @@ -1,29 +0,0 @@ -(.require - [library - [lux (.except) - [abstract - [monad (.only do)] - ["[0]" equivalence - ["[1]T" \\test]]] - [math - ["[0]" random (.only Random)] - [number - ["n" nat]]] - [test - ["_" property (.only Test)]]]] - [\\library - ["[0]" /]]) - -(def .public (spec (open "/#[0]") random) - (All (_ a) (-> (/.Hash a) (Random a) Test)) - (do random.monad - [parameter random - subject random] - (all _.and - (_.for [/.equivalence] - (equivalenceT.spec /#equivalence random)) - (_.coverage [/.Hash /.hash] - (if (/#= parameter subject) - (n.= (/#hash parameter) (/#hash subject)) - true)) - ))) diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 471786919..7e0d2c1cb 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [hash (.only Hash)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]] ["[0]" order @@ -50,7 +50,7 @@ (_.for [/.order] (orderT.spec /.order ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.format /.identity] (and (text.ends_with? (/.identity sample) (/.format sample)) diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 6235282ee..02721cf35 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]] ["[0]" order @@ -34,5 +34,5 @@ (_.for [/.order] (orderT.spec /.order ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) )))) diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index fb6bf8925..51c8ec7f3 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -3,13 +3,15 @@ [lux (.except) [abstract [monad (.only do)] + ["[0]" equivalence + ["[1]T" \\test]] [functor ["[0]" contravariant ["[1]T" \\test]]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)]] [math - ["[0]" random] + ["[0]" random (.only Random)] [number ["[0]" nat]]] [test @@ -19,6 +21,22 @@ [// [equivalence (.only Equivalence)]]]]) +(def .public (spec (open "/#[0]") random) + (All (_ of) + (-> (/.Hash of) (Random of) + Test)) + (do random.monad + [parameter random + subject random] + (all _.and + (_.for [/.equivalence] + (equivalenceT.spec /#equivalence random)) + (_.coverage [/.Hash /.hash] + (if (/#= parameter subject) + (nat.= (/#hash parameter) (/#hash subject)) + true)) + ))) + (def .public test Test (do random.monad diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index a9b64e197..b9f6c89df 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -8,8 +8,8 @@ ["[1]T" \\test]] ["[0]" apply ["[1]T" \\test]] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]] ["[0]" equivalence @@ -41,7 +41,7 @@ (_.for [/.hash] (|> random.nat (of random.monad each (|>> {.#Some})) - ($hash.spec (/.hash n.hash)))) + (hashT.spec (/.hash n.hash)))) (_.for [/.monoid] (monoidT.spec (/.equivalence n.equivalence) /.monoid (random.maybe random.nat))) (_.for [/.functor] diff --git a/stdlib/source/test/lux/data/any.lux b/stdlib/source/test/lux/data/any.lux index da1b7dc55..91fc7aa41 100644 --- a/stdlib/source/test/lux/data/any.lux +++ b/stdlib/source/test/lux/data/any.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["[0]S" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)]] [test @@ -27,7 +27,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - (hashS.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.any] (same? [] /.any)) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 5b2ec3b02..b3484192e 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]] ["[0]" codec @@ -29,7 +29,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence random.bit)) (_.for [/.hash] - ($hash.spec /.hash random.bit)) + (hashT.spec /.hash random.bit)) (_.for [/.disjunction] (monoidT.spec /.equivalence /.disjunction random.bit)) (_.for [/.conjunction] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index c9131d41a..8fc76c5a6 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -15,8 +15,8 @@ ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [control ["[0]" pipe] ["[0]" io] @@ -59,7 +59,7 @@ (_.for [/.hash] (|> random.nat (of random.monad each (|>> list)) - ($hash.spec (/.hash n.hash)))) + (hashT.spec (/.hash n.hash)))) (_.for [/.monoid] (monoidT.spec (/.equivalence n.equivalence) /.monoid ..random)) (_.for [/.mix] diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 19b44b8bf..b802660bf 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -6,8 +6,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [data @@ -40,7 +40,7 @@ (_.for [/.hash] (|> random.nat (of random.monad each (|>> list (/.of_list n.hash))) - ($hash.spec /.hash))) + (hashT.spec /.hash))) (_.for [/.monoid] (monoidT.spec /.equivalence (/.monoid n.hash) (random.set n.hash size random.nat))) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 981de69d6..024044804 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -6,8 +6,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [control [function ["[0]" predicate]]] @@ -51,7 +51,7 @@ (|> random.nat (of random.monad each (function (_ single) (/.has 1 single (/.empty n.hash)))) - ($hash.spec /.hash))) + (hashT.spec /.hash))) ))) (def composition diff --git a/stdlib/source/test/lux/data/color/rgb.lux b/stdlib/source/test/lux/data/color/rgb.lux index 089759e56..99233f6e7 100644 --- a/stdlib/source/test/lux/data/color/rgb.lux +++ b/stdlib/source/test/lux/data/color/rgb.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["[0]S" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [control @@ -107,7 +107,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - (hashS.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.for [/.addition] (monoidT.spec /.equivalence /.addition ..random)) (_.for [/.subtraction] diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 97699e4a7..783dcf2df 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [control ["[0]" pipe]] [data @@ -35,7 +35,7 @@ (equivalenceT.spec (/.equivalence n.equivalence n.equivalence) (random.or random.nat random.nat))) (_.for [/.hash] - ($hash.spec (/.hash n.hash n.hash) + (hashT.spec (/.hash n.hash n.hash) (random.or random.nat random.nat))) (_.coverage [/.left] diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 23d12ebe1..65f55ac01 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [equivalence (.only Equivalence)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] [functor ["[0]" contravariant ["[1]T" \\test]]] @@ -866,7 +866,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence (random.ascii 2))) (_.for [/.hash] - ($hash.spec /.hash (random.ascii 1))) + (hashT.spec /.hash (random.ascii 1))) (_.for [/.order] (orderT.spec /.order (random.ascii 2))) (_.for [/.monoid] diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 88261f69a..dcd00dc56 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [data @@ -190,7 +190,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.for [/.monoid] (monoidT.spec /.equivalence /.monoid ..random)) diff --git a/stdlib/source/specification/lux/math/arithmetic.lux b/stdlib/source/test/lux/math/arithmetic.lux index 1c13f52f5..1c13f52f5 100644 --- a/stdlib/source/specification/lux/math/arithmetic.lux +++ b/stdlib/source/test/lux/math/arithmetic.lux diff --git a/stdlib/source/test/lux/math/arithmetic/fixed_point.lux b/stdlib/source/test/lux/math/arithmetic/fixed_point.lux index a41078599..ddfe624b7 100644 --- a/stdlib/source/test/lux/math/arithmetic/fixed_point.lux +++ b/stdlib/source/test/lux/math/arithmetic/fixed_point.lux @@ -19,7 +19,7 @@ [number ["n" nat]] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [test ["_" property (.only Test)]]]] [\\library @@ -68,7 +68,7 @@ (_.for [/.order /.<] (orderT.spec (/.order @) (..random @))) ... (_.for [/.arithmetic] - ... (arithmeticS.spec (/.equivalence @) (/.arithmetic @) (..random @))) + ... (arithmeticT.spec (/.equivalence @) (/.arithmetic @) (..random @))) (_.coverage [/.fixed /.units /.sub_units] (/.= @ diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index b9a58dfcc..e449abc6f 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -11,7 +11,7 @@ [math ["[0]" random (.only Random)] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [test ["_" property (.only Test)]]]] [\\library @@ -276,7 +276,7 @@ (_.for [/.= /.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.arithmetic] - (arithmeticS.spec /.equivalence /.arithmetic ..random)) + (arithmeticT.spec /.equivalence /.arithmetic ..random)) ..construction ..constant diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index d62c8b287..30fd2d64c 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -4,8 +4,8 @@ ["[0]" ffi] [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]] ["[0]" equivalence @@ -19,7 +19,7 @@ [math ["[0]" random (.only Random)] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [meta ["@" target] [macro @@ -107,7 +107,7 @@ (_.for [/.equivalence /.=] (equivalenceT.spec /.equivalence random.safe_frac)) (_.for [/.hash] - ($hash.spec /.hash random.frac)) + (hashT.spec /.hash random.frac)) (_.for [/.order /.<] (orderT.spec /.order random.safe_frac)) (,, (with_template [<composite> <monoid>] @@ -127,7 +127,7 @@ [/.binary] [/.octal] [/.decimal] [/.hex] )) (_.for [/.arithmetic] - (arithmeticS.spec /.equivalence /.arithmetic random.safe_frac)) + (arithmeticT.spec /.equivalence /.arithmetic random.safe_frac)) ))) (with_expansions [<jvm> (these (ffi.import java/lang/Double diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index 209a53fff..18cff8007 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -7,8 +7,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" monoid ["[1]T" \\test]]] [math @@ -155,7 +155,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence random.i64)) (_.for [/.hash] - ($hash.spec /.hash random.i64)) + (hashT.spec /.hash random.i64)) (_.for [/.disjunction] (monoidT.spec n.equivalence /.disjunction random.nat)) (_.for [/.conjunction] diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index dde18df95..99afb16d2 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" enum ["[1]T" \\test]] ["[0]" interval @@ -22,7 +22,7 @@ [math ["[0]" random (.only Random)] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [test ["_" property (.only Test)]]]] [\\library @@ -38,7 +38,7 @@ (_.for [/.equivalence /.=] (equivalenceT.spec /.equivalence random.int)) (_.for [/.hash] - ($hash.spec /.hash random.int)) + (hashT.spec /.hash random.int)) (_.for [/.order /.<] (orderT.spec /.order random.int)) (_.for [/.enum] @@ -62,7 +62,7 @@ [/.binary] [/.octal] [/.decimal] [/.hex] )) (_.for [/.arithmetic] - (arithmeticS.spec /.equivalence /.arithmetic random.int)) + (arithmeticT.spec /.equivalence /.arithmetic random.int)) ))) (def predicate diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index ecce84604..ffc99b37e 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" enum ["[1]T" \\test]] ["[0]" interval @@ -22,7 +22,7 @@ [math ["[0]" random] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [test ["_" property (.only Test)]]]] [\\library @@ -36,7 +36,7 @@ (_.for [/.equivalence /.=] (equivalenceT.spec /.equivalence random.nat)) (_.for [/.hash] - ($hash.spec /.hash random.nat)) + (hashT.spec /.hash random.nat)) (_.for [/.order /.<] (orderT.spec /.order random.nat)) (_.for [/.enum] @@ -60,7 +60,7 @@ [/.binary] [/.octal] [/.decimal] [/.hex] )) (_.for [/.arithmetic] - (arithmeticS.spec /.equivalence /.arithmetic random.nat)) + (arithmeticT.spec /.equivalence /.arithmetic random.nat)) ))) (def predicate diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index ecb92de4a..0c1e15bc3 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -18,7 +18,7 @@ [math ["[0]" random (.only Random)] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [test ["_" property (.only Test)]]]] [\\library @@ -59,7 +59,7 @@ (_.for [/.codec] (codecT.spec /.equivalence /.codec ..random)) (_.for [/.arithmetic] - (arithmeticS.spec /.equivalence /.arithmetic ..random)) + (arithmeticT.spec /.equivalence /.arithmetic ..random)) (do random.monad [.let [(open "#[0]") /.equivalence] diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index ce264cdef..65021aefb 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" enum ["[1]T" \\test]] ["[0]" interval @@ -22,7 +22,7 @@ [math ["[0]" random] ["[0]" arithmetic - ["[1]S" \\specification]]] + ["[1]T" \\test]]] [test ["_" property (.only Test)]]]] [\\library @@ -38,7 +38,7 @@ (_.for [/.equivalence /.=] (equivalenceT.spec /.equivalence random.rev)) (_.for [/.hash] - ($hash.spec /.hash random.rev)) + (hashT.spec /.hash random.rev)) (_.for [/.order /.<] (orderT.spec /.order random.rev)) (_.for [/.enum] @@ -61,7 +61,7 @@ [/.binary] [/.octal] [/.decimal] [/.hex] )) (_.for [/.arithmetic] - (arithmeticS.spec /.equivalence /.arithmetic random.rev)) + (arithmeticT.spec /.equivalence /.arithmetic random.rev)) ))) (def .public test diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 2dec361da..477d1e31e 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -46,18 +46,17 @@ ["[1][0]" static] ["[1][0]" extension] ["[1][0]" global] - ... ["[1][0]" target (.only) - ... (.,, (.for "{old}" (.,, (.these ["[1]/[0]" jvm])) - ... "JVM" (.,, (.these ["[1]/[0]" jvm])) - ... "JavaScript" (.,, (.these ["[1]/[0]" js])) - ... "Lua" (.,, (.these ["[1]/[0]" lua])) - ... "Python" (.,, (.these ["[1]/[0]" python])) - ... "Ruby" (.,, (.these ["[1]/[0]" ruby])) - ... (.,, (.these))))] + ["[1][0]" target (.only) + (.,, (.for "{old}" (.,, (.these ["[1]/[0]" jvm])) + "JVM" (.,, (.these ["[1]/[0]" jvm])) + "JavaScript" (.,, (.these ["[1]/[0]" js])) + "Lua" (.,, (.these ["[1]/[0]" lua])) + "Python" (.,, (.these ["[1]/[0]" python])) + "Ruby" (.,, (.these ["[1]/[0]" ruby])) + (.,, (.these))))] ["[1][0]" compiler ... ["[1]/[0]" phase] ... ["[1]/[0]" meta - ... ["[1]/[0]" archive] ... ["[1]/[0]" cli] ... ["[1]/[0]" export] ... ["[1]/[0]" import] @@ -1056,19 +1055,18 @@ /type.test /macro.test /static.test - ... /target.test - ... (,, (for @.jvm (,, (these /target/jvm.test)) - ... @.old (,, (these /target/jvm.test)) - ... @.js (,, (these /target/js.test)) - ... @.lua (,, (these /target/lua.test)) - ... @.python (,, (these /target/python.test)) - ... @.ruby (,, (these /target/ruby.test)))) + /target.test + (,, (for @.jvm (,, (these /target/jvm.test)) + @.old (,, (these /target/jvm.test)) + @.js (,, (these /target/js.test)) + @.lua (,, (these /target/lua.test)) + @.python (,, (these /target/python.test)) + @.ruby (,, (these /target/ruby.test)))) (,, (for @.old (,, (these)) (,, (these /extension.test)))) /global.test /compiler.test - ... /compiler/meta/archive.test ... /compiler/meta/cli.test ... /compiler/meta/export.test ... /compiler/meta/import.test diff --git a/stdlib/source/test/lux/meta/compiler.lux b/stdlib/source/test/lux/meta/compiler.lux index 30e4ce1d9..58ac3c8a3 100644 --- a/stdlib/source/test/lux/meta/compiler.lux +++ b/stdlib/source/test/lux/meta/compiler.lux @@ -15,8 +15,7 @@ ["[1][0]" reference] ["[1][0]" language ["[1]/[0]" lux]] - ["[1][0]" meta - ["[1]/[0]" io]]]) + ["[1][0]" meta]]) (def .public test Test @@ -33,5 +32,5 @@ /language/lux.test - /meta/io.test + /meta.test ))) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux index b5e4e04ed..145017a7e 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/analysis/complex.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence) @@ -64,7 +64,7 @@ (_.for [/.equivalence] (equivalenceT.spec (/.equivalence n.equivalence) random)) (_.for [/.hash] - ($hash.spec (/.hash n.hash) random)) + (hashT.spec (/.hash n.hash) random)) (_.for [/.Tag] ..test|tag) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux index 2ffea9b19..2ade58534 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/extension.lux @@ -5,8 +5,8 @@ ["[0]" monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [control ["[0]" pipe] ["[0]" try] @@ -203,7 +203,7 @@ (_.for [/.equivalence] (equivalenceT.spec (/.equivalence n.equivalence) ..random)) (_.for [/.hash] - ($hash.spec (/.hash n.hash) ..random)) + (hashT.spec (/.hash n.hash) ..random)) (<| (_.for [/.Operation]) (all _.and diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux index 22eef4b16..25d80755b 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/member.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence)]] @@ -35,7 +35,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.format] (bit#= (of /.equivalence = left right) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux index a0eac562a..183a05cc2 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/access/side.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence)]] @@ -35,7 +35,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.format] (bit#= (of /.equivalence = left right) diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux index ca31f785f..c40da0a44 100644 --- a/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/meta/compiler/language/lux/synthesis/simple.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" bit (.use "[1]#[0]" equivalence)] ["[0]" text (.use "[1]#[0]" equivalence)]] @@ -39,7 +39,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.format] (bit#= (text#= (/.format left) (/.format right)) diff --git a/stdlib/source/test/lux/meta/compiler/meta.lux b/stdlib/source/test/lux/meta/compiler/meta.lux new file mode 100644 index 000000000..c2d1ac5c6 --- /dev/null +++ b/stdlib/source/test/lux/meta/compiler/meta.lux @@ -0,0 +1,32 @@ +(.require + [library + [lux (.except) + [abstract + [monad (.only do)]] + [math + ["[0]" random (.only Random)] + [number + ["n" nat]]] + [meta + ["[0]" version]] + [test + ["_" property (.only Test)]]]] + [\\library + ["[0]" /]] + ["[0]" / + ["[1][0]" io] + ["[1][0]" archive]]) + +(def .public test + Test + (<| (_.covering /._) + (do [! random.monad] + []) + (all _.and + (_.coverage [/.version] + (not (n.= version.latest + /.version))) + + /io.test + /archive.test + ))) diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive.lux b/stdlib/source/test/lux/meta/compiler/meta/archive.lux index 1076b0373..07a8da0cc 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive.lux @@ -198,7 +198,6 @@ (def .public test Test (<| (_.covering /._) - (_.for [/.Archive]) (do random.monad [module/0 (random.lower_cased 1) module/1 (random.lower_cased 2) @@ -208,44 +207,46 @@ hash random.nat .let [key (/key.key signature content/0)]]) (all _.and - (_.coverage [/.empty] - (list.empty? (/.entries /.empty))) - (_.coverage [/.reserve /.id] - (|> (do try.monad - [[@module/0 archive] (/.reserve module/0 /.empty) - [@module/1 archive] (/.reserve module/1 archive) - @module/0' (/.id module/0 archive) - @module/1' (/.id module/1 archive)] - (in (and (same? @module/0 @module/0') - (same? @module/1 @module/1')))) - (try.else false))) - (_.coverage [/.reserved] - (|> (do try.monad - [[@module/0 archive] (/.reserve module/0 /.empty) - [@module/1 archive] (/.reserve module/1 archive)] - (in (set#= (set.of_list text.hash (list module/0 module/1)) - (set.of_list text.hash (/.reserved archive))))) - (try.else false))) - (_.coverage [/.reservations] - (|> (do try.monad - [[@module/0 archive] (/.reserve module/0 /.empty) - [@module/1 archive] (/.reserve module/1 archive) - .let [hash (product.hash text.hash n.hash)]] - (in (set#= (set.of_list hash (list [module/0 @module/0] [module/1 @module/1])) - (set.of_list hash (/.reservations archive))))) - (try.else false))) - (_.coverage [/.module_has_already_been_reserved] - (|> (do try.monad - [[@module/0 archive] (/.reserve module/0 /.empty) - _ (/.reserve module/0 archive)] - (in false)) - (exception.otherwise (exception.match? /.module_has_already_been_reserved)))) - (_.coverage [/.reserved?] - (|> (do try.monad - [[@module/0 archive] (/.reserve module/0 /.empty)] - (in (and (/.reserved? archive module/0) - (not (/.reserved? archive module/1))))) - (try.else false))) + (<| (_.for [/.Archive]) + (all _.and + (_.coverage [/.empty] + (list.empty? (/.entries /.empty))) + (_.coverage [/.reserve /.id] + (|> (do try.monad + [[@module/0 archive] (/.reserve module/0 /.empty) + [@module/1 archive] (/.reserve module/1 archive) + @module/0' (/.id module/0 archive) + @module/1' (/.id module/1 archive)] + (in (and (same? @module/0 @module/0') + (same? @module/1 @module/1')))) + (try.else false))) + (_.coverage [/.reserved] + (|> (do try.monad + [[@module/0 archive] (/.reserve module/0 /.empty) + [@module/1 archive] (/.reserve module/1 archive)] + (in (set#= (set.of_list text.hash (list module/0 module/1)) + (set.of_list text.hash (/.reserved archive))))) + (try.else false))) + (_.coverage [/.reservations] + (|> (do try.monad + [[@module/0 archive] (/.reserve module/0 /.empty) + [@module/1 archive] (/.reserve module/1 archive) + .let [hash (product.hash text.hash n.hash)]] + (in (set#= (set.of_list hash (list [module/0 @module/0] [module/1 @module/1])) + (set.of_list hash (/.reservations archive))))) + (try.else false))) + (_.coverage [/.module_has_already_been_reserved] + (|> (do try.monad + [[@module/0 archive] (/.reserve module/0 /.empty) + _ (/.reserve module/0 archive)] + (in false)) + (exception.otherwise (exception.match? /.module_has_already_been_reserved)))) + (_.coverage [/.reserved?] + (|> (do try.monad + [[@module/0 archive] (/.reserve module/0 /.empty)] + (in (and (/.reserved? archive module/0) + (not (/.reserved? archive module/1))))) + (try.else false))))) (_.for [/.Entry] ..test|entry) diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux index c452662f9..44fa0fc5e 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact/category.lux @@ -29,10 +29,6 @@ (random#in []) ..random_definition (random.lower_cased 2) - (random.lower_cased 3) - (random.lower_cased 4) - (random.lower_cased 5) - (random.lower_cased 6) )) (def .public test diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux index e13e1dca1..f0990eb71 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/registry.lux @@ -79,45 +79,33 @@ _ false))) - (,, (with_template [<new> <expected>' <query> <tag> <wrong_new> <wrong_expected>'] + (,, (with_template [<new> <expected>' <query> <tag>] [(_.coverage [<new> <query>] (let [<expected> <expected>' - <wrong_expected> <wrong_expected>'] - (and (let [[@it registry] (<new> <expected> mandatory? expected_dependencies /.empty)] - (and (when (<query> registry) - (list actual_name) + [@it registry] (<new> <expected> mandatory? expected_dependencies /.empty)] + (and (when (<query> registry) + (list actual_name) + (same? <expected> actual_name) + + _ + false) + (when (sequence.list (/.artifacts registry)) + (list [artifact actual_dependencies]) + (and (same? @it (the artifact.#id artifact)) + (same? mandatory? (the artifact.#mandatory? artifact)) + (when (the artifact.#category artifact) + {<tag> actual_name} (same? <expected> actual_name) _ false) - (when (sequence.list (/.artifacts registry)) - (list [artifact actual_dependencies]) - (and (same? @it (the artifact.#id artifact)) - (same? mandatory? (the artifact.#mandatory? artifact)) - (when (the artifact.#category artifact) - {<tag> actual_name} - (same? <expected> actual_name) - - _ - false) - (same? expected_dependencies actual_dependencies)) - - _ - false))) - (let [[@it registry] (<wrong_new> <wrong_expected> mandatory? expected_dependencies /.empty)] - (when (<query> registry) - (list) - true + (same? expected_dependencies actual_dependencies)) - _ - false)))))] + _ + false))))] - [/.definition (is category.Definition [expected_name {.#None}]) /.definitions category.#Definition /.analyser expected_name] - [/.analyser expected_name /.analysers category.#Analyser /.synthesizer expected_name] - [/.synthesizer expected_name /.synthesizers category.#Synthesizer /.translator expected_name] - [/.translator expected_name /.translators category.#Translator /.declaration expected_name] - [/.declaration expected_name /.declarations category.#Declaration /.custom expected_name] - [/.custom expected_name /.customs category.#Custom /.definition (is category.Definition [expected_name {.#None}])] + [/.definition (is category.Definition [expected_name {.#None}]) /.definitions category.#Definition] + [/.custom expected_name /.customs category.#Custom] )) (_.coverage [/.id] (and (,, (with_template [<new> <expected>' <name>] @@ -128,10 +116,6 @@ (maybe.else false)))] [/.definition (is category.Definition [expected_name {.#None}]) product.left] - [/.analyser expected_name |>] - [/.synthesizer expected_name |>] - [/.translator expected_name |>] - [/.declaration expected_name |>] [/.custom expected_name |>] )))) (_.coverage [/.artifacts] @@ -153,10 +137,6 @@ [/.definition /.definitions category.definition_equivalence (is (-> Text category.Definition) (function (_ it) [it {.#None}]))] - [/.analyser /.analysers text.equivalence (|>>)] - [/.synthesizer /.synthesizers text.equivalence (|>>)] - [/.translator /.translators text.equivalence (|>>)] - [/.declaration /.declarations text.equivalence (|>>)] [/.custom /.customs text.equivalence (|>>)] )))) (_.coverage [/.format /.parser] @@ -172,10 +152,6 @@ (try.else false)))] [/.definition (is category.Definition [expected_name {.#None}]) product.left] - [/.analyser expected_name |>] - [/.synthesizer expected_name |>] - [/.translator expected_name |>] - [/.declaration expected_name |>] [/.custom expected_name |>] )))) ))))) diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux index 3381e5872..beeda29dd 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux @@ -4,8 +4,8 @@ [abstract ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data [collection ["[0]" set]]] @@ -31,7 +31,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.none] (set.empty? /.none)) diff --git a/stdlib/source/test/lux/meta/compiler/reference.lux b/stdlib/source/test/lux/meta/compiler/reference.lux index 145230014..a0bd549bc 100644 --- a/stdlib/source/test/lux/meta/compiler/reference.lux +++ b/stdlib/source/test/lux/meta/compiler/reference.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format]]] @@ -52,7 +52,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (,, (with_template [<tag>] [(_.coverage [<tag>] diff --git a/stdlib/source/test/lux/meta/compiler/reference/variable.lux b/stdlib/source/test/lux/meta/compiler/reference/variable.lux index b25c0e755..f047de3b3 100644 --- a/stdlib/source/test/lux/meta/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/meta/compiler/reference/variable.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" text (.use "[1]#[0]" equivalence)]] [math @@ -34,7 +34,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.self] (when (/.self) diff --git a/stdlib/source/test/lux/meta/macro/syntax/check.lux b/stdlib/source/test/lux/meta/macro/syntax/check.lux index 623b944b8..6bdf0f524 100644 --- a/stdlib/source/test/lux/meta/macro/syntax/check.lux +++ b/stdlib/source/test/lux/meta/macro/syntax/check.lux @@ -30,7 +30,8 @@ (def .public test Test (<| (_.covering /._) - (_.for [/.Check]) + (_.for [/.Check + /.#type /.#value]) (all _.and (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) diff --git a/stdlib/source/test/lux/meta/symbol.lux b/stdlib/source/test/lux/meta/symbol.lux index 430217ed4..56d7ff113 100644 --- a/stdlib/source/test/lux/meta/symbol.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]] ["[0]" equivalence @@ -49,7 +49,7 @@ (_.for [/.hash] (|> (random.ascii 1) (of ! each (|>> [""])) - ($hash.spec /.hash))) + (hashT.spec /.hash))) (_.for [/.order] (orderT.spec /.order (..random sizeM1 sizeS1))) (_.for [/.codec] diff --git a/stdlib/source/test/lux/meta/target/jvm.lux b/stdlib/source/test/lux/meta/target/jvm.lux index 2487c7e3b..dffacdfaa 100644 --- a/stdlib/source/test/lux/meta/target/jvm.lux +++ b/stdlib/source/test/lux/meta/target/jvm.lux @@ -20,8 +20,8 @@ [collection ["[0]" array] ["[0]" dictionary] - ["[0]" sequence] ["[0]" set] + ["[0]" sequence] ["[0]" list (.use "[1]#[0]" functor)]]] [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] @@ -139,7 +139,7 @@ {.#Some (do /.monad [_ bytecode] /.areturn)})) - (sequence.sequence)) + (list)) .let [bytecode (binary.result /class.format class) loader (/loader.memory (/loader.new_library []))] _ (/loader.define class_name bytecode loader) @@ -909,7 +909,7 @@ _ /.ladd _ ..$Long::wrap] /.areturn)})) - (sequence.sequence)) + (list)) try.trusted (binary.result /class.format)) loader (/loader.memory (/loader.new_library []))]] @@ -976,67 +976,67 @@ (write_and_read size constructor value literal [*store *load *wrap] test))))))] (all _.and (_.context "boolean" - (array (/.newarray /instruction.t_boolean) $Boolean::random $Boolean::literal [/.bastore /.baload $Boolean::wrap] - (function (_ expected) (|>> (as Bit) (bit#= (as Bit expected)))))) + (array (/.newarray /instruction.t_boolean) $Boolean::random $Boolean::literal [/.bastore /.baload $Boolean::wrap] + (function (_ expected) (|>> (as Bit) (bit#= (as Bit expected)))))) (_.context "byte" - (array (/.newarray /instruction.t_byte) $Byte::random $Byte::literal [/.bastore /.baload $Byte::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Byte) ffi.byte_to_long ("jvm leq" (ffi.byte_to_long expected))) - - @.jvm - (|>> (as java/lang/Byte) ffi.byte_to_long .jvm_object_cast# (.jvm_long_=# (.jvm_object_cast# (ffi.byte_to_long (as java/lang/Byte expected))))))))) + (array (/.newarray /instruction.t_byte) $Byte::random $Byte::literal [/.bastore /.baload $Byte::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Byte) ffi.byte_to_long ("jvm leq" (ffi.byte_to_long expected))) + + @.jvm + (|>> (as java/lang/Byte) ffi.byte_to_long .jvm_object_cast# (.jvm_long_=# (.jvm_object_cast# (ffi.byte_to_long (as java/lang/Byte expected))))))))) (_.context "short" - (array (/.newarray /instruction.t_short) $Short::random $Short::literal [/.sastore /.saload $Short::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Short) ffi.short_to_long ("jvm leq" (ffi.short_to_long expected))) - - @.jvm - (|>> (as java/lang/Short) ffi.short_to_long .jvm_object_cast# (.jvm_long_=# (.jvm_object_cast# (ffi.short_to_long (as java/lang/Short expected))))))))) + (array (/.newarray /instruction.t_short) $Short::random $Short::literal [/.sastore /.saload $Short::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Short) ffi.short_to_long ("jvm leq" (ffi.short_to_long expected))) + + @.jvm + (|>> (as java/lang/Short) ffi.short_to_long .jvm_object_cast# (.jvm_long_=# (.jvm_object_cast# (ffi.short_to_long (as java/lang/Short expected))))))))) (_.context "int" - (array (/.newarray /instruction.t_int) $Integer::random $Integer::literal [/.iastore /.iaload $Integer::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Integer) ("jvm ieq" (as java/lang/Integer expected))) - - @.jvm - (|>> (as java/lang/Integer) .jvm_object_cast# (.jvm_int_=# (.jvm_object_cast# (as java/lang/Integer expected)))))))) + (array (/.newarray /instruction.t_int) $Integer::random $Integer::literal [/.iastore /.iaload $Integer::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Integer) ("jvm ieq" (as java/lang/Integer expected))) + + @.jvm + (|>> (as java/lang/Integer) .jvm_object_cast# (.jvm_int_=# (.jvm_object_cast# (as java/lang/Integer expected)))))))) (_.context "long" - (array (/.newarray /instruction.t_long) $Long::random $Long::literal [/.lastore /.laload $Long::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Long) ("jvm leq" expected)) - - @.jvm - (|>> (as java/lang/Long) .jvm_object_cast# (.jvm_long_=# (.jvm_object_cast# (as java/lang/Long expected)))))))) + (array (/.newarray /instruction.t_long) $Long::random $Long::literal [/.lastore /.laload $Long::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Long) ("jvm leq" expected)) + + @.jvm + (|>> (as java/lang/Long) .jvm_object_cast# (.jvm_long_=# (.jvm_object_cast# (as java/lang/Long expected)))))))) (_.context "float" - (array (/.newarray /instruction.t_float) ..valid_float $Float::literal [/.fastore /.faload $Float::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Float) ("jvm feq" expected)) - - @.jvm - (|>> (as java/lang/Float) .jvm_object_cast# (.jvm_float_=# (.jvm_object_cast# (as java/lang/Float expected)))))))) + (array (/.newarray /instruction.t_float) ..valid_float $Float::literal [/.fastore /.faload $Float::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Float) ("jvm feq" expected)) + + @.jvm + (|>> (as java/lang/Float) .jvm_object_cast# (.jvm_float_=# (.jvm_object_cast# (as java/lang/Float expected)))))))) (_.context "double" - (array (/.newarray /instruction.t_double) ..valid_double $Double::literal [/.dastore /.daload $Double::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Double) ("jvm deq" expected)) - - @.jvm - (|>> (as java/lang/Double) .jvm_object_cast# (.jvm_double_=# (.jvm_object_cast# (as java/lang/Double expected)))))))) + (array (/.newarray /instruction.t_double) ..valid_double $Double::literal [/.dastore /.daload $Double::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Double) ("jvm deq" expected)) + + @.jvm + (|>> (as java/lang/Double) .jvm_object_cast# (.jvm_double_=# (.jvm_object_cast# (as java/lang/Double expected)))))))) (_.context "char" - (array (/.newarray /instruction.t_char) $Character::random $Character::literal [/.castore /.caload $Character::wrap] - (function (_ expected) - (for @.old - (|>> (as java/lang/Character) ("jvm ceq" expected)) - - @.jvm - (|>> (as java/lang/Character) .jvm_object_cast# (.jvm_char_=# (.jvm_object_cast# (as java/lang/Character expected)))))))) + (array (/.newarray /instruction.t_char) $Character::random $Character::literal [/.castore /.caload $Character::wrap] + (function (_ expected) + (for @.old + (|>> (as java/lang/Character) ("jvm ceq" expected)) + + @.jvm + (|>> (as java/lang/Character) .jvm_object_cast# (.jvm_char_=# (.jvm_object_cast# (as java/lang/Character expected)))))))) (_.context "object" - (array (/.anewarray ..$String) $String::random $String::literal [/.aastore /.aaload /.nop] - (function (_ expected) (|>> (as Text) (text#= (as Text expected)))))) + (array (/.anewarray ..$String) $String::random $String::literal [/.aastore /.aaload /.nop] + (function (_ expected) (|>> (as Text) (text#= (as Text expected)))))) (<| (_.context "multi") (do [! random.monad] [.let [size (of ! each (|>> (n.% 5) (n.+ 1)) @@ -1378,7 +1378,7 @@ (substitute expected)) _ (the #wrap primitive)] /.areturn)})) - (sequence.sequence)) + (list)) .let [bytecode (binary.result /class.format class) loader (/loader.memory (/loader.new_library []))] _ (/loader.define class_name bytecode loader) @@ -1659,7 +1659,7 @@ (list) (list (/method.method (all /modifier#composite /method.public /method.abstract) interface_method false method::type (list) {.#None})) - (sequence.sequence)) + (list)) try.trusted (binary.result /class.format)) abstract_bytecode (|> (/class.class /version.v6_0 (all /modifier#composite /class.public /class.abstract) @@ -1680,7 +1680,7 @@ (method overriden_method fake_part2) (/method.method (all /modifier#composite /method.public /method.abstract) abstract_method false method::type (list) {.#None})) - (sequence.sequence)) + (list)) try.trusted (binary.result /class.format)) invoke (is (-> (Type Class) Text (Bytecode Any)) @@ -1728,7 +1728,7 @@ _ /.ladd _ ..$Long::wrap] /.areturn)})) - (sequence.sequence)) + (list)) try.trusted (binary.result /class.format)) loader (/loader.memory (/loader.new_library []))]] diff --git a/stdlib/source/test/lux/meta/target/lua.lux b/stdlib/source/test/lux/meta/target/lua.lux index 68012d0a8..8aa357f30 100644 --- a/stdlib/source/test/lux/meta/target/lua.lux +++ b/stdlib/source/test/lux/meta/target/lua.lux @@ -4,8 +4,8 @@ ["[0]" ffi] [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]]] [control @@ -713,7 +713,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence random)) (_.for [/.hash] - ($hash.spec /.hash random)) + (hashT.spec /.hash random)) (_.coverage [/.manual] (expression (|>> (as Int) (i.= expected)) diff --git a/stdlib/source/test/lux/meta/target/python.lux b/stdlib/source/test/lux/meta/target/python.lux index 9d7e28a49..ac5ba6d0b 100644 --- a/stdlib/source/test/lux/meta/target/python.lux +++ b/stdlib/source/test/lux/meta/target/python.lux @@ -4,8 +4,8 @@ ["[0]" ffi] [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]]] [control @@ -831,7 +831,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random_expression)) (_.for [/.hash] - ($hash.spec /.hash ..random_expression)) + (hashT.spec /.hash ..random_expression)) (_.coverage [/.code /.manual] (|> (/.manual (/.code expected)) diff --git a/stdlib/source/test/lux/test/benchmark.lux b/stdlib/source/test/lux/test/benchmark.lux index e8ff950f3..10274d918 100644 --- a/stdlib/source/test/lux/test/benchmark.lux +++ b/stdlib/source/test/lux/test/benchmark.lux @@ -19,20 +19,23 @@ [\\library ["[0]" /]]) +(def (fibonacci it) + (-> Nat + Nat) + (when it + 0 0 + 1 1 + _ (n.+ (fibonacci (n.- 1 it)) + (fibonacci (n.- 2 it))))) + (def .public test Test (<| (_.covering /._) (do [! random.monad] - [angle random.safe_frac - - times (of ! each (n.% 10) random.nat) + [times (of ! each (n.% 10) random.nat) - .let [computation (is (IO Frac) - (io.io (|> angle - f.cos f.acos - f.sin f.asin - f.tan f.atan - f.exp f.log)))]]) + .let [computation (is (IO Nat) + (io.io (fibonacci 32)))]]) (all _.and (_.coverage [/.time] (io.run! @@ -45,8 +48,10 @@ (_.coverage [/.test] (io.run! (do io.monad - [it (/.test times computation)] - (in (and (n.= times (the /.#times it)) + [it (/.test times computation) + .let [performed_exact_number_of_times! + (n.= times (the /.#times it))]] + (in (and performed_exact_number_of_times! (when times 0 (and (duration.neutral? (the /.#minimum it)) (duration.neutral? (the /.#maximum it)) diff --git a/stdlib/source/test/lux/world/finance/market/price.lux b/stdlib/source/test/lux/world/finance/market/price.lux index 28c0db1f5..6525ce793 100644 --- a/stdlib/source/test/lux/world/finance/market/price.lux +++ b/stdlib/source/test/lux/world/finance/market/price.lux @@ -14,90 +14,82 @@ ["[0]" text (.only) ["%" \\format]]] [math - ["[0]" random (.only Random) (.use "[1]#[0]" functor)] + ["[0]" random (.only Random)] [number + ["n" nat] ["i" int]]] [test ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [/// - [money - ["[0]" currency (.only Currency)]]]]]) + ["[0]" money (.only) + ["[0]" currency (.only Currency)]]]]] + [/// + ["[0]T" money]]) -(def .public (random $) +(def .public (random $ max_sub_units) (All (_ $) - (-> (Currency $) + (-> (Currency $) Nat (Random (/.Action $)))) - (random#each (/.action $) - random.int)) + (do random.monad + [from (moneyT.random $ max_sub_units) + to (moneyT.random $ max_sub_units)] + (in (/.action from to)))) (def .public test Test (<| (_.covering /._) (do [! random.monad] - [expected_movement random.int + [parameter (..random currency.usd 1000,00) + subject (..random currency.usd 1000,00) - expected_parameter random.int - expected_subject random.int]) + from (moneyT.random currency.usd 1000,00) + to (moneyT.random currency.usd 1000,00)]) (_.for [/.Price /.Action]) (all _.and (_.for [/.equivalence /.=] - (equivalenceT.spec /.equivalence (..random currency.usd))) + (equivalenceT.spec /.equivalence (..random currency.usd 1000,00))) (_.for [/.order /.<] - (orderT.spec /.order (..random currency.usd))) + (orderT.spec /.order (..random currency.usd 1000,00))) (_.coverage [/.action /.currency /.movement] - (let [it (/.action currency.usd expected_movement)] + (let [it (/.action from to)] (and (same? currency.usd (/.currency it)) - (same? expected_movement (/.movement it))))) + (i.= (int (n.- (money.amount from) (money.amount to))) + (/.movement it))))) (_.coverage [/.+ /.-] - (let [parameter (/.action currency.usd expected_parameter) - subject (/.action currency.usd expected_subject)] - (and (|> subject - (/.+ parameter) - (of /.equivalence = subject) - not) - (|> subject - (/.+ parameter) - (/.- parameter) - (of /.equivalence = subject))))) + (and (|> subject + (/.+ parameter) + (of /.equivalence = subject) + not) + (|> subject + (/.+ parameter) + (/.- parameter) + (of /.equivalence = subject)))) (_.coverage [/.min] - (let [expected_parameter (/.action currency.usd expected_parameter) - expected_subject (/.action currency.usd expected_subject)] - (and (/.<= expected_parameter - (/.min expected_parameter expected_subject)) - (/.<= expected_subject - (/.min expected_parameter expected_subject))))) + (and (/.<= parameter + (/.min parameter subject)) + (/.<= subject + (/.min parameter subject)))) (_.coverage [/.max] - (let [expected_parameter (/.action currency.usd expected_parameter) - expected_subject (/.action currency.usd expected_subject)] - (and (/.>= expected_parameter - (/.max expected_parameter expected_subject)) - (/.>= expected_subject - (/.max expected_parameter expected_subject))))) - (let [expected_parameter (/.action currency.usd expected_parameter) - expected_subject (/.action currency.usd expected_subject)] - (all _.and - (_.coverage [/.>] - (bit#= (/.> expected_parameter expected_subject) - (/.< expected_subject expected_parameter))) - (_.coverage [/.<= /.>=] - (bit#= (/.<= expected_parameter expected_subject) - (/.>= expected_subject expected_parameter))) - )) - (_.coverage [/.units /.sub_units] - (let [expected (/.action currency.usd expected_movement) - actual (/.action currency.usd (i.+ (/.units expected) - (/.sub_units expected)))] - (/.= expected actual))) - (_.coverage [/.of_units /.of_sub_units] - (let [expected (/.action currency.usd expected_movement) - actual (/.+ (/.of_units currency.usd (/.units expected)) - (/.of_sub_units currency.usd (/.sub_units expected)))] - (/.= expected actual))) + (and (/.>= parameter + (/.max parameter subject)) + (/.>= subject + (/.max parameter subject)))) + (_.coverage [/.>] + (bit#= (/.> parameter subject) + (/.< subject parameter))) + (_.coverage [/.<= /.>=] + (bit#= (/.<= parameter subject) + (/.>= subject parameter))) + (_.coverage [/.units /.sub_units + /.of_units /.of_sub_units] + (/.= subject + (/.+ (/.of_units currency.usd (/.units subject)) + (/.of_sub_units currency.usd (/.sub_units subject))))) (do ! - [it (..random currency.usd)] + [it (..random currency.usd 1000,00)] (_.coverage [/.format] (and (text.starts_with? (%.int (/.movement it)) (text.replaced_once "." "" (/.format it))) diff --git a/stdlib/source/test/lux/world/locale.lux b/stdlib/source/test/lux/world/locale.lux index 92510dd26..73dd6ddd2 100644 --- a/stdlib/source/test/lux/world/locale.lux +++ b/stdlib/source/test/lux/world/locale.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]]] [math @@ -63,15 +63,15 @@ (|> ..random_language (of ! each (function (_ language) (/.locale language {.#Some fixed_territory} {.#Some fixed_encoding}))) - ($hash.spec /.hash)) + (hashT.spec /.hash)) (|> ..random_territory (of ! each (function (_ territory) (/.locale fixed_language {.#Some territory} {.#Some fixed_encoding}))) - ($hash.spec /.hash)) + (hashT.spec /.hash)) (|> ..random_encoding (of ! each (function (_ encoding) (/.locale fixed_language {.#Some fixed_territory} {.#Some encoding}))) - ($hash.spec /.hash)) + (hashT.spec /.hash)) ))) (do random.monad diff --git a/stdlib/source/test/lux/world/locale/language.lux b/stdlib/source/test/lux/world/locale/language.lux index 12020bfe7..66546e29f 100644 --- a/stdlib/source/test/lux/world/locale/language.lux +++ b/stdlib/source/test/lux/world/locale/language.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [hash (.only Hash)] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [control ["[0]" maybe]] [data @@ -295,7 +295,7 @@ (_.for [/.Language]) (all _.and (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) ..languages_test ..aliases_test diff --git a/stdlib/source/test/lux/world/locale/territory.lux b/stdlib/source/test/lux/world/locale/territory.lux index f39ff6627..c3799f7b6 100644 --- a/stdlib/source/test/lux/world/locale/territory.lux +++ b/stdlib/source/test/lux/world/locale/territory.lux @@ -4,8 +4,8 @@ [abstract [monad (.only do)] [hash (.only Hash)] - [\\specification - ["$[0]" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [control ["[0]" maybe]] [data @@ -221,7 +221,7 @@ (_.for [/.Territory]) (all _.and (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) ..territories_test ..aliases_test diff --git a/stdlib/source/test/lux/world/net/http/version.lux b/stdlib/source/test/lux/world/net/http/version.lux index 5891f3768..2f4b38625 100644 --- a/stdlib/source/test/lux/world/net/http/version.lux +++ b/stdlib/source/test/lux/world/net/http/version.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]]] [data @@ -39,7 +39,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.v0_9 /.v1_0 /.v1_1 /.v2_0] (let [options (list /.v0_9 /.v1_0 /.v1_1 /.v2_0) diff --git a/stdlib/source/test/lux/world/net/mime.lux b/stdlib/source/test/lux/world/net/mime.lux index 18f6521c1..65ea9535a 100644 --- a/stdlib/source/test/lux/world/net/mime.lux +++ b/stdlib/source/test/lux/world/net/mime.lux @@ -5,8 +5,8 @@ [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] - [\\specification - ["[0]S" hash]]] + ["[0]" hash + ["[1]T" \\test]]] [data ["[0]" text (.only) ["[0]" encoding (.only) @@ -160,7 +160,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - (hashS.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.mime /.name] (|> expected diff --git a/stdlib/source/test/lux/world/net/uri/scheme.lux b/stdlib/source/test/lux/world/net/uri/scheme.lux index 200b0fce5..ba02871ec 100644 --- a/stdlib/source/test/lux/world/net/uri/scheme.lux +++ b/stdlib/source/test/lux/world/net/uri/scheme.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]]] [data @@ -61,7 +61,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [/.name /.scheme] (|> expected diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index c05173d2a..0dec2c08a 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" equivalence ["[1]T" \\test]]] [control @@ -60,7 +60,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.coverage [<resolutions>] (n.= (list.size ..listing) diff --git a/stdlib/source/test/lux/world/time/day.lux b/stdlib/source/test/lux/world/time/day.lux index be1812d92..4af557a8a 100644 --- a/stdlib/source/test/lux/world/time/day.lux +++ b/stdlib/source/test/lux/world/time/day.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" enum ["[1]T" \\test]] ["[0]" codec @@ -54,7 +54,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.for [/.order] (orderT.spec /.order ..random)) (_.for [/.enum] diff --git a/stdlib/source/test/lux/world/time/instant.lux b/stdlib/source/test/lux/world/time/instant.lux index 889cfa612..104aa82a1 100644 --- a/stdlib/source/test/lux/world/time/instant.lux +++ b/stdlib/source/test/lux/world/time/instant.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" enum ["[1]T" \\test]] ["[0]" codec @@ -40,7 +40,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence random.instant)) (_.for [/.hash] - ($hash.spec /.hash random.instant)) + (hashT.spec /.hash random.instant)) (_.for [/.order] (orderT.spec /.order random.instant)) (_.for [/.enum] diff --git a/stdlib/source/test/lux/world/time/month.lux b/stdlib/source/test/lux/world/time/month.lux index 29cb2d725..9f30db09b 100644 --- a/stdlib/source/test/lux/world/time/month.lux +++ b/stdlib/source/test/lux/world/time/month.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" hash]] + ["[0]" hash + ["[1]T" \\test]] ["[0]" enum ["[1]T" \\test]] ["[0]" codec @@ -48,7 +48,7 @@ (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) (_.for [/.hash] - ($hash.spec /.hash ..random)) + (hashT.spec /.hash ..random)) (_.for [/.order] (orderT.spec /.order ..random)) (_.for [/.enum] |