diff options
| author | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
| commit | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch) | |
| tree | bc76d7aeff4f2b889ae262a64dc8d26b0476068d /stdlib/source/test | |
| parent | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff) | |
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to '')
242 files changed, 1066 insertions, 1066 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux index 1ff98be46..34ea448a7 100644 --- a/stdlib/source/test/aedifex.lux +++ b/stdlib/source/test/aedifex.lux @@ -1,8 +1,8 @@ (.module: [library [lux "*" - [program {"+" [program:]}] - ["_" test {"+" [Test]}] + [program {"+" program:}] + ["_" test {"+" Test}] [control ["[0]" io]]]] ["[0]" / "_" diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index 8057a46bc..453f69ac8 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [hash {"+" [Hash]}] + [monad {"+" do}] + [hash {"+" Hash}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -12,7 +12,7 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [world ["[0]" file] [net diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index f346a6c77..08b4555e3 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index c89a0cede..01e5a30dd 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] ["$[0]" / "_" ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 9bceb6737..c04029b4f 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 8c403ec24..04438ab34 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [time ["[0]" instant]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index e74d3d370..0f38d31a1 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" text]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]] ["$[0]" /// "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 367ddfe93..b798f67ea 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 156c403d7..d00dc53b7 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -12,9 +12,9 @@ ["<[0]>" text]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index af64231ab..7f693d91a 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -13,7 +13,7 @@ [time ["[0]" instant ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["i" int]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 85f6b69f5..ce4ca415a 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -12,7 +12,7 @@ [parser ["<[0]>" text]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 983e81210..92d2c47ea 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" time] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] [parser ["<[0]>" text]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index 7b19d6c57..d407d3907 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" text] [collection ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 963424469..adb5b36e1 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" xml]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]] ["$[0]" // "_" diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 989b205a3..33dab1686 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -1,25 +1,25 @@ (.module: [library - [lux {"-" [Type type]} - ["_" test {"+" [Test]}] + [lux {"-" Type type} + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" try] [concurrency - ["[0]" async {"+" [Async]}]] + ["[0]" async {"+" Async}]] [parser ["[0]" environment]]] [data - [binary {"+" [Binary]}] + [binary {"+" Binary}] ["[0]" text] [format - [xml {"+" [XML]}]] + [xml {"+" XML}]] [collection ["[0]" set] ["[0]" dictionary]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]] [world @@ -35,13 +35,13 @@ [\\program ["[0]" / ["/[1]" // "_" - ["[1]" profile {"+" [Profile]}] - ["[1][0]" package {"+" [Package]}] + ["[1]" profile {"+" Profile}] + ["[1][0]" package {"+" Package}] ["[1][0]" pom] - ["[1][0]" dependency {"+" [Dependency]} - ["[1]/[0]" resolution {"+" [Resolution]}]] - ["[1][0]" artifact {"+" [Artifact]} - ["[1]/[0]" type {"+" [Type]}]] + ["[1][0]" dependency {"+" Dependency} + ["[1]/[0]" resolution {"+" Resolution}]] + ["[1][0]" artifact {"+" Artifact} + ["[1]/[0]" type {"+" Type}]] ["[1][0]" repository "_" ["[1]/[0]" origin]]]]]) diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 16ae29ab4..29797d183 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try] [parser ["[0]" cli]]] @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] [\\program ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index 5cefcb033..ab9a2df31 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] ["[0]" / "_" ["[1][0]" version] ["[1][0]" pom] diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index eab61d51f..86ffc7a7b 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try] [parser ["[0]" environment]] [concurrency - ["[0]" atom {"+" [Atom]}] - ["[0]" async {"+" [Async]}]]] + ["[0]" atom {"+" Atom}] + ["[0]" async {"+" Async}]]] [data ["[0]" binary] ["[0]" text - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] [collection @@ -27,9 +27,9 @@ [time ["[0]" instant]] [world - [console {"+" [Console]}] - ["[0]" shell {"+" [Exit Shell]}] - ["[0]" program {"+" [Program]}] + [console {"+" Console}] + ["[0]" shell {"+" Exit Shell}] + ["[0]" program {"+" Program}] ["[0]" file ["[0]" watch]]]]] ["[0]" // "_" @@ -38,11 +38,11 @@ [\\program ["[0]" / ["//[1]" /// "_" - [command {"+" [Command]}] - ["[1]" profile {"+" [Profile]}] + [command {"+" Command}] + ["[1]" profile {"+" Profile}] ["[1][0]" action] [dependency - [resolution {"+" [Resolution]}]]]]]) + [resolution {"+" Resolution}]]]]]) (def: (command expected_runs end_signal fs dummy_file) (-> Nat Text (file.System Async) file.Path diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 722478571..05643780a 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] - [io {"+" [IO]}] + [pipe {"+" case>}] + [io {"+" IO}] ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async {"+" [Async]}]] + ["[0]" async {"+" Async}]] [parser ["[0]" environment]]] [data @@ -18,10 +18,10 @@ [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [world ["[0]" file] - ["[0]" shell {"+" [Shell]}] + ["[0]" shell {"+" Shell}] ["[0]" program]]]] ["[0]" // "_" ["@[0]" version] @@ -30,12 +30,12 @@ [\\program ["[0]" / ["//[1]" /// "_" - ["[1]" profile {"+" [Profile]}] + ["[1]" profile {"+" Profile}] ["[1][0]" action] ["[1][0]" artifact ["[1]/[0]" type]] - ["[1][0]" dependency {"+" [Dependency]} - ["[1]/[0]" resolution {"+" [Resolution]}]]]]]) + ["[1][0]" dependency {"+" Dependency} + ["[1]/[0]" resolution {"+" Resolution}]]]]]) (def: .public good_shell (-> Any (Shell IO)) diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index 8a9a69e7c..754bc4cd6 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -1,27 +1,27 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data - [binary {"+" [Binary]}] + [binary {"+" Binary}] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]] [world - ["[0]" file {"+" [Path]}]]]] + ["[0]" file {"+" Path}]]]] [// ["@[0]" version] [// @@ -34,7 +34,7 @@ ["[0]" / ["//[1]" /// "_" ["[1]" profile] - ["[1][0]" action {"+" [Action]}]]]]) + ["[1][0]" action {"+" Action}]]]]) (def: node_name (Random Text) diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index 68e4de22c..c2d97b932 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe] - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] [concurrency - ["[0]" async {"+" [Async]}]] + ["[0]" async {"+" Async}]] [parser ["[0]" environment]]] [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] ["[0]" format "_" @@ -27,7 +27,7 @@ ["[0]" random]] [world ["[0]" file] - ["[0]" program {"+" [Program]}]]]] + ["[0]" program {"+" Program}]]]] [program [compositor ["[0]" export]]] @@ -44,9 +44,9 @@ ["[1][0]" action] ["[1][0]" pom] ["[1][0]" hash] - ["[1][0]" repository {"+" [Repository]} + ["[1][0]" repository {"+" Repository} ["[1]/[0]" remote]] - ["[1][0]" artifact {"+" [Artifact]} + ["[1][0]" artifact {"+" Artifact} ["[1]/[0]" extension]]]]]) (def: (execute! program repository fs artifact profile) diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 812f4b745..2d8f467f3 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate]] [control ["[0]" try] @@ -13,7 +13,7 @@ ["[0]" environment]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] [collection @@ -22,7 +22,7 @@ [format ["[0]" xml]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [world ["[0]" program] ["[0]" file]]]] diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index ba6f599fb..c8301828c 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -1,27 +1,27 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control - ["[0]" try {"+" [Try]} ("[1]#[0]" functor)] + ["[0]" try {"+" Try} ("[1]#[0]" functor)] ["[0]" exception] [concurrency - ["[0]" async {"+" [Async]}]] + ["[0]" async {"+" Async}]] [parser ["[0]" environment]]] [data ["[0]" binary] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [math ["[0]" random]] [world ["[0]" file] - ["[0]" program {"+" [Program]}]]]] + ["[0]" program {"+" Program}]]]] [// ["$[0]" version] [// @@ -32,7 +32,7 @@ ["/[1]" // "_" ["/[1]" // "_" ["[1]" profile] - ["[1][0]" action {"+" [Action]}] + ["[1][0]" action {"+" Action}] ["[1][0]" local] ["[1][0]" artifact ["[1]/[0]" extension]] diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index 47456bdba..049f147bf 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] [concurrency diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 20a59f405..ca88c8c27 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception] @@ -32,7 +32,7 @@ ["/[1]" // "_" ["[1][0]" build] ["/[1]" // "_" - ["[1]" profile {"+" [Profile]}] + ["[1]" profile {"+" Profile}] ["[1][0]" action] ["[1][0]" artifact ["[1]/[0]" type]] diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 423c88718..8c0b0c953 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -1,18 +1,18 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" [exception:]}] + ["[0]" exception {"+" exception:}] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random]] [tool @@ -22,7 +22,7 @@ ["[1]/[0]" lux "_" ["[1]" version]]]]] [world - ["[0]" console {"+" [Console Mock]}]]]] + ["[0]" console {"+" Console Mock}]]]] [/// ["@[0]" profile]] [\\program diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 370803dfa..736ede228 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] ["$[0]" hash]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [// ["@[0]" artifact]] [\\program diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index f3bb6b4a3..39ef3113e 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -1,33 +1,33 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - ["[0]" hash {"+" [Hash]}]] + [monad {"+" do}] + ["[0]" hash {"+" Hash}]] [control - ["[0]" io {"+" [IO]}] + ["[0]" io {"+" IO}] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] [concurrency - ["[0]" atom {"+" [Atom]}] + ["[0]" atom {"+" Atom}] ["[0]" async]]] [data ["[0]" product] - ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence)] + ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection - ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" dictionary {"+" Dictionary}] ["[0]" set] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]] [world - [net {"+" [URL]} - ["[0]" uri {"+" [URI]}] + [net {"+" URL} + ["[0]" uri {"+" URI}] ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] @@ -37,13 +37,13 @@ ["[1][0]" package]]] [\\program ["[0]" / - [// {"+" [Dependency]} + [// {"+" Dependency} ["[0]" resolution] [// ["[0]" profile] ["[0]" metadata] - ["[0]" package {"+" [Package]}] - ["[0]" artifact {"+" [Artifact]} ("[1]#[0]" equivalence) + ["[0]" package {"+" Package}] + ["[0]" artifact {"+" Artifact} ("[1]#[0]" equivalence) ["[1]/[0]" type] ["[1]/[0]" extension]] ["[0]" repository diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 01d516480..717656886 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] @@ -13,10 +13,10 @@ [concurrency ["[0]" async]]] [data - [binary {"+" [Binary]}] + [binary {"+" Binary}] ["[0]" product] ["[0]" text - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] [format @@ -26,7 +26,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] ["$[0]" /// "_" ["[1][0]" package] ["[1][0]" repository] @@ -37,15 +37,15 @@ ["[0]" / ["//[1]" /// "_" ["[1]" profile] - ["[1][0]" package {"+" [Package]}] + ["[1][0]" package {"+" Package}] ["[1][0]" hash] - ["[1][0]" dependency {"+" [Dependency]} ("[1]#[0]" equivalence) + ["[1][0]" dependency {"+" Dependency} ("[1]#[0]" equivalence) ["[1]/[0]" status]] ["[1][0]" pom] - ["[1][0]" artifact {"+" [Artifact]} + ["[1][0]" artifact {"+" Artifact} ["[1]/[0]" type] ["[1]/[0]" extension]] - ["[1][0]" repository {"+" [Mock]} + ["[1][0]" repository {"+" Mock} ["[1]/[0]" origin]]]]]) (def: random diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 0b487873f..34dd669a9 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [data ["[0]" binary "_" ["[1]T" \\test]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] ["$[0]" /// "_" ["[1][0]" hash]] [\\program diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 67dfa6b01..76b4e1cd9 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -11,11 +11,11 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" binary {"+" [Binary]}] + ["[0]" binary {"+" Binary}] [text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index a2f7d77a7..0e90e68dc 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data [text ["%" format] [encoding ["[0]" utf8]]] [collection - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [math ["[0]" random]] [world @@ -24,12 +24,12 @@ [\\program ["[0]" / ["/[1]" // "_" - ["[1]" profile {"+" [Profile]}] + ["[1]" profile {"+" Profile}] ["[1][0]" project] ["[1][0]" action] ["[1][0]" format] [repository - [remote {"+" [Address]}]]]]]) + [remote {"+" Address}]]]]]) (def: (with_default_source sources) (-> (Set //.Source) (Set //.Source)) diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index a2a943921..ad00db35c 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" text]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [// ["@[0]" artifact]] [\\program diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index 093cf7937..719eb9ed0 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 29f074af9..b8a3beb09 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -21,7 +21,7 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]] ["[0]" time diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 8f90a45cf..4cfcaf3a2 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -21,14 +21,14 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]] ["[0]" time ["[0]" date] ["[0]" year] ["[0]" month] - ["[0]" instant {"+" [Instant]}] + ["[0]" instant {"+" Instant}] ["[0]" duration]] [world ["[0]" file] @@ -44,7 +44,7 @@ ["/[1]" // ["/[1]" // "_" [artifact - [versioning {"+" [Versioning]}] + [versioning {"+" Versioning}] ["[1][0]" snapshot]] ["[1][0]" repository "_" ["[1]/[0]" local]]]]]]) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index 4d0f994d0..82c6e5b56 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -14,11 +14,11 @@ [encoding ["[0]" utf8]]] [format - ["[0]" xml {"+" [XML]}]] + ["[0]" xml {"+" XML}]] [collection - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]] [world diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 183f04b27..8d74bac87 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -1,23 +1,23 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [hash {"+" [Hash]}]] + [monad {"+" do}] + [hash {"+" Hash}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try] [parser ["<[0]>" code]]] [data ["[0]" text] [collection - ["[0]" set {"+" [Set]}] - ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" set {"+" Set}] + ["[0]" dictionary {"+" Dictionary}] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]] [macro @@ -28,9 +28,9 @@ ["[0]" / ["/[1]" // "_" ["[1]" profile] - ["[1][0]" project {"+" [Project]}] - ["[1][0]" artifact {"+" [Artifact]}] - ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" project {"+" Project}] + ["[1][0]" artifact {"+" Artifact}] + ["[1][0]" dependency {"+" Dependency}] ["[1][0]" format]]]]) (def: name diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index fc9d47e00..4bd592f7d 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception] diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 284151725..7155aee3b 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,25 +1,25 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [hash {"+" [Hash]}] + [monad {"+" do}] + [hash {"+" Hash}] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try] [parser ["[0]" cli]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" set {"+" [Set]}] - ["[0]" dictionary {"+" [Dictionary]}]]] + ["[0]" set {"+" Set}] + ["[0]" dictionary {"+" Dictionary}]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [// @@ -29,10 +29,10 @@ ["[0]" / ["/[1]" // "_" ["[1][0]" runtime] - ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" dependency {"+" Dependency}] ["[1][0]" format] [repository - [remote {"+" [Address]}]]]]]) + [remote {"+" Address}]]]]]) (def: distribution (Random /.Distribution) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 90686e28e..cb98b38f9 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -14,7 +14,7 @@ ["[0]" product] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [// diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 9cc73f6c8..a25d9f5f9 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -1,27 +1,27 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [hash {"+" [Hash]}] - ["[0]" monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [hash {"+" Hash}] + ["[0]" monad {"+" do}]] [control ["[0]" io] ["[0]" try] - ["[0]" exception {"+" [exception:]}]] + ["[0]" exception {"+" exception:}]] [data ["[0]" product] - ["[0]" binary {"+" [Binary]}] + ["[0]" binary {"+" Binary}] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection - ["[0]" dictionary {"+" [Dictionary]}]]] + ["[0]" dictionary {"+" Dictionary}]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [world [net - ["[0]" uri {"+" [URI]}]]]]] + ["[0]" uri {"+" URI}]]]]] ["[0]" / "_" ["[1][0]" identity] ["[1][0]" origin] @@ -35,8 +35,8 @@ ["[0]" / ["[0]" remote] ["/[1]" // "_" - ["[1][0]" artifact {"+" [Version Artifact]} - ["[1]/[0]" extension {"+" [Extension]}]]]]]) + ["[1][0]" artifact {"+" Version Artifact} + ["[1]/[0]" extension {"+" Extension}]]]]]) (def: artifact (-> Version Artifact) diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 971e18a4b..f8ba7145d 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index deb381511..88106fa82 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] [parser diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index f160df2e3..c4865d69a 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 6d8811ffe..92380630c 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" io {"+" [IO]}] + ["[0]" io {"+" IO}] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" monad)] ["[0]" exception] @@ -13,15 +13,15 @@ [data ["[0]" binary ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [world - [net {"+" [URL]} + [net {"+" URL} ["[0]" http "_" ["[1]" client] ["[1]/[0]" status] diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index fb94da435..77b6dac4c 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ ["[0]" list ("[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 7500bb983..3f1def248 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -5,37 +5,37 @@ (.module: [library ["/" lux "*" - [program {"+" [program:]}] - ["_" test {"+" [Test]}] + [program {"+" program:}] + ["_" test {"+" Test}] ["@" target] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io] ["[0]" maybe ("[1]#[0]" functor)] [concurrency - ["[0]" atom {"+" [Atom]}]] + ["[0]" atom {"+" Atom}]] [parser ["<[0]>" code]]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" set {"+" [Set]} ("[1]#[0]" equivalence)] + ["[0]" set {"+" Set} ("[1]#[0]" equivalence)] [dictionary ["[0]" plist]]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code ("[1]#[0]" equivalence)] ["[0]" template]] ["[0]" math ["[0]" random ("[1]#[0]" functor)] [number - [i8 {"+" []}] - [i16 {"+" []}] + [i8 {"+"}] + [i16 {"+"}] ["n" nat] ["i" int] ["r" rev] diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index 49813df43..63d134242 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] ["[0]" / "_" ["[1][0]" apply] ["[1][0]" codec] diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 2c19ffb4e..89c29f97f 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -2,7 +2,7 @@ [library [lux "*" [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe]] [data @@ -12,9 +12,9 @@ ["[0]" random] [number ["n" nat]]] - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] [\\library - ["[0]" / {"+" [Apply]}]]) + ["[0]" / {"+" Apply}]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index d3338547a..bd754b082 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try]] [data ["[0]" bit ("[1]#[0]" equivalence)] [format - ["[0]" json {"+" [JSON]}]]] + ["[0]" json {"+" JSON}]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library - ["[0]" / {"+" [Codec]} + ["[0]" / {"+" Codec} [// - [equivalence {"+" [Equivalence]}]]]]) + [equivalence {"+" Equivalence}]]]]) (def: json (Codec JSON Bit) diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index fccc27c51..0c513d59e 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -2,14 +2,14 @@ [library [lux "*" [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data - ["[0]" identity {"+" [Identity]}]] + ["[0]" identity {"+" Identity}]] [math ["[0]" random] [number ["n" nat]]] - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 3db288557..dca4680de 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -1,19 +1,19 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [functor {"+" [Functor]}] - [comonad {"+" [CoMonad]}] + [functor {"+" Functor}] + [comonad {"+" CoMonad}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" comonad]]] [control ["//" continuation]] [data [collection ["[0]" list] - ["[0]" sequence {"+" [Sequence]} ("[1]#[0]" comonad)]]] + ["[0]" sequence {"+" Sequence} ("[1]#[0]" comonad)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 03decb4c7..b7d1a36df 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -11,7 +11,7 @@ [collection ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index c56dacfe6..cc765208e 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification [functor ["$[0]" contravariant]]]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] [\\library - ["[0]" / {"+" [Equivalence]}]]) + ["[0]" / {"+" Equivalence}]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 00ab642c7..f3f3eaa41 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe]] [data @@ -14,7 +14,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Functor]}]]) + ["[0]" / {"+" Functor}]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/functor/contravariant.lux b/stdlib/source/test/lux/abstract/functor/contravariant.lux index fec2d749f..dd61e2f2c 100644 --- a/stdlib/source/test/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index f6f090ff8..f96e23e2a 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification [functor ["$[0]" contravariant]]]] @@ -14,9 +14,9 @@ [number ["[0]" nat]]]]] [\\library - ["[0]" / {"+" [Hash]} + ["[0]" / {"+" Hash} [// - [equivalence {"+" [Equivalence]}]]]]) + [equivalence {"+" Equivalence}]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 1a87c8fce..2d29e93f0 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -1,24 +1,24 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" order] [\\specification ["$[0]" equivalence]]] [control - [pipe {"+" [case>]}]] + [pipe {"+" case>}]] [data [collection ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Interval]} ("#[0]" equivalence)]]) + ["[0]" / {"+" Interval} ("#[0]" equivalence)]]) (template [<name> <cmp>] [(def: .public <name> diff --git a/stdlib/source/test/lux/abstract/mix.lux b/stdlib/source/test/lux/abstract/mix.lux index 279ab90d2..7da5215a1 100644 --- a/stdlib/source/test/lux/abstract/mix.lux +++ b/stdlib/source/test/lux/abstract/mix.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data [collection ["[0]" list]]] @@ -12,7 +12,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Mix]}]]) + ["[0]" / {"+" Mix}]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 1abc2ff2e..ab2dd306c 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [data - ["[0]" identity {"+" [Identity]}] + ["[0]" identity {"+" Identity}] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math @@ -11,7 +11,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Monad do]}]]) + ["[0]" / {"+" Monad do}]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 14e6ee299..9b42476e7 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [functor {"+" [Functor]}] - [apply {"+" [Apply]}] - [monad {"+" [Monad do]}] + [functor {"+" Functor}] + [apply {"+" Apply}] + [monad {"+" Monad do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [data diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index edd4e9add..4a54a0b99 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -1,18 +1,18 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat] ["[0]" int]]]]] [\\library ["[0]" / [// - [equivalence {"+" [Equivalence]}]]]]) + [equivalence {"+" Equivalence}]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index 815851182..9e52f8e7c 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -1,22 +1,22 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification [functor ["$[0]" contravariant]]]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library ["[0]" / [// - [equivalence {"+" [Equivalence]}]]]]) + [equivalence {"+" Equivalence}]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index c987ddc14..09982b560 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [monad {"+" do}] [\\specification ["$[0]" monoid] [functor @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index eb1636b9a..28c12bfc0 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -1,7 +1,7 @@ (.module: [library - [lux {"-" [function]} - ["_" test {"+" [Test]}]]] + [lux {"-" function} + ["_" test {"+" Test}]]] ["[0]" / "_" ["[1][0]" concatenative] ["[1][0]" concurrency "_" diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index c05e72593..4bdf801d8 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" sum] ["[0]" name] @@ -18,7 +18,7 @@ ["r" rev] ["f" frac]]]]] [\\library - ["[0]" / {"+" [word: => ||>]}]]) + ["[0]" / {"+" word: => ||>}]]) (def: stack_shuffling Test diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index b83431250..829dcfbcb 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -1,28 +1,28 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [exception:]}] - ["[0]" io {"+" [IO io]}]] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}] + ["[0]" io {"+" IO io}]] [data [text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list] - ["[0]" row {"+" [Row]}]]] + ["[0]" row {"+" Row}]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [actor: message:]} + ["[0]" / {"+" actor: message:} [// - ["[0]" atom {"+" [Atom]}] - ["[0]" async {"+" [Async Resolver]} ("[1]#[0]" monad)] + ["[0]" atom {"+" Atom}] + ["[0]" async {"+" Async Resolver} ("[1]#[0]" monad)] ["[0]" frp]]]]) (exception: got_wrecked) diff --git a/stdlib/source/test/lux/control/concurrency/async.lux b/stdlib/source/test/lux/control/concurrency/async.lux index 4954bd7a5..cd96dabb1 100644 --- a/stdlib/source/test/lux/control/concurrency/async.lux +++ b/stdlib/source/test/lux/control/concurrency/async.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["@" target] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" io]] [time ["[0]" instant] @@ -24,7 +24,7 @@ [\\library ["[0]" / [// - ["[0]" atom {"+" [Atom]}]]]]) + ["[0]" atom {"+" Atom}]]]]) (def: injection (Injection /.Async) diff --git a/stdlib/source/test/lux/control/concurrency/atom.lux b/stdlib/source/test/lux/control/concurrency/atom.lux index 1bdbbca05..e1f587dd4 100644 --- a/stdlib/source/test/lux/control/concurrency/atom.lux +++ b/stdlib/source/test/lux/control/concurrency/atom.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io]] [math diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 202bbc73c..aa77d2835 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control ["[0]" try] ["[0]" exception] - ["[0]" io {"+" [IO io]}]] + ["[0]" io {"+" IO io}]] [data [collection ["[0]" list ("[1]#[0]" mix monoid)] - ["[0]" row {"+" [Row]}]]] + ["[0]" row {"+" Row}]]] [math ["[0]" random] [number @@ -23,8 +23,8 @@ [\\library ["[0]" / [// - ["[0]" async {"+" [Async]} ("[1]#[0]" monad)] - ["[0]" atom {"+" [Atom atom]}]]]]) + ["[0]" async {"+" Async} ("[1]#[0]" monad)] + ["[0]" atom {"+" Atom atom}]]]]) (def: injection (Injection /.Channel) diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index e3f49842a..1e2e0f258 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -1,22 +1,22 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["@" target] [abstract - ["[0]" monad {"+" [do]}] + ["[0]" monad {"+" do}] ["[0]" enum]] [control ["[0]" io] ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" [exception:]}] + ["[0]" exception {"+" exception:}] [concurrency - ["[0]" async {"+" [Async]}] - ["[0]" atom {"+" [Atom]}]]] + ["[0]" async {"+" Async}] + ["[0]" atom {"+" Atom}]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index 103476455..5c428d908 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [Monad do]}] + ["[0]" monad {"+" Monad do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" io {"+" [IO]}]] + ["[0]" io {"+" IO}]] [data ["[0]" product] [collection @@ -21,9 +21,9 @@ [\\library ["[0]" / [// - ["[0]" atom {"+" [Atom atom]}] + ["[0]" atom {"+" Atom atom}] ["[0]" async] - ["[0]" frp {"+" [Channel]}]]]]) + ["[0]" frp {"+" Channel}]]]]) (def: injection (Injection /.STM) diff --git a/stdlib/source/test/lux/control/concurrency/thread.lux b/stdlib/source/test/lux/control/concurrency/thread.lux index 51f31be4e..cd3aebef0 100644 --- a/stdlib/source/test/lux/control/concurrency/thread.lux +++ b/stdlib/source/test/lux/control/concurrency/thread.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io]] [time - ["[0]" instant {"+" [Instant]}] + ["[0]" instant {"+" Instant}] ["[0]" duration]] [math ["[0]" random] @@ -17,7 +17,7 @@ [\\library ["[0]" / [// - ["[0]" atom {"+" [Atom]}] + ["[0]" atom {"+" Atom}] ["[0]" async]]]]) (def: .public test diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index 53425f5e2..9491cf5c0 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [data diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index f9d5fb082..1666d8767 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [exception:]} + ["[0]" / {"+" exception:} [// - ["[0]" try {"+" [Try]}]]]]) + ["[0]" try {"+" Try}]]]]) (exception: an_exception) (exception: another_exception) diff --git a/stdlib/source/test/lux/control/function.lux b/stdlib/source/test/lux/control/function.lux index f38eafb83..f0fec6d5a 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -1,14 +1,14 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [monad {"+" do}] [\\specification ["$[0]" monoid]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index 45cb6f8fd..ec357f354 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index e3188421d..b1b559346 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" io {"+" [IO]}] - ["[0]" state {"+" [State]} ("[1]#[0]" monad)]] + ["[0]" io {"+" IO}] + ["[0]" state {"+" State} ("[1]#[0]" monad)]] [data ["[0]" product] [collection - ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" dictionary {"+" Dictionary}] ["[0]" list ("[1]#[0]" functor mix)]]] [math ["[0]" random] @@ -19,7 +19,7 @@ ["[0]" i64]]] [time ["[0]" instant] - ["[0]" duration {"+" [Duration]}]]]] + ["[0]" duration {"+" Duration}]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index 45486914d..fa1c245a3 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [predicate {"+" [Predicate]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [predicate {"+" Predicate}] + [monad {"+" do}] [\\specification ["$[0]" monoid]]] [control - ["[0]" state {"+" [State]}]] + ["[0]" state {"+" State}]] [data ["[0]" product] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index d7fb8364e..d3ac4cb79 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" bit ("[1]#[0]" equivalence)] [text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index f95f40627..dc4b7fd61 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,7 +13,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [IO]} + ["[0]" / {"+" IO} [// ["[0]" function]]]]) diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux index 1cfb8eb05..106ba85f2 100644 --- a/stdlib/source/test/lux/control/lazy.lux +++ b/stdlib/source/test/lux/control/lazy.lux @@ -1,22 +1,22 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad] ["$[0]" equivalence]]] [data ["[0]" product]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Lazy]}]]) + ["[0]" / {"+" Lazy}]]) (def: injection (Injection Lazy) diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index b3c5f5de7..6bb51079e 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -19,7 +19,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index f8405908d..21a17b8ef 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}] + [monad {"+" do}] + [equivalence {"+" Equivalence}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] [parser ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math @@ -23,10 +23,10 @@ [number ["n" nat]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]]]] [\\library - ["[0]" / {"+" [Parser]}]] + ["[0]" / {"+" Parser}]] ["[0]" / "_" ["[1][0]" analysis] ["[1][0]" binary] diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index 3301e044b..57f6c1a77 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try] ["[0]" exception] ["<>" parser]] @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int] @@ -24,8 +24,8 @@ ["r" rev]]] [tool [compiler - [reference {"+" [Constant]} - [variable {"+" []}]] + [reference {"+" Constant} + [variable {"+"}]] [language [lux ["[0]" analysis]]]]]]] diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 950434ab7..73e3a8db8 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -1,14 +1,14 @@ (.module: [library - [lux {"-" [primitive]} - ["_" test {"+" [Test]}] + [lux {"-" primitive} + ["_" test {"+" Test}] ["[0]" type] [abstract - [equivalence {"+" [Equivalence]}] - [predicate {"+" [Predicate]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [predicate {"+" Predicate}] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" maybe] ["[0]" try] ["[0]" exception] @@ -19,7 +19,7 @@ ["[0]" bit] ["[0]" name] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] ["[0]" format "_" @@ -31,7 +31,7 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" i64] diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux index 30d0a4460..ecd2c599b 100644 --- a/stdlib/source/test/lux/control/parser/cli.lux +++ b/stdlib/source/test/lux/control/parser/cli.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["<>" parser]] diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 41f981498..70afee9b7 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" function] ["[0]" try] @@ -17,7 +17,7 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat] ["[0]" int] diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index 8f6a0b82c..19cc94603 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux index 70817caf2..04d52c647 100644 --- a/stdlib/source/test/lux/control/parser/json.lux +++ b/stdlib/source/test/lux/control/parser/json.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" maybe] ["[0]" try] ["[0]" exception] @@ -17,11 +17,11 @@ ["[0]" list ("[1]#[0]" functor)] ["[0]" set] ["[0]" dictionary] - ["[0]" row {"+" [row]} ("[1]#[0]" functor)]] + ["[0]" row {"+" row} ("[1]#[0]" functor)]] [format ["[0]" json]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 854206355..f82b020a9 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["<>" parser] ["[0]" try] ["[0]" exception]] @@ -16,19 +16,19 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" i64] ["[0]" frac]]] [tool [compiler - [reference {"+" []} - ["[0]" variable {"+" [Variable]}]] + [reference {"+" } + ["[0]" variable {"+" Variable}]] [language [lux - [analysis {"+" [Environment]}] - ["[0]" synthesis {"+" [Synthesis]}]]]]]]] + [analysis {"+" Environment}] + ["[0]" synthesis {"+" Synthesis}]]]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index cd5b8a0ad..c82159de1 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe] - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [Exception]}] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" Exception}] ["[0]" function]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] ["[0]" unicode "_" ["[1]" set] ["[1]/[0]" block]]] @@ -22,7 +22,7 @@ ["[0]" finger]]]] [math ["[0]" random] - [number {"+" [hex]} + [number {"+" hex} ["n" nat]]] [macro ["[0]" code]]]] diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux index f0bf2a2a0..8d3fe4ca3 100644 --- a/stdlib/source/test/lux/control/parser/tree.lux +++ b/stdlib/source/test/lux/control/parser/tree.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index e7383e0fe..c1773baf1 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -1,9 +1,9 @@ (.module: [library - [lux {"-" [primitive]} - ["_" test {"+" [Test]}] + [lux {"-" primitive} + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] @@ -12,7 +12,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]] ["[0]" type ("[1]#[0]" equivalence)]]] diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 6551d4616..705b5cd27 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] ["[0]" exception]] @@ -19,7 +19,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index 11f95f63c..0745b3379 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -1,14 +1,14 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" debug] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" identity] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 0666930c0..7f1701082 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,9 +13,9 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Reader]} + ["[0]" / {"+" Reader} [// - ["[0]" io {"+" [IO]}]]]]) + ["[0]" io {"+" IO}]]]]) (def: (injection value) (Injection (All (_ a r) (Reader r a))) diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index 495a120e1..bede75ab5 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - [type {"+" [:sharing]}] - ["_" test {"+" [Test]}] + [type {"+" :sharing}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [functor {"+" [Functor]}] - [apply {"+" [Apply]}] - ["[0]" monad {"+" [Monad do]}] + [equivalence {"+" Equivalence}] + [functor {"+" Functor}] + [apply {"+" Apply}] + ["[0]" monad {"+" Monad do}] ["[0]" enum] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" [Try]}]] + ["[0]" try {"+" Try}]] [data [collection ["[0]" list]]] @@ -23,10 +23,10 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Region]} + ["[0]" / {"+" Region} [// - ["[0]" thread {"+" [Thread]}] - ["[0]" exception {"+" [Exception exception:]}]]]]) + ["[0]" thread {"+" Thread}] + ["[0]" exception {"+" Exception exception:}]]]]) (exception: oops) diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index d8bb5fc9c..1d078daf2 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -1,30 +1,30 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" io] - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] ["[0]" exception] [parser ["<[0]>" code]]] [data ["[0]" product] ["[0]" text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - [number {"+" [hex]}] - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]] + [number {"+" hex}] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]] [time - ["[0]" date {"+" [Date]}] + ["[0]" date {"+" Date}] ["[0]" instant] ["[0]" duration]] ["[0]" macro ["[0]" code] - ["[0]" syntax {"+" [syntax:]}]]]] + ["[0]" syntax {"+" syntax:}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index 3d842884e..17bde11b3 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" io {"+" [IO]}] + ["[0]" io {"+" IO}] [concurrency ["[0]" async]]] [math diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 875938610..653072a81 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [hash {"+" [Hash]}] - [monad {"+" [do]}] + [hash {"+" Hash}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [data @@ -16,7 +16,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Context Privacy Can_Conceal Can_Reveal Privilege Private]}]]) + ["[0]" / {"+" Context Privacy Can_Conceal Can_Reveal Privilege Private}]]) (def: (injection can_conceal) (All (_ label) diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 6bf554706..855243412 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control - [pipe {"+" [let>]}] + [pipe {"+" let>}] ["[0]" io]] [data ["[0]" product]] @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [State]}]]) + ["[0]" / {"+" State}]]) (def: (with_conditions [state output] computation) (-> [Nat Nat] (State Nat Nat) Bit) diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index 003f27eb5..965cf437d 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [math @@ -13,7 +13,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Thread]} + ["[0]" / {"+" Thread} [// ["[0]" io]]]]) diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index 74dfeb37f..8d99083ab 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad] ["$[0]" equivalence]]] @@ -15,11 +15,11 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Try]}]]) + ["[0]" / {"+" Try}]]) (def: injection (Injection Try) diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 2f427a4a9..53acf1e05 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monoid {"+" [Monoid]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [monoid {"+" Monoid}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control @@ -20,7 +20,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Writer]}]]) + ["[0]" / {"+" Writer}]]) (def: (injection monoid value) (All (_ w) (-> (Monoid w) (Injection (Writer w)))) diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index eda9b9ee5..573697f2a 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math ["[0]" random]]]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 70e778090..030404d54 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -1,26 +1,26 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}] + ["[0]" monad {"+" do}] ["[0]" enum] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [Exception]}]] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" Exception}]] [data [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" i64] ["n" nat]]]]] [\\library - ["[0]" / {"+" [Binary]}]]) + ["[0]" / {"+" Binary}]]) (def: (succeed result) (-> (Try Bit) Bit) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 4bd7e6956..02c5ccda9 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index b6615368b..4d7de7ed5 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] ["[0]" / "_" ["[1][0]" array] ["[1][0]" bits] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 3d875ac3d..95cfc0176 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,14 +1,14 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" monoid] ["$[0]" mix] - ["$[0]" functor {"+" [Injection]}]]] + ["$[0]" functor {"+" Injection}]]] [control ["[0]" maybe]] [data @@ -17,11 +17,11 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Array]}]]) + ["[0]" / {"+" Array}]]) (def: injection (Injection Array) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 8c7d69241..47167599a 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,18 +1,18 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Bits]}]]) + ["[0]" / {"+" Bits}]]) (def: (size min max) (-> Nat Nat (Random Nat)) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index 562b20c0e..088a5fd65 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [hash {"+" [Hash]}] - [monad {"+" [do]}] + [hash {"+" Hash}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" [Injection]}]]] + ["$[0]" functor {"+" Injection}]]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 3ade2fc0b..b039ceb8d 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}] - [order {"+" [Order]}] + [monad {"+" do}] + [equivalence {"+" Equivalence}] + [order {"+" Order}] [\\specification ["$[0]" equivalence]]] [control @@ -17,7 +17,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index f7079325e..2b400c832 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -15,7 +15,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 44316d6a5..5003567ee 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" enum] [\\specification ["$[0]" equivalence] @@ -25,7 +25,7 @@ [collection ["[0]" set]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" int]]]]] diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 7d5cf2f01..549f3777c 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" [Injection]}]]] + ["$[0]" functor {"+" Injection}]]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 06f2edef4..d5e7d86d3 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,19 +1,19 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Queue]}]]) + ["[0]" / {"+" Queue}]]) (def: .public (random size) (-> Nat (Random (Queue Nat))) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 1e2180361..8728a6df9 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -1,18 +1,18 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" monoid] ["$[0]" mix] - ["$[0]" functor {"+" [Injection]}] + ["$[0]" functor {"+" Injection}] ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] ["[0]" exception]] [data ["[0]" bit ("[1]#[0]" equivalence)] diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index 2c9a8aca5..22dc1b37e 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}] + [monad {"+" do}] + [equivalence {"+" Equivalence}] ["[0]" enum] [\\specification ["$[0]" functor] ["$[0]" comonad]]] [data ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor)]]] [math diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 7cf9debe0..726265db3 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [hash {"+" [Hash]}] - [monad {"+" [do]}] + [hash {"+" Hash}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index b281e85bd..57353ec6d 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [hash {"+" [Hash]}] - [monad {"+" [do]}] + [hash {"+" Hash}] + [monad {"+" do}] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -15,7 +15,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 33ddfc89d..ce65cbfa5 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [order {"+" [Order]}] + [monad {"+" do}] + [order {"+" Order}] [\\specification ["$[0]" equivalence]]] [data @@ -12,11 +12,11 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Set]} + ["[0]" / {"+" Set} ["[0]" //]]]) (def: size diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 3ca1e508a..46feb6817 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] - ["$[0]" functor {"+" [Injection]}]]] + ["$[0]" functor {"+" Injection}]]] [control ["[0]" maybe]] [data diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 9cba03540..92447eb1e 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}] + ["[0]" monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" mix] @@ -13,11 +13,11 @@ [collection ["[0]" list ("[1]#[0]" functor mix)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [Tree]}]]) + ["[0]" / {"+" Tree}]]) (def: .public (tree gen_value) (All (_ a) (-> (Random a) (Random [Nat (Tree a)]))) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 5285a8eca..3724c7e13 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe ("[1]#[0]" functor)]] [data @@ -14,7 +14,7 @@ ["[0]" random] [number ["n" nat]]] - [type {"+" [:by_example]}]]] + [type {"+" :by_example}]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index bda2162f9..5b462d763 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" functor] @@ -22,7 +22,7 @@ ["n" nat]]]]] ["[0]" //] [\\library - ["[0]" / {"+" [Zipper]} + ["[0]" / {"+" Zipper} ["tree" //]]]) (def: move diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index cf2f1053c..9e82ba23d 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -14,7 +14,7 @@ [macro ["[0]" template]] ["[0]" math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" int] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 939a95ffe..bb8eeb2d7 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data [collection ["[0]" list] @@ -11,7 +11,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index bb09a2f77..0b58d31bc 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [monad {"+" do}] [\\specification ["$[0]" monoid]]] [data ["[0]" binary ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 35381fc7a..f12831ab8 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -14,22 +14,22 @@ ["[0]" product] ["[0]" bit] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" row] ["[0]" dictionary] ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" frac]]] ["[0]" macro - ["[0]" syntax {"+" [syntax:]}] + ["[0]" syntax {"+" syntax:}] ["[0]" code]]]] [\\library - ["[0]" / {"+" [JSON]} ("#[0]" equivalence)]]) + ["[0]" / {"+" JSON} ("#[0]" equivalence)]]) (def: .public random (Random /.JSON) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 4ada18f50..e01670420 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe] ["[0]" try] @@ -14,7 +14,7 @@ ["[0]" product] ["[0]" binary ("[1]#[0]" equivalence monoid)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]] ["[0]" unicode "_" @@ -26,10 +26,10 @@ ["[0]" format "_" ["[1]" binary]]] [time - ["[0]" instant {"+" [Instant]}] + ["[0]" instant {"+" Instant}] ["[0]" duration]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index e6772262f..3f94d894f 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,9 +1,9 @@ (.module: [library - [lux {"-" [char]} - ["_" test {"+" [Test]}] + [lux {"-" char} + ["_" test {"+" Test}] [abstract - [monad {"+" [Monad do]}] + [monad {"+" Monad do}] [\\specification ["$[0]" equivalence] ["$[0]" codec]]] @@ -16,16 +16,16 @@ [data ["[0]" name] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" [XML]}]]) + ["[0]" / {"+" XML}]]) (def: char_range Text diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 584f7f5e0..5a7b3790c 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad] ["$[0]" comonad]]]]] [\\library - ["[0]" / {"+" [Identity]}]]) + ["[0]" / {"+" Identity}]]) (def: injection (Injection Identity) diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index 76761b0ae..a069d846e 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -14,7 +14,7 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index c4e666117..cb8ba7ac0 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [math diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 761bda10c..11d66187b 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index ff8ed74dd..076d00df3 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,9 +1,9 @@ (.module: [library - [lux {"-" [char]} - ["_" test {"+" [Test]}] + [lux {"-" char} + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 018ce9a22..b835fbb01 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,14 +1,14 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 2644c2e43..9147ec9aa 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" codec]]] [control @@ -17,7 +17,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index aa9b9f93b..29dae385b 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,14 +1,14 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract [\\specification ["$[0]" codec]]] [data ["[0]" text]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 43dde1c22..9e7ddbcf6 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" debug] ["[0]" meta] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception] @@ -13,17 +13,17 @@ ["<[0]>" code]]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text {"+" [Char]} ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["[0]" text {"+" Char} ("[1]#[0]" equivalence) + ["%" format {"+" format}]] [collection - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code] ["[0]" template]] [math - ["[0]" random {"+" [Random]}] - [number {"+" [hex]} + ["[0]" random {"+" Random}] + [number {"+" hex} ["n" nat]]]]] [\\library ["[0]" / diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 2bfc7a74e..aa3a6b2cd 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}] + [monad {"+" do}] + [equivalence {"+" Equivalence}] [functor [\\specification ["$[0]" contravariant]]]] @@ -26,7 +26,7 @@ ["[0]" duration] ["[0]" date]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] ["[0]" modulus] ["[0]" modular] [number diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index cfc58a897..2eb5ad7e0 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,23 +1,23 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control pipe ["[0]" try] [parser - ["<[0]>" text {"+" [Parser]}] + ["<[0]>" text {"+" Parser}] ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math - [number {"+" [hex]}] + [number {"+" hex}] ["[0]" random]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index e01250a30..e16ce9462 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -16,8 +16,8 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] - [number {"+" [hex]} + ["[0]" random {"+" Random}] + [number {"+" hex} ["n" nat]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index fe145fd50..cda724eda 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [data @@ -12,7 +12,7 @@ [collection ["[0]" set ("[1]#[0]" equivalence)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 4a229b335..d422caa8d 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["@" target] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] @@ -12,25 +12,25 @@ ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor)]] [format - [json {"+" [JSON]}] - [xml {"+" [XML]}]]] + [json {"+" JSON}] + [xml {"+" XML}]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number - [ratio {"+" [Ratio]}]]] - [time {"+" [Time]} - [instant {"+" [Instant]}] - [date {"+" [Date]}] - [duration {"+" [Duration]}] - [month {"+" [Month]}] - [day {"+" [Day]}]]]] + [ratio {"+" Ratio}]]] + [time {"+" Time} + [instant {"+" Instant}] + [date {"+" Date}] + [duration {"+" Duration}] + [month {"+" Month}] + [day {"+" Day}]]]] [\\library ["[0]" /]] ["$[0]" // "_" diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index f46fb8abc..e686dcd21 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [control ["[0]" try] @@ -14,7 +14,7 @@ [format ["md" markdown]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" template] ["[0]" code]]]] [\\library diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index 80134f010..bf955b152 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -11,7 +11,7 @@ ["[0]" php] ["[0]" scheme]] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" try] ["<>" parser @@ -21,7 +21,7 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" row] ["[0]" list ("[1]#[0]" functor)]]] @@ -40,9 +40,9 @@ [phase [analysis ["[0]" type]]]]]]] - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] [\\library - ["[0]" / {"+" [analysis: synthesis: generation: directive:]}]]) + ["[0]" / {"+" analysis: synthesis: generation: directive:}]]) (def: my_analysis "my analysis") (def: my_synthesis "my synthesis") diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux index d51c3c1c7..0285334b9 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index f3feb2b75..9f5ea29e5 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" type ("[1]#[0]" equivalence)] ["[0]" meta] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try] ["[0]" exception] [parser @@ -15,15 +15,15 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection - ["[0]" array {"+" [Array]}]]] + ["[0]" array {"+" Array}]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code] ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int ("[1]#[0]" equivalence)] diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index 4b4bfcf1e..a46dd6ded 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io]] [math diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index 294106143..b105ea38a 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}]] + [equivalence {"+" Equivalence}] + [monad {"+" do}]] [control - [pipe {"+" [case>]}]] + [pipe {"+" case>}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index 23af523ba..7b8cbd419 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index 33463f0dc..af1d4071c 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index 166733346..493036bb1 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index 23af523ba..7b8cbd419 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat] ["[0]" frac]]]]] diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux index 02e482b41..9142cb982 100644 --- a/stdlib/source/test/lux/locale.lux +++ b/stdlib/source/test/lux/locale.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["[0]" encoding {"+" [Encoding]}]] + ["[0]" encoding {"+" Encoding}]] [collection ["[0]" list]]]]] ["[0]" / "_" @@ -19,8 +19,8 @@ ["[1][0]" territory]] [\\library ["[0]" / - ["[0]" language {"+" [Language]}] - ["[0]" territory {"+" [Territory]}]]]) + ["[0]" language {"+" Language}] + ["[0]" territory {"+" Territory}]]]) (def: random_language (Random Language) diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux index fd6d93b90..ee30005a4 100644 --- a/stdlib/source/test/lux/locale/language.lux +++ b/stdlib/source/test/lux/locale/language.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [hash {"+" [Hash]}] + [monad {"+" do}] + [hash {"+" Hash}] [\\specification ["$[0]" hash]]] [control @@ -12,12 +12,12 @@ [data ["[0]" text] [collection - ["[0]" set {"+" [Set]}] + ["[0]" set {"+" Set}] ["[0]" list ("[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux index 724f43388..c1c724751 100644 --- a/stdlib/source/test/lux/locale/territory.lux +++ b/stdlib/source/test/lux/locale/territory.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] - [hash {"+" [Hash]}] + [monad {"+" do}] + [hash {"+" Hash}] [\\specification ["$[0]" hash]]] [control @@ -12,12 +12,12 @@ [data ["[0]" text] [collection - ["[0]" set {"+" [Set]}] + ["[0]" set {"+" Set}] ["[0]" list ("[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index d4bc81738..cdd48544b 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try ("[1]#[0]" functor)] [parser @@ -12,18 +12,18 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" name] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat]]] ["[0]" meta ["[0]" location]]]] [\\library ["[0]" / - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code ("[1]#[0]" equivalence)] ["[0]" template]]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 20d6741c3..99ff3103e 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control - ["[0]" try {"+" [Try]}]] + ["[0]" try {"+" Try}]] [data ["[0]" product] ["[0]" text] [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux index 26e003577..8cbc19a0c 100644 --- a/stdlib/source/test/lux/macro/local.lux +++ b/stdlib/source/test/lux/macro/local.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception] @@ -18,10 +18,10 @@ [dictionary ["[0]" plist]]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index 5ba0701b9..68c333664 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control [parser ["<[0]>" code]]] diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index baf86ac5b..8c967b516 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ ["<>" parser ["<[0]>" code]]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [macro ["[0]" code ("[1]#[0]" equivalence)]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 9102faed6..d72a0cbbe 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index 4b1057c64..5d287a442 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [meta ["[0]" location]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index 91707f1ab..f1dc6df01 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe] ["[0]" try ("[1]#[0]" functor)] @@ -12,7 +12,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux index 26e721986..09f344b11 100644 --- a/stdlib/source/test/lux/macro/syntax/input.lux +++ b/stdlib/source/test/lux/macro/syntax/input.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index 329ed3557..94daf4218 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux index 655b70602..f65cdaa27 100644 --- a/stdlib/source/test/lux/macro/template.lux +++ b/stdlib/source/test/lux/macro/template.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception] @@ -13,10 +13,10 @@ [collection ["[0]" list]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index 17f53064b..3ab07886c 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index 3b1532d75..9496618bb 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux index e741a4411..bf2a3d4aa 100644 --- a/stdlib/source/test/lux/math/logic/continuous.lux +++ b/stdlib/source/test/lux/math/logic/continuous.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" monoid]]] [math diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index 55a79cda9..1325dd34c 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [monad {"+" do}] [\\specification [functor ["$[0]" contravariant]]]] @@ -14,12 +14,12 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["r" rev]]]]] [\\library - ["[0]" / {"+" [Fuzzy]} + ["[0]" / {"+" Fuzzy} ["/[1]" // "_" ["[1]" continuous]]]]) diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index b3d4ebd2f..265b1e23a 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -18,7 +18,7 @@ ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["i" int]]]]] ["$[0]" // "_" diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux index 6f43194e6..2fb139f81 100644 --- a/stdlib/source/test/lux/math/modulus.lux +++ b/stdlib/source/test/lux/math/modulus.lux @@ -1,19 +1,19 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["i" int]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux index e93816a7a..5ab96f21f 100644 --- a/stdlib/source/test/lux/math/number.lux +++ b/stdlib/source/test/lux/math/number.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [control ["[0]" try]] [data diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index 18448f514..be67c8022 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["%" data/text/format {"+" [format]}] - ["_" test {"+" [Test]}] + ["%" data/text/format {"+" format}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -13,7 +13,7 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] ["[0]" math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / [// diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index f3dd864ad..048e7159e 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["@" target] ["[0]" ffi] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -15,7 +15,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / [// "*" diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux index ab692a934..6141bcda4 100644 --- a/stdlib/source/test/lux/math/number/i16.lux +++ b/stdlib/source/test/lux/math/number/i16.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux index d7985b92e..beb97b194 100644 --- a/stdlib/source/test/lux/math/number/i32.lux +++ b/stdlib/source/test/lux/math/number/i32.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index 9c40721a9..66ed44a50 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [data ["[0]" bit ("[1]#[0]" equivalence)]] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] ["$[0]" monoid]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / ("#[0]" equivalence) - [// {"+" [hex]} + [// {"+" hex} ["n" nat] ["i" int]]]]) diff --git a/stdlib/source/test/lux/math/number/i8.lux b/stdlib/source/test/lux/math/number/i8.lux index 564080d7e..a8cfc3f3f 100644 --- a/stdlib/source/test/lux/math/number/i8.lux +++ b/stdlib/source/test/lux/math/number/i8.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 9ba73e445..cf06bea2a 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -15,7 +15,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / [// diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 9a5da5d6d..4f1383325 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index 2d3ba322d..7801cbb43 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -14,7 +14,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / [// diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index 90ef03c5f..24855aede 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash] @@ -18,7 +18,7 @@ ["[0]" random]]]] [\\library ["[0]" / - [// {"+" [hex]} + [// {"+" hex} ["n" nat] ["f" frac] ["[0]" i64 ("[1]#[0]" hash)]]]]) diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 2c92a430b..ba5a0cc1a 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -1,31 +1,31 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [equivalence {"+" [Equivalence]}] - [monad {"+" [do]}] + [equivalence {"+" Equivalence}] + [monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control ["[0]" maybe] - ["[0]" try {"+" [Try]} ("[1]#[0]" functor)]] + ["[0]" try {"+" Try} ("[1]#[0]" functor)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" name ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" set]]] [meta ["[0]" location]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index c1dc2fbe4..c7cf687dc 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -1,15 +1,15 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence]]] [data ["[0]" text]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" /]] ["$[0]" /// "_" diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index f652e4ebf..a578b3f22 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io] ["[0]" try] @@ -15,7 +15,7 @@ [collection ["[0]" list]]] [macro - [syntax {"+" [syntax:]}]] + [syntax {"+" syntax:}]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index 98b8c32eb..3543f2eb2 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["@" target] ["[0]" meta] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [macro ["[0]" code]] [math diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux index b031ba476..0bb703601 100644 --- a/stdlib/source/test/lux/target.lux +++ b/stdlib/source/test/lux/target.lux @@ -1,12 +1,12 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [data ["[0]" text] [collection ["[0]" list] - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [math [number ["n" nat]]]]] diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index d4d1aa460..509fddb6d 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -1,10 +1,10 @@ (.module: [library - [lux {"-" [Type Label type primitive int]} - ["[0]" ffi {"+" [import:]}] + [lux {"-" Type Label type primitive int} + ["[0]" ffi {"+" import:}] ["@" target] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" function] ["[0]" io] @@ -15,7 +15,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] ["[0]" format "_" ["[1]" binary]] [collection @@ -25,34 +25,34 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat] ["i" int] ["f" frac] - ["[0]" i32 {"+" [I32]}] + ["[0]" i32 {"+" I32}] ["[0]" i64]]] - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] [\\library ["[0]" / "_" - ["[1][0]" loader {"+" [Library]}] + ["[1][0]" loader {"+" Library}] ["[1][0]" version] ["[1][0]" modifier ("[1]#[0]" monoid)] ["[1][0]" field] - ["[1][0]" method {"+" [Method]}] + ["[1][0]" method {"+" Method}] ["[1][0]" class] ["[1][0]" attribute ["[1]/[0]" code]] ["[1][0]" constant - ["[1]/[0]" pool {"+" [Resource]}]] + ["[1]/[0]" pool {"+" Resource}]] [encoding ["[1][0]" name] ["[1][0]" signed] ["[1][0]" unsigned]] - ["[1]" bytecode {"+" [Label Bytecode]} + ["[1]" bytecode {"+" Label Bytecode} ["[1][0]" instruction]] - ["[1][0]" type {"+" [Type]} - ["[0]" category {"+" [Value Object Class]}]]]]) + ["[1][0]" type {"+" Type} + ["[0]" category {"+" Value Object Class}]]]]) (def: method_modifier ($_ /modifier#composite diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 98556c778..fad4845ac 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -2,13 +2,13 @@ [library [lux "*" [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io] ["[0]" exception] [concurrency ["[0]" async] - ["[0]" atom {"+" [Atom]}]]] + ["[0]" atom {"+" Atom}]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index e1d0ffce5..915d50e9c 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -1,23 +1,23 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] ["$[0]" enum] ["$[0]" codec]]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try ("[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" text]]] [data ["[0]" text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index 1c4365552..13ba625a9 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -16,9 +16,9 @@ ["<[0]>" text]]] [data [text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 0f8f50821..0fe9d0244 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -19,7 +19,7 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index 58a2ad1f1..d8db79e2e 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -13,7 +13,7 @@ [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 8c5d5f8d7..3e5c16cc2 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -19,8 +19,8 @@ [math ["[0]" random]] [time - ["[0]" duration {"+" [Duration]}] - ["[0]" day {"+" [Day]} ("[1]#[0]" enum)]]]] + ["[0]" duration {"+" Duration}] + ["[0]" day {"+" Day} ("[1]#[0]" enum)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index b724ea855..31e294260 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] ["[0]" predicate] [\\specification ["$[0]" equivalence] @@ -19,7 +19,7 @@ ["[0]" set] ["[0]" list ("[1]#[0]" functor mix)]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index fab28f99b..541a76d48 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" order] @@ -14,9 +14,9 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] [text - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index 05a724bf8..643698695 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] ["[0]" / "_" [compiler [language diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index 164931430..dfd2b7416 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux @@ -1,6 +1,6 @@ (.module: [lux "*" - ["_" test {"+" [Test]}]] + ["_" test {"+" Test}]] ["[0]" / "_" ["[1][0]" primitive] ["[1][0]" structure] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index cbc2b15aa..76f904817 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -1,12 +1,12 @@ (.module: [lux "*" [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name]] - ["r" math/random {"+" [Random]} ("[1]#[0]" monad)] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random} ("[1]#[0]" monad)] + ["_" test {"+" Test}] [control pipe ["[0]" maybe]] @@ -32,7 +32,7 @@ ["[1][0]" type] ["/[1]" // "_" ["/[1]" // - ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}] + ["[1][0]" analysis {"+" Analysis Variant Tag Operation}] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index 9e41573a6..f86c8bcfe 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -1,12 +1,12 @@ (.module: [lux "*" [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name]] - ["r" math/random {"+" [Random]}] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random}] + ["_" test {"+" Test}] [control pipe ["[0]" maybe] @@ -31,7 +31,7 @@ ["[1][0]" type] ["/[1]" // "_" ["/[1]" // - ["[1][0]" analysis {"+" [Analysis Operation]}] + ["[1][0]" analysis {"+" Analysis Operation}] [/// ["[1][0]" reference] ["[0]" phase] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux index 734078a84..7dc11195c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux @@ -1,17 +1,17 @@ (.module: - [lux {"-" [primitive]} + [lux {"-" primitive} ["@" target] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name]] - ["r" math/random {"+" [Random]} ("[1]#[0]" monad)] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random} ("[1]#[0]" monad)] + ["_" test {"+" Test}] [control pipe - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [exception:]}]] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] [macro ["[0]" code]]] [\\ @@ -24,9 +24,9 @@ ["[1][0]" analysis]] ["/[1]" // "_" ["[0]" version] - ["[1][0]" analysis {"+" [Analysis Operation]} - [macro {"+" [Expander]}] - [evaluation {"+" [Eval]}]] + ["[1][0]" analysis {"+" Analysis Operation} + [macro {"+" Expander}] + [evaluation {"+" Eval}]] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index 96bcf8507..61195abbd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -1,14 +1,14 @@ (.module: [lux "*" [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data ["[0]" name ("[1]#[0]" equivalence)]] - ["r" math/random {"+" [Random]}] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random}] + ["_" test {"+" Test}] [control pipe - ["[0]" try {"+" [Try]}]] + ["[0]" try {"+" Try}]] [data ["[0]" text ("[1]#[0]" equivalence)] [number @@ -26,7 +26,7 @@ ["[1][0]" type] ["/[1]" // "_" ["/[1]" // - ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}] + ["[1][0]" analysis {"+" Analysis Variant Tag Operation}] [/// ["[1][0]" reference] ["[0]" phase] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux index 463be39c2..6f63bf89c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux @@ -1,12 +1,12 @@ (.module: [lux "*" [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name]] - ["r" math/random {"+" [Random]}] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random}] + ["_" test {"+" Test}] [control pipe ["[0]" maybe] @@ -33,7 +33,7 @@ ["[1][0]" type] ["/[1]" // "_" ["/[1]" // - ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}] + ["[1][0]" analysis {"+" Analysis Variant Tag Operation}] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index c7bc89971..5430e455c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -1,15 +1,15 @@ (.module: - [lux {"-" [i64 int primitive]} + [lux {"-" i64 int primitive} [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name]] - ["r" math/random {"+" [Random]}] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random}] + ["_" test {"+" Test}] [control pipe - [io {"+" [IO]}] + [io {"+" IO}] ["[0]" try] [concurrency ["[0]" atom]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux index 2c9954765..3fbc13bda 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux @@ -1,6 +1,6 @@ (.module: [lux "*" - ["_" test {"+" [Test]}]] + ["_" test {"+" Test}]] ["[0]" / "_" ["[1][0]" primitive] ["[1][0]" structure] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux index 876b9d819..d4c935a28 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -1,16 +1,16 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [hash {"+" [Hash]}] - ["[0]" monad {"+" [do]}]] + [hash {"+" Hash}] + ["[0]" monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try ("[1]#[0]" functor)]] [data ["[0]" sum] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [number ["n" nat] ["[0]" int] @@ -20,7 +20,7 @@ ["[0]" list ("[1]#[0]" functor mix monoid)] ["[0]" set]]] [math - ["[0]" random {"+" [Random]}]]] + ["[0]" random {"+" Random}]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -30,11 +30,11 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[0]" analysis {"+" [Branch Match Analysis]}] - ["[0]" synthesis {"+" [Path Synthesis]}] + ["[0]" analysis {"+" Branch Match Analysis}] + ["[0]" synthesis {"+" Path Synthesis}] [/// ["[1][0]" reference - [variable {"+" [Register]}]] + [variable {"+" Register}]] ["[0]" phase] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux index d7faa474e..20284ae47 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -1,22 +1,22 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [control ["[0]" try]] [data ["[0]" product] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [number ["n" nat]] [collection ["[0]" list ("[1]#[0]" functor mix monoid)] - ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" dictionary {"+" Dictionary}] ["[0]" set]]] [math - ["[0]" random {"+" [Random]}]]] + ["[0]" random {"+" Random}]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -26,12 +26,12 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[0]" analysis {"+" [Analysis]}] - ["[0]" synthesis {"+" [Synthesis]}] + ["[0]" analysis {"+" Analysis}] + ["[0]" synthesis {"+" Synthesis}] [/// - [arity {"+" [Arity]}] + [arity {"+" Arity}] ["[0]" reference - ["[0]" variable {"+" [Variable]}]] + ["[0]" variable {"+" Variable}]] ["[0]" phase] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index bbd047ca5..7bcc5f59a 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -1,8 +1,8 @@ (.module: - [lux {"-" [primitive structure loop function]} - ["_" test {"+" [Test]}] + [lux {"-" primitive structure loop function} + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] @@ -12,16 +12,16 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]]] [\\ ["[0]" / [//// - ["[0]" analysis {"+" [Environment]}] - ["/[1]" synthesis {"+" [Member Path Synthesis]}] + ["[0]" analysis {"+" Environment}] + ["/[1]" synthesis {"+" Member Path Synthesis}] [/// - [arity {"+" [Arity]}] - ["[0]" reference {"+" [Constant]} - ["[0]" variable {"+" [Register Variable]}]]]]]]) + [arity {"+" Arity}] + ["[0]" reference {"+" Constant} + ["[0]" variable {"+" Register Variable}]]]]]]) (type: (Scenario a) (-> Register Arity Register (Random [Register [a a]]))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index 5940e03d2..ee21bb16c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux @@ -1,18 +1,18 @@ (.module: - [lux {"-" [primitive]} - [abstract ["[0]" monad {"+" [do]}]] + [lux {"-" primitive} + [abstract ["[0]" monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name] [number ["n" nat]] [collection ["[0]" list]]] - ["r" math/random {"+" [Random]} ("[1]#[0]" monad)] - ["_" test {"+" [Test]}]] + ["r" math/random {"+" Random} ("[1]#[0]" monad)] + ["_" test {"+" Test}]] [\\ ["[0]" / "_" ["/[1]" // @@ -20,8 +20,8 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[1][0]" analysis {"+" [Analysis]}] - ["[1][0]" synthesis {"+" [Synthesis]}] + ["[1][0]" analysis {"+" Analysis}] + ["[1][0]" synthesis {"+" Synthesis}] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index 99c2d430d..02d079c4d 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux @@ -1,12 +1,12 @@ (.module: [lux "*" [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name]] - ["r" math/random {"+" [Random]}] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random}] + ["_" test {"+" Test}] [control pipe ["[0]" try]] @@ -26,8 +26,8 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[1][0]" analysis {"+" [Analysis]}] - ["[1][0]" synthesis {"+" [Synthesis]}] + ["[1][0]" analysis {"+" Analysis}] + ["[1][0]" synthesis {"+" Synthesis}] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index b941d73e6..81c088aa2 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -1,27 +1,27 @@ (.module: [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}]] + ["[0]" monad {"+" do}]] [math - ["[0]" random {"+" [Random]}]] + ["[0]" random {"+" Random}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" try]] [data ["[0]" product] ["[0]" text - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [number ["n" nat]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" [Dictionary]}]]]] + ["[0]" dictionary {"+" Dictionary}]]]] [\\ ["[0]" / [//// ["[0]" analysis] - ["[0]" synthesis {"+" [Side Member Path Synthesis]}] + ["[0]" synthesis {"+" Side Member Path Synthesis}] [/// [reference ["[0]" variable]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 08cd0035a..84d47becc 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -1,13 +1,13 @@ (.module: [lux "*" - [abstract/monad {"+" [do]}] + [abstract/monad {"+" do}] [data - ["%" text/format {"+" [format]}] + ["%" text/format {"+" format}] ["[0]" name] [number ["n" nat]]] - ["r" math/random {"+" [Random]} ("[1]#[0]" monad)] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random} ("[1]#[0]" monad)] + ["_" test {"+" Test}] [control ["[0]" try] [parser @@ -16,7 +16,7 @@ ["[0]" text] [collection ["[0]" list] - ["[0]" dictionary {"+" [Dictionary]}]]] + ["[0]" dictionary {"+" Dictionary}]]] [macro ["[0]" code]] [meta diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index b1abd1dc7..ffd3671cb 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -1,13 +1,13 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}] + ["[0]" monad {"+" do}] [\\specification ["$[0]" equivalence]]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" maybe]] [data ["[0]" bit ("[1]#[0]" equivalence)] @@ -18,7 +18,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux index ee1b7fc4a..1f30874d4 100644 --- a/stdlib/source/test/lux/type/abstract.lux +++ b/stdlib/source/test/lux/type/abstract.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception] @@ -13,7 +13,7 @@ [data ["[0]" text ("[1]#[0]" equivalence)]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code] ["[0]" template]] ["[0]" math diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 8b7011176..ce181e56b 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,29 +1,29 @@ (.module: [library - [lux {"-" [type]} - ["_" test {"+" [Test]}] + [lux {"-" type} + ["_" test {"+" Test}] ["[0]" type ("[1]#[0]" equivalence)] [abstract - ["[0]" monad {"+" [do]}] + ["[0]" monad {"+" do}] [\\specification - ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" functor {"+" Injection Comparison}] ["$[0]" apply] ["$[0]" monad]]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" function] ["[0]" try] - ["[0]" exception {"+" [exception:]}]] + ["[0]" exception {"+" exception:}]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" product] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" set]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)] + ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index 522e82882..33c5b37aa 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" try] ["[0]" exception]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index c1853f0b1..18a62de2b 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -1,19 +1,19 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [equivalence {"+" []}] - [functor {"+" []}] - [monoid {"+" []}] - [monad {"+" [do]}] + [equivalence {"+" }] + [functor {"+" }] + [monoid {"+" }] + [monad {"+" do}] ["[0]" enum]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux index 996a86320..36c870891 100644 --- a/stdlib/source/test/lux/type/poly.lux +++ b/stdlib/source/test/lux/type/poly.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] [\\library ["[0]" /]] ["[0]" / "_" diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux index 3fa9e59f3..927189171 100644 --- a/stdlib/source/test/lux/type/poly/equivalence.lux +++ b/stdlib/source/test/lux/type/poly/equivalence.lux @@ -1,11 +1,11 @@ (.module: [library - [lux {"-" [Variant Record]} - ["_" test {"+" [Test]}] + [lux {"-" Variant Record} + ["_" test {"+" Test}] ["@" target] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]} + [monad {"+" do}] + [equivalence {"+" Equivalence} [\\poly ["[0]" /]]] [\\specification @@ -18,7 +18,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["i" int]]]]]) diff --git a/stdlib/source/test/lux/type/poly/functor.lux b/stdlib/source/test/lux/type/poly/functor.lux index 4aec871cf..935812444 100644 --- a/stdlib/source/test/lux/type/poly/functor.lux +++ b/stdlib/source/test/lux/type/poly/functor.lux @@ -3,12 +3,12 @@ [lux "*" ["@" target] [abstract - [monad {"+" [do]}] - [functor {"+" [Functor]} + [monad {"+" do}] + [functor {"+" Functor} [\\poly ["[0]" /]]]] - ["r" math/random {"+" [Random]}] - ["_" test {"+" [Test]}] + ["r" math/random {"+" Random}] + ["_" test {"+" Test}] [control ["[0]" state]] [data diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux index b9d16c2ed..4b028a9cc 100644 --- a/stdlib/source/test/lux/type/poly/json.lux +++ b/stdlib/source/test/lux/type/poly/json.lux @@ -1,13 +1,13 @@ (.module: [library - [lux {"-" [Variant Record]} - ["_" test {"+" [Test]}] + [lux {"-" Variant Record} + ["_" test {"+" Test}] ["@" target] ["[0]" debug] [abstract codec - [monad {"+" [do]}] - ["[0]" equivalence {"+" [Equivalence]} + [monad {"+" do}] + ["[0]" equivalence {"+" Equivalence} ["poly/[1]" \\poly]] [\\specification ["$[0]" equivalence] @@ -17,22 +17,22 @@ ["[0]" try] ["p" parser ... TODO: Get rid of this import ASAP - [json {"+" []}]]] + [json {"+"}]]] [data ["[0]" bit] ["[0]" text] [format - [json {"+" [JSON]} + [json {"+" JSON} [\\poly ["[0]" /]]]] [collection - [row {"+" [row]}] + [row {"+" row}] ["d" dictionary] ["[0]" list]]] [type ["[0]" unit]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat] ["[0]" frac]]] diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index a06999879..5a473fca6 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - ["[0]" monad {"+" [do]}] + ["[0]" monad {"+" do}] [\\specification ["$[0]" equivalence]]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat ("[1]#[0]" equivalence)]]]]] [\\library diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index 6dbe2447f..25e5dfc84 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -1,10 +1,10 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [predicate {"+" [Predicate]}] - [monad {"+" [do]}]] + [predicate {"+" Predicate}] + [monad {"+" do}]] [control ["[0]" maybe ("[1]#[0]" monad)]] [data diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index a8514fcfc..aad93d0a2 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -1,30 +1,30 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" meta] [abstract ["[0]" monad - [indexed {"+" [do]}]]] + [indexed {"+" do}]]] [control - ["[0]" io {"+" [IO]}] + ["[0]" io {"+" IO}] ["[0]" try] - ["[0]" exception {"+" [Exception]}] + ["[0]" exception {"+" Exception}] [concurrency - ["[0]" async {"+" [Async]}]] + ["[0]" async {"+" Async}]] [parser ["<[0]>" code]]] [data - ["[0]" identity {"+" [Identity]}] + ["[0]" identity {"+" Identity}] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] ["[0]" macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math ["[0]" random]]]] [\\library - ["[0]" / {"+" [Res]}]]) + ["[0]" / {"+" Res}]]) (def: pure Test diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux index 3d5e6f74a..76f9a4747 100644 --- a/stdlib/source/test/lux/type/unit.lux +++ b/stdlib/source/test/lux/type/unit.lux @@ -1,21 +1,21 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] ["[0]" debug] ["[0]" meta] [abstract - [monad {"+" [do]}] - [equivalence {"+" [Equivalence]}] + [monad {"+" do}] + [equivalence {"+" Equivalence}] [\\specification ["$[0]" equivalence] ["$[0]" order] ["$[0]" enum]]] [macro - [syntax {"+" [syntax:]}] + [syntax {"+" syntax:}] ["[0]" code]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["i" int] ["[0]" ratio ("[1]#[0]" equivalence)]]]]] diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux index d223fa976..916351dbf 100644 --- a/stdlib/source/test/lux/type/variance.lux +++ b/stdlib/source/test/lux/type/variance.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [math - ["[0]" random {"+" [Random]}]]]] + ["[0]" random {"+" Random}]]]] [\\library ["[0]" / ["/[1]" // "_" diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux index 5c348cb1e..21e737184 100644 --- a/stdlib/source/test/lux/world.lux +++ b/stdlib/source/test/lux/world.lux @@ -1,7 +1,7 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}]]] + ["_" test {"+" Test}]]] ["[0]" / "_" ["[1][0]" file] ["[1][0]" shell] diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index da25ac18a..8a6cd353d 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -1,16 +1,16 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io] - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [exception:]}]] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]]] + ["%" format {"+" format}]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 304116241..adac8bfeb 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" io]] [math diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 5f4ae714d..30e5e84da 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -1,23 +1,23 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [predicate {"+" [Predicate]}] - [monad {"+" [do]}]] + [predicate {"+" Predicate}] + [monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] + ["[0]" try {"+" Try}] ["[0]" exception] [concurrency - ["[0]" async {"+" [Async]}]]] + ["[0]" async {"+" Async}]]] [data - ["[0]" binary {"+" [Binary]} ("[1]#[0]" equivalence)] + ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" [format]}]] + ["%" format {"+" format}]] [collection ["[0]" list]]] [math - ["[0]" random {"+" [Random]} ("[1]#[0]" monad)]]]] + ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] [\\library ["[0]" / ["/[1]" //]]] diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index dcd14099c..8306acbf3 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -1,20 +1,20 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control ["[0]" maybe]] [data ["[0]" bit ("[1]#[0]" equivalence)] [collection ["[0]" list] - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [macro ["[0]" template]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index 6dee42643..4772af49f 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -1,25 +1,25 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [do>]}] - ["[0]" io {"+" [IO]}] + [pipe {"+" do>}] + ["[0]" io {"+" IO}] ["[0]" try] ["[0]" function]] [data ["[0]" binary] ["[0]" product] ["[0]" text - ["%" format {"+" [format]}] + ["%" format {"+" format}] [encoding ["[0]" utf8]]] [collection ["[0]" dictionary]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["[0]" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index fb987aad6..739f071d9 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -1,11 +1,11 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [data [collection ["[0]" list] - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index efd6e44dc..775e4dd94 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -1,9 +1,9 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}] + [monad {"+" do}] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -12,9 +12,9 @@ [data [collection ["[0]" list] - ["[0]" set {"+" [Set]}]]] + ["[0]" set {"+" Set}]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index f65951af0..d76639679 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -1,30 +1,30 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - [pipe {"+" [case>]}] + [pipe {"+" case>}] ["[0]" io] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try] ["[0]" exception] [parser - [environment {"+" [Environment]}]]] + [environment {"+" Environment}]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection ["[0]" dictionary] ["[0]" list]]] [math - ["[0]" random {"+" [Random]}] + ["[0]" random {"+" Random}] [number ["n" nat]]]]] [\\library ["[0]" / [// - [file {"+" [Path]}]]]] + [file {"+" Path}]]]] [\\specification ["$[0]" /]]) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 6525997bc..5e2dab77b 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -1,17 +1,17 @@ (.module: [library [lux "*" - ["_" test {"+" [Test]}] + ["_" test {"+" Test}] [abstract - [monad {"+" [do]}]] + [monad {"+" do}]] [control - ["[0]" try {"+" [Try]}] - ["[0]" exception {"+" [exception:]}] - ["[0]" io {"+" [IO]}] + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}] + ["[0]" io {"+" IO}] [concurrency - ["[0]" async {"+" [Async]}]] + ["[0]" async {"+" Async}]] [parser - ["[0]" environment {"+" [Environment]}]]] + ["[0]" environment {"+" Environment}]]] [data ["[0]" text ("[1]#[0]" equivalence)] [collection @@ -24,7 +24,7 @@ [\\library ["[0]" / [// - [file {"+" [Path]}]]]] + [file {"+" Path}]]]] [\\specification ["$[0]" /]]) |