diff options
Diffstat (limited to '')
244 files changed, 2690 insertions, 2690 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux index 1860eeab7..1ff98be46 100644 --- a/stdlib/source/test/aedifex.lux +++ b/stdlib/source/test/aedifex.lux @@ -4,26 +4,26 @@ [program {"+" [program:]}] ["_" test {"+" [Test]}] [control - ["." io]]]] - ["." / "_" - ["#." artifact] - ["#." cli] - ["#." command] - ["#." dependency - ["#/." deployment] - ["#/." resolution] - ["#/." status]] - ["#." hash] - ["#." input] - ["#." local] - ["#." metadata] - ["#." package] - ["#." parser] - ["#." pom] - ["#." profile] - ["#." project] - ["#." repository] - ["#." runtime]]) + ["[0]" io]]]] + ["[0]" / "_" + ["[1][0]" artifact] + ["[1][0]" cli] + ["[1][0]" command] + ["[1][0]" dependency + ["[1]/[0]" deployment] + ["[1]/[0]" resolution] + ["[1]/[0]" status]] + ["[1][0]" hash] + ["[1][0]" input] + ["[1][0]" local] + ["[1][0]" metadata] + ["[1][0]" package] + ["[1][0]" parser] + ["[1][0]" pom] + ["[1][0]" profile] + ["[1][0]" project] + ["[1][0]" repository] + ["[1][0]" runtime]]) (def: dependency Test diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index d1ecac072..51281e4a8 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -6,25 +6,25 @@ [monad {"+" [do]}] [hash {"+" [Hash]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" hash]]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world - ["." file] + ["[0]" file] [net - ["." uri]]]]] - ["." / "_" - ["#." extension] - ["#." snapshot] - ["#." time] - ["#." type] - ["#." versioning]] + ["[0]" uri]]]]] + ["[0]" / "_" + ["[1][0]" extension] + ["[1][0]" snapshot] + ["[1][0]" time] + ["[1][0]" type] + ["[1][0]" versioning]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Artifact) diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 4a99544db..e9ecafe17 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\program - ["." / - ["/#" // "_" - ["#" type]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" type]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index e04b49e71..b411f425c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] - ["$." / "_" - ["#." build] - ["#." stamp] - ["#." time] - ["#." version]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] + ["$[0]" / "_" + ["[1][0]" build] + ["[1][0]" stamp] + ["[1][0]" time] + ["[1][0]" version]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Snapshot) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index e3e0c62cd..24f6ee539 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Build) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index 82217bd62..0ece8e264 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [time - ["." instant]]]] + ["[0]" instant]]]] [\\program - ["." /]] - ["$." // "_" - ["#." time] - ["#." build]]) + ["[0]" /]] + ["$[0]" // "_" + ["[1][0]" time] + ["[1][0]" build]]) (def: .public random (Random /.Stamp) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index f11fe6f12..50fbbbf49 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]] - ["$." /// "_" - ["#." time]]) + ["[0]" /]] + ["$[0]" /// "_" + ["[1][0]" time]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 162b05348..238a0d2a3 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]] - ["." / "_" - ["#." value]] - ["$." /// "_" - ["#." type] - ["#." time]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" value]] + ["$[0]" /// "_" + ["[1][0]" type] + ["[1][0]" time]]) (def: .public random (Random /.Version) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index e63453f84..bccd76fac 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -5,28 +5,28 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat] ["i" int]]] [time - ["." instant]]]] - ["$." /// "_" - ["#." stamp]] + ["[0]" instant]]]] + ["$[0]" /// "_" + ["[1][0]" stamp]] [\\program - ["." / - ["//#" /// - ["#." stamp] - ["#." time]]]]) + ["[0]" / + ["//[1]" /// + ["[1][0]" stamp] + ["[1][0]" time]]]]) (def: .public random (Random /.Value) diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index a7d3f1463..9cfefe6f6 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [time - ["." instant ("#\." equivalence)]] + ["[0]" instant ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["i" int]]]]] [\\program - ["." /]] - ["." / "_" - ["#." date] - ["#." time]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" time]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 6762ed541..e76cf4259 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] - ["." exception] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]] [time - ["." date ("#\." equivalence)] - ["." year]]]] + ["[0]" date ("[1]\[0]" equivalence)] + ["[0]" year]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Date) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index d156d5f03..6351eca60 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -2,20 +2,20 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." time] + ["[0]" time] [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" text]]] + ["<[0]>" text]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Time) diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index e0d537c1b..00b483a75 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [data - ["." text] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Type) diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index a9ef8d07b..3d489eb38 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" xml]]] + ["<[0]>" xml]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]] - ["$." // "_" - ["#." time] - ["#." snapshot - ["#/." version]]]) + ["[0]" /]] + ["$[0]" // "_" + ["[1][0]" time] + ["[1][0]" snapshot + ["[1]/[0]" version]]]) (def: .public random (Random /.Versioning) diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 7bd36499b..fc5efcf8f 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -3,47 +3,47 @@ [lux {"-" [Type type]} ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try] + ["[0]" try] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data [binary {"+" [Binary]}] - ["." text] + ["[0]" text] [format [xml {"+" [XML]}]] [collection - ["." set] - ["." dictionary]]] + ["[0]" set] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [// - ["@." profile] - ["@." artifact] + ["@[0]" profile] + ["@[0]" artifact] [// [lux [data - ["_." binary]]]]] + ["_[0]" binary]]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." package {"+" [Package]}] - ["#." pom] - ["#." dependency {"+" [Dependency]} - ["#/." resolution {"+" [Resolution]}]] - ["#." artifact {"+" [Artifact]} - ["#/." type {"+" [Type]}]] - ["#." repository "_" - ["#/." origin]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[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]" repository "_" + ["[1]/[0]" origin]]]]]) (def: type (Random Type) diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 8a51928af..9cc55fd2c 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["." cli]]] + ["[0]" cli]]] [data - ["." text] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: compilation (Random /.Compilation) diff --git a/stdlib/source/test/aedifex/command.lux b/stdlib/source/test/aedifex/command.lux index 704376f9c..5cefcb033 100644 --- a/stdlib/source/test/aedifex/command.lux +++ b/stdlib/source/test/aedifex/command.lux @@ -2,21 +2,21 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." version] - ["#." pom] + ["[0]" / "_" + ["[1][0]" version] + ["[1][0]" pom] - ["#." clean] - ["#." install] + ["[1][0]" clean] + ["[1][0]" install] - ["#." deps] - ["#." deploy] + ["[1][0]" deps] + ["[1][0]" deploy] - ["#." build] - ["#." test] - ["#." auto]] + ["[1][0]" build] + ["[1][0]" test] + ["[1][0]" auto]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux index 71608e83d..4511d8a03 100644 --- a/stdlib/source/test/aedifex/command/auto.lux +++ b/stdlib/source/test/aedifex/command/auto.lux @@ -6,41 +6,41 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["." environment]] + ["[0]" environment]] [concurrency - ["." atom {"+" [Atom]}] - ["." async {"+" [Async]}]]] + ["[0]" atom {"+" [Atom]}] + ["[0]" async {"+" [Async]}]]] [data - ["." binary] - ["." text + ["[0]" binary] + ["[0]" text ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." set]]] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [time - ["." instant]] + ["[0]" instant]] [world [console {"+" [Console]}] - ["." shell {"+" [Exit Shell]}] - ["." program {"+" [Program]}] - ["." file - ["." watch]]]]] - ["." // "_" - ["$." version] - ["$." build]] + ["[0]" shell {"+" [Exit Shell]}] + ["[0]" program {"+" [Program]}] + ["[0]" file + ["[0]" watch]]]]] + ["[0]" // "_" + ["$[0]" version] + ["$[0]" build]] [\\program - ["." / - ["//#" /// "_" + ["[0]" / + ["//[1]" /// "_" [command {"+" [Command]}] - ["#" profile {"+" [Profile]}] - ["#." action] + ["[1]" profile {"+" [Profile]}] + ["[1][0]" action] [dependency [resolution {"+" [Resolution]}]]]]]) diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index cbdfdc929..c856b11f5 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -7,35 +7,35 @@ [control [pipe {"+" [case>]}] [io {"+" [IO]}] - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary]]] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world - ["." file] - ["." shell {"+" [Shell]}] - ["." program]]]] - ["." // "_" - ["@." version] - ["$/#" // "_" - ["#." package]]] + ["[0]" file] + ["[0]" shell {"+" [Shell]}] + ["[0]" program]]]] + ["[0]" // "_" + ["@[0]" version] + ["$/[1]" // "_" + ["[1][0]" package]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile {"+" [Profile]}] - ["#." action] - ["#." artifact - ["#/." type]] - ["#." dependency {"+" [Dependency]} - ["#/." resolution {"+" [Resolution]}]]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" action] + ["[1][0]" artifact + ["[1]/[0]" type]] + ["[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 c59b75719..83c3e5a80 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -3,38 +3,38 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try {"+" [Try]}] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data [binary {"+" [Binary]}] - ["." product] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world - ["." file {"+" [Path]}]]]] + ["[0]" file {"+" [Path]}]]]] [// - ["@." version] + ["@[0]" version] [// - ["@." profile] + ["@[0]" profile] [// [lux [data - ["$." binary]]]]]] + ["$[0]" binary]]]]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." action {"+" [Action]}]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[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 93bf3de79..219a2931b 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -5,49 +5,49 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try {"+" [Try]}] + ["[0]" maybe] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." binary ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] - ["." format "_" - ["#" binary] - ["." tar] - ["." xml]] + ["[0]" utf8]]] + ["[0]" format "_" + ["[1]" binary] + ["[0]" tar] + ["[0]" xml]] [collection - ["." set]]] + ["[0]" set]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." program {"+" [Program]}]]]] + ["[0]" file] + ["[0]" program {"+" [Program]}]]]] [program [compositor - ["." export]]] + ["[0]" export]]] [// - ["$." install] - ["$." version] + ["$[0]" install] + ["$[0]" version] [// - ["$." profile] - ["$." repository]]] + ["$[0]" profile] + ["$[0]" repository]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." action] - ["#." pom] - ["#." hash] - ["#." repository {"+" [Repository]} - ["#/." remote]] - ["#." artifact {"+" [Artifact]} - ["#/." extension]]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom] + ["[1][0]" hash] + ["[1][0]" repository {"+" [Repository]} + ["[1]/[0]" remote]] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" extension]]]]]) (def: (execute! program repository fs artifact profile) (-> (Program Async) (Repository Async) (file.System Async) diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index 3047ccb2b..3d563f540 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -4,53 +4,53 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate]] + ["[0]" predicate]] [control - ["." try] + ["[0]" try] [concurrency - ["." async]] + ["[0]" async]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." dictionary] - ["." set]] + ["[0]" dictionary] + ["[0]" set]] [format - ["." xml]]] + ["[0]" xml]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world - ["." program] - ["." file]]]] - ["." // "_" - ["@." version] - ["$/#" // "_" - ["#." package] - ["#." artifact] - ["#." dependency "_" - ["#/." resolution]]]] + ["[0]" program] + ["[0]" file]]]] + ["[0]" // "_" + ["@[0]" version] + ["$/[1]" // "_" + ["[1][0]" package] + ["[1][0]" artifact] + ["[1][0]" dependency "_" + ["[1]/[0]" resolution]]]] [\\program - ["." / - ["/#" // "_" - ["#." clean] - ["/#" // "_" - ["#" profile] - ["#." action] - ["#." pom] - ["#." package] - ["#." artifact - ["#/." type]] - ["#." dependency - ["#/." resolution] - ["#/." deployment] - ["#/." status]] - ["#." repository - ["#/." origin] - ["#/." local]]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" clean] + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom] + ["[1][0]" package] + ["[1][0]" artifact + ["[1]/[0]" type]] + ["[1][0]" dependency + ["[1]/[0]" resolution] + ["[1]/[0]" deployment] + ["[1]/[0]" status]] + ["[1][0]" repository + ["[1]/[0]" origin] + ["[1]/[0]" local]]]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index 3fe787e35..8ef29ec92 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -3,41 +3,41 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try {"+" [Try]} ("#\." functor)] - ["." exception] + ["[0]" try {"+" [Try]} ("[1]\[0]" functor)] + ["[0]" exception] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." binary] - ["." text ("#\." equivalence) + ["[0]" binary] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." program {"+" [Program]}]]]] + ["[0]" file] + ["[0]" program {"+" [Program]}]]]] [// - ["$." version] + ["$[0]" version] [// - ["$." profile] - ["$." artifact]]] + ["$[0]" profile] + ["$[0]" artifact]]] [\\program - ["." / - ["/#" // "_" - ["/#" // "_" - ["#" profile] - ["#." action {"+" [Action]}] - ["#." local] - ["#." artifact - ["#/." extension]] - ["#." repository "_" - ["#/." local]]]]]]) + ["[0]" / + ["/[1]" // "_" + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" action {"+" [Action]}] + ["[1][0]" local] + ["[1][0]" artifact + ["[1]/[0]" extension]] + ["[1][0]" repository "_" + ["[1]/[0]" local]]]]]]) (def: .public (make_sources! fs sources) (-> (file.System Async) (Set file.Path) (Action (List Any))) diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index be5c60598..80676974b 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -5,30 +5,30 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." binary ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml]]] + ["[0]" xml]]] [math - ["." random]] + ["[0]" random]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["@." version] + ["@[0]" version] [// - ["@." profile]]] + ["@[0]" profile]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." action] - ["#." pom]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" action] + ["[1][0]" pom]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index 6f04ef653..bbcb582b1 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -5,39 +5,39 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [concurrency - ["." async]] + ["[0]" async]] [parser - ["." environment]]] + ["[0]" environment]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary] - ["." list]]] + ["[0]" dictionary] + ["[0]" list]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." shell] - ["." program]]]] - ["." // "_" - ["@." version] - ["@." build] - ["$/#" // "_" - ["#." package]]] + ["[0]" file] + ["[0]" shell] + ["[0]" program]]]] + ["[0]" // "_" + ["@[0]" version] + ["@[0]" build] + ["$/[1]" // "_" + ["[1][0]" package]]] [\\program - ["." / - ["/#" // "_" - ["#." build] - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." action] - ["#." artifact - ["#/." type]] - ["#." dependency - ["#/." resolution]]]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" build] + ["/[1]" // "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" action] + ["[1][0]" artifact + ["[1]/[0]" type]] + ["[1][0]" dependency + ["[1]/[0]" resolution]]]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 74223d02f..1b2b0aa53 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -5,28 +5,28 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try] - ["." exception {"+" [exception:]}] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception {"+" [exception:]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random]] + ["[0]" random]] [tool [compiler - ["." version] - ["." language "_" - ["#/." lux "_" - ["#" version]]]]] + ["[0]" version] + ["[0]" language "_" + ["[1]/[0]" lux "_" + ["[1]" version]]]]] [world - ["." console {"+" [Console Mock]}]]]] + ["[0]" console {"+" [Console Mock]}]]]] [/// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." /]]) + ["[0]" /]]) (exception: .public console_is_closed!) diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux index 0f3eb7db0..370803dfa 100644 --- a/stdlib/source/test/aedifex/dependency.lux +++ b/stdlib/source/test/aedifex/dependency.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" hash]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [// - ["@." artifact]] + ["@[0]" artifact]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Dependency) diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index 8dfa5a853..5b7869eab 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -4,50 +4,50 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." hash {"+" [Hash]}]] + ["[0]" hash {"+" [Hash]}]] [control - ["." io {"+" [IO]}] - ["." maybe ("#\." functor)] - ["." try ("#\." functor)] + ["[0]" io {"+" [IO]}] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try ("[1]\[0]" functor)] [concurrency - ["." atom {"+" [Atom]}] - ["." async]]] + ["[0]" atom {"+" [Atom]}] + ["[0]" async]]] [data - ["." product] - ["." binary {"+" [Binary]} ("#\." equivalence)] - ["." text + ["[0]" product] + ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}] - ["." set] - ["." list ("#\." mix)]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" set] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world [net {"+" [URL]} - ["." uri {"+" [URI]}] - ["." http "_" - ["#" client] - ["#/." status] - ["@#" /]]]]]] - ["$." // - ["#/" // "_" - ["#." package]]] + ["[0]" uri {"+" [URI]}] + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] + ["$[0]" // + ["[1]/" // "_" + ["[1][0]" package]]] [\\program - ["." / + ["[0]" / [// {"+" [Dependency]} - ["." resolution] + ["[0]" resolution] [// - ["." profile] - ["." metadata] - ["." package {"+" [Package]}] - ["." artifact {"+" [Artifact]} ("#\." equivalence) - ["#/." type] - ["#/." extension]] - ["." repository - ["." remote]]]]]]) + ["[0]" profile] + ["[0]" metadata] + ["[0]" package {"+" [Package]}] + ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence) + ["[1]/[0]" type] + ["[1]/[0]" extension]] + ["[0]" repository + ["[0]" remote]]]]]]) (def: good_upload (@http.Response IO) diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 7297b99ee..2fe39286d 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -4,49 +4,49 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [concurrency - ["." async]]] + ["[0]" async]]] [data [binary {"+" [Binary]}] - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml]] + ["[0]" xml]] [collection - ["." dictionary] - ["." set] - ["." list]]] + ["[0]" dictionary] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}]]]] - ["$." /// "_" - ["#." package] - ["#." repository] - ["#." artifact] + ["[0]" random {"+" [Random]}]]]] + ["$[0]" /// "_" + ["[1][0]" package] + ["[1][0]" repository] + ["[1][0]" artifact] [command - ["#." version]]] + ["[1][0]" version]]] [\\program - ["." / - ["//#" /// "_" - ["#" profile] - ["#." package {"+" [Package]}] - ["#." hash] - ["#." dependency {"+" [Dependency]} ("#\." equivalence) - ["#/." status]] - ["#." pom] - ["#." artifact {"+" [Artifact]} - ["#/." type] - ["#/." extension]] - ["#." repository {"+" [Mock]} - ["#/." origin]]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1]" profile] + ["[1][0]" package {"+" [Package]}] + ["[1][0]" hash] + ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence) + ["[1]/[0]" status]] + ["[1][0]" pom] + ["[1][0]" artifact {"+" [Artifact]} + ["[1]/[0]" type] + ["[1]/[0]" extension]] + ["[1][0]" repository {"+" [Mock]} + ["[1]/[0]" origin]]]]]) (def: random (Random /.Resolution) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index 65bd7161e..981f18b0e 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." binary "_" - ["#T" \\test]]] + ["[0]" binary "_" + ["[1]T" \\test]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] - ["$." /// "_" - ["#." hash]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] + ["$[0]" /// "_" + ["[1][0]" hash]] [\\program - ["." / - ["//#" /// "_" - ["#." hash]]]]) + ["[0]" / + ["//[1]" /// "_" + ["[1][0]" hash]]]]) (def: .public random (Random /.Status) diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 94608cf7b..a3220b756 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." binary {"+" [Binary]}] + ["[0]" binary {"+" [Binary]}] [text ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\program - ["." /]] + ["[0]" /]] [test [lux [data - ["_." binary]]]]) + ["_[0]" binary]]]]) (def: .public (random hash) (All (_ h) diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index b725272e9..cf7f59840 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -5,29 +5,29 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] + ["[0]" try {"+" [Try]}] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data [text ["%" format] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random]] + ["[0]" random]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["$." profile]] + ["$[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile {"+" [Profile]}] - ["#." project] - ["#." action] - ["#." format] + ["[0]" / + ["/[1]" // "_" + ["[1]" profile {"+" [Profile]}] + ["[1][0]" project] + ["[1][0]" action] + ["[1][0]" format] [repository [remote {"+" [Address]}]]]]]) diff --git a/stdlib/source/test/aedifex/local.lux b/stdlib/source/test/aedifex/local.lux index 8a6de8dcd..bd49df4c8 100644 --- a/stdlib/source/test/aedifex/local.lux +++ b/stdlib/source/test/aedifex/local.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [data - ["." text]] + ["[0]" text]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [// - ["@." artifact]] + ["@[0]" artifact]] [\\program - ["." / - ["/#" // "_" - ["#." artifact]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" artifact]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index ad9460154..79ced5b8f 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random]]]] - ["." / "_" - ["#." artifact] - ["#." snapshot] + ["[0]" random]]]] + ["[0]" / "_" + ["[1][0]" artifact] + ["[1][0]" snapshot] [// - ["$." artifact]]] + ["$[0]" artifact]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 544da4d3c..0f0188ea3 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -5,41 +5,41 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe] - ["." try ("#\." functor)] + ["[0]" maybe] + ["[0]" try ("[1]\[0]" functor)] [parser - ["." environment] - ["<.>" xml]] + ["[0]" environment] + ["<[0]>" xml]] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] - ["." time - ["." date] - ["." year] - ["." month] - ["." instant] - ["." duration]] + ["[0]" time + ["[0]" date] + ["[0]" year] + ["[0]" month] + ["[0]" instant] + ["[0]" duration]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [\\program - ["." / - ["/#" // - ["/#" // "_" - ["#." artifact] - ["#." repository "_" - ["#/." local]]]]]]) + ["[0]" / + ["/[1]" // + ["/[1]" // "_" + ["[1][0]" artifact] + ["[1][0]" repository "_" + ["[1]/[0]" local]]]]]]) (def: .public random (Random /.Metadata) diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 2c4866c2c..39d16bd27 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -5,49 +5,49 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe] - ["." try ("#\." functor)] + ["[0]" maybe] + ["[0]" try ("[1]\[0]" functor)] [parser - ["." environment] - ["<.>" xml]] + ["[0]" environment] + ["<[0]>" xml]] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]] - ["." time - ["." date] - ["." year] - ["." month] - ["." instant {"+" [Instant]}] - ["." duration]] + ["[0]" time + ["[0]" date] + ["[0]" year] + ["[0]" month] + ["[0]" instant {"+" [Instant]}] + ["[0]" duration]] [world - ["." file] - ["." program]]]] - ["$." /// "_" - ["#." artifact - ["#/." type] - ["#/." time] - ["#/." snapshot "_" - ["#/." version]]]] + ["[0]" file] + ["[0]" program]]]] + ["$[0]" /// "_" + ["[1][0]" artifact + ["[1]/[0]" type] + ["[1]/[0]" time] + ["[1]/[0]" snapshot "_" + ["[1]/[0]" version]]]] [\\program - ["." / - ["/#" // - ["/#" // "_" + ["[0]" / + ["/[1]" // + ["/[1]" // "_" [artifact [versioning {"+" [Versioning]}] - ["#." snapshot]] - ["#." repository "_" - ["#/." local]]]]]]) + ["[1][0]" snapshot]] + ["[1][0]" repository "_" + ["[1]/[0]" local]]]]]]) (def: random_instant (Random Instant) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index a7bc7d00a..61153b8ad 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -5,40 +5,40 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try]] + ["[0]" try]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text [encoding - ["." utf8]]] + ["[0]" utf8]]] [format - ["." xml {"+" [XML]}]] + ["[0]" xml {"+" [XML]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [world - ["." file]]]] + ["[0]" file]]]] [// - ["$." profile] + ["$[0]" profile] [// [lux [data - ["$." binary]]]]] + ["$[0]" binary]]]]] [\\program - ["." / - ["/#" // "_" - ["#" profile] - ["#." hash ("#\." equivalence)] - ["#." pom] + ["[0]" / + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" hash ("[1]\[0]" equivalence)] + ["[1][0]" pom] [dependency - ["#." status]] + ["[1][0]" status]] [repository - ["#." origin]]]]]) + ["[1][0]" origin]]]]]) (def: .public random (Random [//.Profile /.Package]) diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 1d8c6c1b4..1152a1dba 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -7,31 +7,31 @@ [hash {"+" [Hash]}]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text] + ["[0]" text] [collection - ["." set {"+" [Set]}] - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." functor)]]] + ["[0]" set {"+" [Set]}] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] [macro - ["." code]]]] + ["[0]" code]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile] - ["#." project {"+" [Project]}] - ["#." artifact {"+" [Artifact]}] - ["#." dependency {"+" [Dependency]}] - ["#." format]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile] + ["[1][0]" project {"+" [Project]}] + ["[1][0]" artifact {"+" [Artifact]}] + ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" format]]]]) (def: name (Random //.Name) diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index f53bb2404..92f13bd4f 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] ["<>" parser - ["<.>" xml]]] + ["<[0]>" xml]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [format - ["." xml]]] + ["[0]" xml]]] [math - ["." random]]]] + ["[0]" random]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 728971bbf..7a0bcb279 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -6,31 +6,31 @@ [monad {"+" [do]}] [hash {"+" [Hash]}] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control [pipe {"+" [case>]}] - ["." try] + ["[0]" try] [parser - ["." cli]]] + ["[0]" cli]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set {"+" [Set]}] - ["." dictionary {"+" [Dictionary]}]]] + ["[0]" set {"+" [Set]}] + ["[0]" dictionary {"+" [Dictionary]}]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [// - ["@." artifact] - ["@." dependency]] + ["@[0]" artifact] + ["@[0]" dependency]] [\\program - ["." / - ["/#" // "_" - ["#." runtime] - ["#." dependency {"+" [Dependency]}] - ["#." format] + ["[0]" / + ["/[1]" // "_" + ["[1][0]" runtime] + ["[1][0]" dependency {"+" [Dependency]}] + ["[1][0]" format] [repository [remote {"+" [Address]}]]]]]) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 2e7eab542..94e61bd7c 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -5,24 +5,24 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control - ["." try ("#\." functor)] - ["." exception]] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception]] [data - ["." product] - ["." text ("#\." equivalence)]] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [// - ["@." profile]] + ["@[0]" profile]] [\\program - ["." / - ["/#" // "_" - ["#" profile]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" profile]]]]) (def: profile (Random [//.Name //.Profile]) diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index 9412b5fd5..7958dc7bb 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -5,38 +5,38 @@ [abstract [equivalence {"+" [Equivalence]}] [hash {"+" [Hash]}] - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." io] - ["." try] - ["." exception {"+" [exception:]}]] + ["[0]" io] + ["[0]" try] + ["[0]" exception {"+" [exception:]}]] [data - ["." product] - ["." binary {"+" [Binary]}] - ["." text + ["[0]" product] + ["[0]" binary {"+" [Binary]}] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." dictionary {"+" [Dictionary]}]]] + ["[0]" dictionary {"+" [Dictionary]}]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world [net - ["." uri {"+" [URI]}]]]]] - ["." / "_" - ["#." identity] - ["#." origin] - ["#." local] - ["#." remote] + ["[0]" uri {"+" [URI]}]]]]] + ["[0]" / "_" + ["[1][0]" identity] + ["[1][0]" origin] + ["[1][0]" local] + ["[1][0]" remote] [// - ["@." artifact]]] + ["@[0]" artifact]]] [\\specification - ["$." /]] + ["$[0]" /]] [\\program - ["." / - ["." remote] - ["/#" // "_" - ["#." artifact {"+" [Version Artifact]} - ["#/." extension {"+" [Extension]}]]]]]) + ["[0]" / + ["[0]" remote] + ["/[1]" // "_" + ["[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 045136c43..971e18a4b 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -4,11 +4,11 @@ ["_" test {"+" [Test]}] [abstract [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Identity) diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 135e10867..03c64b69a 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["." environment]] + ["[0]" environment]] [concurrency - ["." async]]] + ["[0]" async]]] [data - ["." binary ("#\." equivalence)] + ["[0]" binary ("[1]\[0]" equivalence)] [text [encoding - ["." utf8]]]] + ["[0]" utf8]]]] [math - ["." random]] + ["[0]" random]] [world - ["." file] - ["." program]]]] + ["[0]" file] + ["[0]" program]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index 6567471a1..f160df2e3 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -4,11 +4,11 @@ ["_" test {"+" [Test]}] [abstract [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Origin) diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index dfdbe03c5..9e405ddc5 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -5,31 +5,31 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." maybe ("#\." functor)] - ["." try ("#\." monad)] - ["." exception] - ["." function]] + ["[0]" io {"+" [IO]}] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try ("[1]\[0]" monad)] + ["[0]" exception] + ["[0]" function]] [data - ["." binary ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." dictionary]]] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [world [net {"+" [URL]} - ["." http "_" - ["#" client] - ["#/." status] - ["@#" /]]]]]] + ["[0]" http "_" + ["[1]" client] + ["[1]/[0]" status] + ["@[1]" /]]]]]] [\\program - ["." / - ["/#" // "_" - ["#." identity]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" identity]]]]) (def: (url_body url) (-> URL (@http.Body IO)) diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 4653f7c11..0e5b72b01 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list ("#\." functor)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\program - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Runtime) diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 9e353a1c3..c67d6efc5 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -1,5 +1,5 @@ -(.with_expansions [<target>' (.for {"{old}" (.as_is ["#/." jvm]) - "JVM" (.as_is ["#/." jvm])} +(.with_expansions [<target>' (.for {"{old}" (.as_is ["[1]/[0]" jvm]) + "JVM" (.as_is ["[1]/[0]" jvm])} (.as_is)) <target> <target>'] (.module: @@ -11,28 +11,28 @@ [abstract [monad {"+" [do]}]] [control - ["." io] - ["." maybe ("#\." functor)] + ["[0]" io] + ["[0]" maybe ("[1]\[0]" functor)] [concurrency - ["." atom {"+" [Atom]}]] + ["[0]" atom {"+" [Atom]}]] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." product] - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)] - ["." set {"+" [Set]} ("#\." equivalence)] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set {"+" [Set]} ("[1]\[0]" equivalence)] [dictionary - ["." plist]]]] - ["." macro + ["[0]" plist]]]] + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code ("#\." equivalence)] - ["." template]] - ["." math - ["." random ("#\." functor)] + ["[0]" code ("[1]\[0]" equivalence)] + ["[0]" template]] + ["[0]" math + ["[0]" random ("[1]\[0]" functor)] [number [i8 {"+" []}] [i16 {"+" []}] @@ -40,32 +40,32 @@ ["i" int] ["r" rev] ["f" frac] - ["." i64]]] - ["." meta - ["." location ("#\." equivalence)]]]] + ["[0]" i64]]] + ["[0]" meta + ["[0]" location ("[1]\[0]" equivalence)]]]] ... TODO: Must have 100% coverage on tests. - ["." / "_" - ["#." abstract] - ["#." control] - ["#." data] - ["#." debug] - ["#." documentation] - ["#." locale] - ["#." macro - ["#/." code]] - ["#." math] - ["#." meta] - ["#." program] - ["#." static] - ["#." target] - ["#." test] - ["#." time] - ... ["#." tool] ... TODO: Update & expand tests for this - ["#." type] - ["#." world] - ["#." ffi] - ["#." extension] - ["#." target "_" + ["[0]" / "_" + ["[1][0]" abstract] + ["[1][0]" control] + ["[1][0]" data] + ["[1][0]" debug] + ["[1][0]" documentation] + ["[1][0]" locale] + ["[1][0]" macro + ["[1]/[0]" code]] + ["[1][0]" math] + ["[1][0]" meta] + ["[1][0]" program] + ["[1][0]" static] + ["[1][0]" target] + ["[1][0]" test] + ["[1][0]" time] + ... ["[1][0]" tool] ... TODO: Update & expand tests for this + ["[1][0]" type] + ["[1][0]" world] + ["[1][0]" ffi] + ["[1][0]" extension] + ["[1][0]" target "_" <target>]])) ... TODO: Get rid of this ASAP @@ -238,7 +238,7 @@ (def: static_return 123) -(/.open: "global\." (..global_returner ..static_return)) +(/.open: "global\[0]" (..global_returner ..static_return)) (def: for_interface Test @@ -257,7 +257,7 @@ (_.cover [/.open:] (n.= static_return (global\return []))) (_.cover [/.^open] - (let [(/.^open "local\.") local_returner] + (let [(/.^open "local\[0]") local_returner] (n.= expected (local\return [])))) (_.cover [/.\] (n.= expected (/.\ local_returner return []))) diff --git a/stdlib/source/test/lux/abstract.lux b/stdlib/source/test/lux/abstract.lux index b3d642001..49813df43 100644 --- a/stdlib/source/test/lux/abstract.lux +++ b/stdlib/source/test/lux/abstract.lux @@ -2,23 +2,23 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." apply] - ["#." codec] - ["#." comonad - ["#/." cofree]] - ["#." enum] - ["#." equivalence] - ["#." hash] - ["#." mix] - ["#." functor - ["#/." contravariant]] - ["#." interval] - ["#." monad - ["#/." free]] - ["#." monoid] - ["#." order] - ["#." predicate]]) + ["[0]" / "_" + ["[1][0]" apply] + ["[1][0]" codec] + ["[1][0]" comonad + ["[1]/[0]" cofree]] + ["[1][0]" enum] + ["[1][0]" equivalence] + ["[1][0]" hash] + ["[1][0]" mix] + ["[1][0]" functor + ["[1]/[0]" contravariant]] + ["[1][0]" interval] + ["[1][0]" monad + ["[1]/[0]" free]] + ["[1][0]" monoid] + ["[1][0]" order] + ["[1][0]" predicate]]) (def: functor Test diff --git a/stdlib/source/test/lux/abstract/apply.lux b/stdlib/source/test/lux/abstract/apply.lux index 9eeb5f008..d5a1cd060 100644 --- a/stdlib/source/test/lux/abstract/apply.lux +++ b/stdlib/source/test/lux/abstract/apply.lux @@ -4,17 +4,17 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe]] + ["[0]" maybe]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] ["_" test {"+" [Test]}]]] [\\library - ["." / {"+" [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 53fc7a327..fdaff8185 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [control - ["." try]] + ["[0]" try]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [format - ["." json {"+" [JSON]}]]] + ["[0]" json {"+" [JSON]}]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / {"+" [Codec]} + ["[0]" / {"+" [Codec]} [// [equivalence {"+" [Equivalence]}]]]]) diff --git a/stdlib/source/test/lux/abstract/comonad.lux b/stdlib/source/test/lux/abstract/comonad.lux index 66c97e94a..fccc27c51 100644 --- a/stdlib/source/test/lux/abstract/comonad.lux +++ b/stdlib/source/test/lux/abstract/comonad.lux @@ -4,14 +4,14 @@ [abstract [monad {"+" [do]}]] [data - ["." identity {"+" [Identity]}]] + ["[0]" identity {"+" [Identity]}]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] ["_" test {"+" [Test]}]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index b4d530273..d7525ca84 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -6,18 +6,18 @@ [functor {"+" [Functor]}] [comonad {"+" [CoMonad]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." comonad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" comonad]]] [control ["//" continuation]] [data [collection - ["." list] - ["." sequence {"+" [Sequence]} ("#\." comonad)]]] + ["[0]" list] + ["[0]" sequence {"+" [Sequence]} ("[1]\[0]" comonad)]]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (injection value) (Injection (/.CoFree Sequence)) diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 3b1fc2483..83505a5be 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index e2165cd9e..206150921 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -6,16 +6,16 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." / {"+" [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 d2aa86a6f..dff57b393 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe]] + ["[0]" maybe]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 c36043918..fec2d749f 100644 --- a/stdlib/source/test/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/test/lux/abstract/functor/contravariant.lux @@ -3,7 +3,7 @@ [lux "*" ["_" test {"+" [Test]}]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 27e06e7f8..2ac3e428f 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -6,15 +6,15 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number - ["." nat]]]]] + ["[0]" nat]]]]] [\\library - ["." / {"+" [Hash]} + ["[0]" / {"+" [Hash]} [// [equivalence {"+" [Equivalence]}]]]]) @@ -25,7 +25,7 @@ rightN random.nat .let [hash (: (Equivalence (/.Hash Nat)) (implementation - (def: (= (^open "left\.") (^open "right\.")) + (def: (= (^open "left\[0]") (^open "right\[0]")) (and (bit\= (left\= (left\hash leftN) (left\hash leftN)) (right\= (right\hash leftN) (right\hash leftN))) (bit\= (left\= (left\hash rightN) (left\hash rightN)) diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 1891be079..71e07f870 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -4,21 +4,21 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." order] + ["[0]" order] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control [pipe {"+" [case>]}]] [data [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Interval]} ("\." 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 f4236cfd7..4d9f41ee0 100644 --- a/stdlib/source/test/lux/abstract/mix.lux +++ b/stdlib/source/test/lux/abstract/mix.lux @@ -6,13 +6,13 @@ [monad {"+" [do]}]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 2ad25583e..786156f93 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -3,15 +3,15 @@ [lux "*" ["_" test {"+" [Test]}] [data - ["." identity {"+" [Identity]}] + ["[0]" identity {"+" [Identity]}] [collection - ["." list ("#\." functor mix)]]] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 9fa406919..39f91dc05 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -7,16 +7,16 @@ [apply {"+" [Apply]}] [monad {"+" [Monad do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [data [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (Injection (/.Free List)) diff --git a/stdlib/source/test/lux/abstract/monoid.lux b/stdlib/source/test/lux/abstract/monoid.lux index bfca808a9..a366a9c91 100644 --- a/stdlib/source/test/lux/abstract/monoid.lux +++ b/stdlib/source/test/lux/abstract/monoid.lux @@ -5,12 +5,12 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat] - ["." int]]]]] + ["[0]" nat] + ["[0]" int]]]]] [\\library - ["." / + ["[0]" / [// [equivalence {"+" [Equivalence]}]]]]) diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index e81919f19..1457fd550 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -6,15 +6,15 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// [equivalence {"+" [Equivalence]}]]]]) diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 55801fb84..8799e27a9 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -6,21 +6,21 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." monoid] + ["$[0]" monoid] [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [control - ["." function]] + ["[0]" function]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (multiple? factor) (-> Nat (/.Predicate Nat)) diff --git a/stdlib/source/test/lux/control.lux b/stdlib/source/test/lux/control.lux index 4ed818b2a..eb1636b9a 100644 --- a/stdlib/source/test/lux/control.lux +++ b/stdlib/source/test/lux/control.lux @@ -2,34 +2,34 @@ [library [lux {"-" [function]} ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." concatenative] - ["#." concurrency "_" - ["#/." actor] - ["#/." atom] - ["#/." frp] - ["#/." thread] - ["#/." async] - ["#/." semaphore] - ["#/." stm]] - ["#." continuation] - ["#." exception] - ["#." function] - ["#." io] - ["#." lazy] - ["#." maybe] - ["#." parser] - ["#." pipe] - ["#." reader] - ["#." region] - ["#." remember] + ["[0]" / "_" + ["[1][0]" concatenative] + ["[1][0]" concurrency "_" + ["[1]/[0]" actor] + ["[1]/[0]" atom] + ["[1]/[0]" frp] + ["[1]/[0]" thread] + ["[1]/[0]" async] + ["[1]/[0]" semaphore] + ["[1]/[0]" stm]] + ["[1][0]" continuation] + ["[1][0]" exception] + ["[1][0]" function] + ["[1][0]" io] + ["[1][0]" lazy] + ["[1][0]" maybe] + ["[1][0]" parser] + ["[1][0]" pipe] + ["[1][0]" reader] + ["[1][0]" region] + ["[1][0]" remember] [security - ["#." policy] - ["#." capability]] - ["#." state] - ["#." thread] - ["#." try] - ["#." writer]]) + ["[1][0]" policy] + ["[1][0]" capability]] + ["[1][0]" state] + ["[1][0]" thread] + ["[1][0]" try] + ["[1][0]" writer]]) (def: concurrency Test diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index 6ca9ab296..4cc158fd5 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}]] [data - ["." sum] - ["." name] - ["." bit ("#\." equivalence)]] + ["[0]" sum] + ["[0]" name] + ["[0]" bit ("[1]\[0]" equivalence)]] [macro - ["." template]] + ["[0]" template]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int] ["r" rev] ["f" frac]]]]] [\\library - ["." / {"+" [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 a33bc598b..b2603fc0d 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}] - ["." io {"+" [IO io]}]] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}] + ["[0]" io {"+" [IO io]}]] [data [text ["%" format {"+" [format]}]] [collection - ["." list] - ["." row {"+" [Row]}]]] + ["[0]" list] + ["[0]" row {"+" [Row]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [actor: message:]} + ["[0]" / {"+" [actor: message:]} [// - ["." atom {"+" [Atom]}] - ["." async {"+" [Async Resolver]} ("#\." monad)] - ["." frp]]]]) + ["[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 ad1297161..0709aff61 100644 --- a/stdlib/source/test/lux/control/concurrency/async.lux +++ b/stdlib/source/test/lux/control/concurrency/async.lux @@ -6,25 +6,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control [pipe {"+" [case>]}] - ["." io]] + ["[0]" io]] [time - ["." instant] - ["." duration]] + ["[0]" instant] + ["[0]" duration]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int] - ["." i64]]]]] + ["[0]" i64]]]]] [\\library - ["." / + ["[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 c20b717e4..1bdbbca05 100644 --- a/stdlib/source/test/lux/control/concurrency/atom.lux +++ b/stdlib/source/test/lux/control/concurrency/atom.lux @@ -5,13 +5,13 @@ [abstract [monad {"+" [do]}]] [control - ["." io]] + ["[0]" io]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 40c490233..d4615020b 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -5,26 +5,26 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." try] - ["." exception] - ["." io {"+" [IO io]}]] + ["[0]" try] + ["[0]" exception] + ["[0]" io {"+" [IO io]}]] [data [collection - ["." list ("#\." mix monoid)] - ["." row {"+" [Row]}]]] + ["[0]" list ("[1]\[0]" mix monoid)] + ["[0]" row {"+" [Row]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// - ["." async {"+" [Async]} ("#\." monad)] - ["." atom {"+" [Atom atom]}]]]]) + ["[0]" async {"+" [Async]} ("[1]\[0]" monad)] + ["[0]" atom {"+" [Atom atom]}]]]]) (def: injection (Injection /.Channel) @@ -65,7 +65,7 @@ (def: .public test Test (<| (_.covering /._) - (let [(^open "list\.") (list.equivalence n.equivalence)] + (let [(^open "list\[0]") (list.equivalence n.equivalence)] (do [! random.monad] [inputs (random.list 5 random.nat) sample random.nat diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index c93b51358..50b35b437 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -4,30 +4,30 @@ ["_" test {"+" [Test]}] ["@" target] [abstract - ["." monad {"+" [do]}] - ["." enum]] + ["[0]" monad {"+" [do]}] + ["[0]" enum]] [control - ["." io] - ["." maybe] - ["." try] - ["." exception {"+" [exception:]}] + ["[0]" io] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception {"+" [exception:]}] [concurrency - ["." async {"+" [Async]}] - ["." atom {"+" [Atom]}]]] + ["[0]" async {"+" [Async]}] + ["[0]" atom {"+" [Atom]}]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat] - ["." i64]]] + ["[0]" i64]]] [type - ["." refinement]]]] + ["[0]" refinement]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: delay (for {@.js diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index c2251e302..8039bf039 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -3,27 +3,27 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [Monad do]}] + ["[0]" monad {"+" [Monad do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." io {"+" [IO]}]] + ["[0]" io {"+" [IO]}]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// - ["." atom {"+" [Atom atom]}] - ["." async] - ["." frp {"+" [Channel]}]]]]) + ["[0]" atom {"+" [Atom atom]}] + ["[0]" async] + ["[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 50adc9255..b712c2c12 100644 --- a/stdlib/source/test/lux/control/concurrency/thread.lux +++ b/stdlib/source/test/lux/control/concurrency/thread.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}]] [control - ["." io]] + ["[0]" io]] [time - ["." instant {"+" [Instant]}] - ["." duration]] + ["[0]" instant {"+" [Instant]}] + ["[0]" duration]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." / + ["[0]" / [// - ["." atom {"+" [Atom]}] - ["." async]]]]) + ["[0]" atom {"+" [Atom]}] + ["[0]" async]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/continuation.lux b/stdlib/source/test/lux/control/continuation.lux index ac433a867..ecb4ee77d 100644 --- a/stdlib/source/test/lux/control/continuation.lux +++ b/stdlib/source/test/lux/control/continuation.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (All (_ o) (Injection (All (_ i) (/.Cont i o)))) @@ -32,8 +32,8 @@ (<| (_.covering /._) (do random.monad [sample random.nat - .let [(^open "_\.") /.apply - (^open "_\.") /.monad] + .let [(^open "_\[0]") /.apply + (^open "_\[0]") /.monad] elems (random.list 3 random.nat)]) (_.for [/.Cont]) ($_ _.and @@ -66,8 +66,8 @@ (restart [(n.+ 10 output) (++ idx)]) (in output)))))) (_.cover [/.shift /.reset] - (let [(^open "_\.") /.monad - (^open "list\.") (list.equivalence n.equivalence) + (let [(^open "_\[0]") /.monad + (^open "list\[0]") (list.equivalence n.equivalence) visit (: (-> (List Nat) (/.Cont (List Nat) (List Nat))) (function (visit xs) diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index 234e4bf6c..cbb91dec4 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [exception:]} + ["[0]" / {"+" [exception:]} [// - ["." 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 ab003daf6..04a30d87b 100644 --- a/stdlib/source/test/lux/control/function.lux +++ b/stdlib/source/test/lux/control/function.lux @@ -6,20 +6,20 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [data - ["." text ("#!." equivalence)]] + ["[0]" text ("[1]![0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["." / "_" - ["#." contract] - ["#." memo] - ["#." mixin] - ["#." mutual]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" contract] + ["[1][0]" memo] + ["[1][0]" mixin] + ["[1][0]" mutual]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/function/contract.lux b/stdlib/source/test/lux/control/function/contract.lux index c73abbcb1..2ea5d8e3e 100644 --- a/stdlib/source/test/lux/control/function/contract.lux +++ b/stdlib/source/test/lux/control/function/contract.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." text]] + ["[0]" text]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 71d9de075..f975f5b97 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] - ["." state {"+" [State]} ("#\." monad)]] + ["[0]" io {"+" [IO]}] + ["[0]" state {"+" [State]} ("[1]\[0]" monad)]] [data - ["." product] + ["[0]" product] [collection - ["." dictionary {"+" [Dictionary]}] - ["." list ("#\." functor mix)]]] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random] + ["[0]" random] [number ["n" nat] - ["." i64]]] + ["[0]" i64]]] [time - ["." instant] - ["." duration {"+" [Duration]}]]]] + ["[0]" instant] + ["[0]" duration {"+" [Duration]}]]]] [\\library - ["." / - ["/#" // "_" - ["#" mixin]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" mixin]]]]) (def: (fibonacci recur input) (/.Memo Nat Nat) diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index ec52f3d55..e56ccb3a6 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -7,19 +7,19 @@ [predicate {"+" [Predicate]}] [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [control - ["." state {"+" [State]}]] + ["[0]" state {"+" [State]}]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor mix)]]] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 549cb46b9..6fe925cd2 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [text ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: test_let Test diff --git a/stdlib/source/test/lux/control/io.lux b/stdlib/source/test/lux/control/io.lux index d5c57766a..f95f40627 100644 --- a/stdlib/source/test/lux/control/io.lux +++ b/stdlib/source/test/lux/control/io.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [IO]} + ["[0]" / {"+" [IO]} [// - ["." function]]]]) + ["[0]" function]]]]) (def: injection (Injection IO) diff --git a/stdlib/source/test/lux/control/lazy.lux b/stdlib/source/test/lux/control/lazy.lux index 1986837c4..8455c3194 100644 --- a/stdlib/source/test/lux/control/lazy.lux +++ b/stdlib/source/test/lux/control/lazy.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad] - ["$." equivalence]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad] + ["$[0]" equivalence]]] [data - ["." product]] + ["[0]" product]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 fc828fd7b..1c3e270a5 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." functor] - ["$." apply] - ["$." monad]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid] + ["$[0]" functor] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." io ("#\." monad)] + ["[0]" io ("[1]\[0]" monad)] pipe] [data - ["." text] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / ("#\." monoid monad)]]) + ["[0]" / ("[1]\[0]" monoid monad)]]) (def: .public test Test @@ -81,7 +81,7 @@ (/.list (#.Some value))))) (do random.monad [expected random.nat - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] (_.cover [/.when] (and (/\= (#.Some expected) (/.when true (#.Some expected))) (/\= #.None (/.when false (#.Some expected)))))) diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 13f1e2c02..fa3e828dc 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -6,39 +6,39 @@ [monad {"+" [do]}] [equivalence {"+" [Equivalence]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." try {"+" [Try]}] + ["[0]" try {"+" [Try]}] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [macro [syntax {"+" [syntax:]}] - ["." code]]]] + ["[0]" code]]]] [\\library - ["." / {"+" [Parser]}]] - ["." / "_" - ["#." analysis] - ["#." binary] - ["#." cli] - ["#." code] - ["#." environment] - ["#." json] - ["#." synthesis] - ["#." text] - ["#." tree] - ["#." type] - ["#." xml]]) + ["[0]" / {"+" [Parser]}]] + ["[0]" / "_" + ["[1][0]" analysis] + ["[1][0]" binary] + ["[1][0]" cli] + ["[1][0]" code] + ["[1][0]" environment] + ["[1][0]" json] + ["[1][0]" synthesis] + ["[1][0]" text] + ["[1][0]" tree] + ["[1][0]" type] + ["[1][0]" xml]]) (def: (should_fail expected input) (All (_ a) (-> Text (Try a) Bit)) diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index a3c722851..c1babf741 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -6,17 +6,17 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] ["<>" parser]] [data - ["." name ("#\." equivalence)] - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)] + ["[0]" name ("[1]\[0]" equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int] @@ -28,9 +28,9 @@ [variable {"+" []}]] [language [lux - ["." analysis]]]]]]] + ["[0]" analysis]]]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template: (!expect <expectation> <computation>) [(case <computation> diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 965c9abad..73c94aa76 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -2,44 +2,44 @@ [library [lux {"-" [primitive]} ["_" test {"+" [Test]}] - ["." type] + ["[0]" type] [abstract [equivalence {"+" [Equivalence]}] [predicate {"+" [Predicate]}] [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." maybe] - ["." try] - ["." exception] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception] ["<>" parser]] [data - ["." binary] - ["." sum] - ["." bit] - ["." name] - ["." text ("#\." equivalence) + ["[0]" binary] + ["[0]" sum] + ["[0]" bit] + ["[0]" name] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]]] - ["." format "_" - ["#" binary]] + ["[0]" utf8]]] + ["[0]" format "_" + ["[1]" binary]] [collection - ["." list] - ["." row] - ["." set]]] + ["[0]" list] + ["[0]" row] + ["[0]" set]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." i64] - ["." int] - ["." rev] - ["." frac]]]]] + ["[0]" i64] + ["[0]" int] + ["[0]" rev] + ["[0]" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template: (!expect <expectation> <computation>) [(case <computation> @@ -115,7 +115,7 @@ (def: random_type (Random Type) - (let [(^open ".") random.monad] + (let [(^open "[0]") random.monad] ($_ random.either (in .Nat) (in .List) diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux index 64b0d4425..69f8cfe3e 100644 --- a/stdlib/source/test/lux/control/parser/cli.lux +++ b/stdlib/source/test/lux/control/parser/cli.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [control - ["." try] + ["[0]" try] ["<>" parser]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number - ["n" nat ("#\." decimal)]]]]] + ["n" nat ("[1]\[0]" decimal)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index b40394152..6e072a050 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -5,26 +5,26 @@ [abstract [monad {"+" [do]}]] [control - ["." function] - ["." try] + ["[0]" function] + ["[0]" try] ["<>" parser]] [data - ["." bit] - ["." name] - ["." text] + ["[0]" bit] + ["[0]" name] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat] - ["." int] - ["." rev] - ["." frac]]]]] + ["[0]" nat] + ["[0]" int] + ["[0]" rev] + ["[0]" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index fd9526160..42c09df66 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary]]] + ["[0]" dictionary]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / - ["/#" // ("#\." monad)]]]) + ["[0]" / + ["/[1]" // ("[1]\[0]" monad)]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux index a2951dc23..1e440036e 100644 --- a/stdlib/source/test/lux/control/parser/json.lux +++ b/stdlib/source/test/lux/control/parser/json.lux @@ -6,27 +6,27 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." maybe] - ["." try] - ["." exception] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception] ["<>" parser]] [data - ["." bit] - ["." text] + ["[0]" bit] + ["[0]" text] [collection - ["." list ("#\." functor)] - ["." set] - ["." dictionary] - ["." row {"+" [row]} ("#\." functor)]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set] + ["[0]" dictionary] + ["[0]" row {"+" [row]} ("[1]\[0]" functor)]] [format - ["." json]]] + ["[0]" json]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." frac]]]]] + ["[0]" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index ca405d495..9068cad62 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -3,34 +3,34 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control [pipe {"+" [case>]}] ["<>" parser] - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." bit] - ["." name] - ["." text] + ["[0]" bit] + ["[0]" name] + ["[0]" text] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." i64] - ["." frac]]] + ["[0]" i64] + ["[0]" frac]]] [tool [compiler [reference {"+" []} - ["." variable {"+" [Variable]}]] + ["[0]" variable {"+" [Variable]}]] [language [lux [analysis {"+" [Environment]}] - ["." synthesis {"+" [Synthesis]}]]]]]]] + ["[0]" synthesis {"+" [Synthesis]}]]]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 7207e4477..05a28b1ff 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -5,29 +5,29 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try {"+" [Try]}] - ["." exception {"+" [Exception]}] - ["." function]] + ["[0]" maybe] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [Exception]}] + ["[0]" function]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] - ["." unicode "_" - ["#" set] - ["#/." block]]] + ["[0]" unicode "_" + ["[1]" set] + ["[1]/[0]" block]]] [collection - ["." set] - ["." list ("#\." functor)] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor)] [tree - ["." finger]]]] + ["[0]" finger]]]] [math - ["." random] + ["[0]" random] [number {"+" [hex]} ["n" nat]]] [macro - ["." code]]]] + ["[0]" code]]]] [\\library - ["." / + ["[0]" / ["<>" // ["<c>" code]]]]) diff --git a/stdlib/source/test/lux/control/parser/tree.lux b/stdlib/source/test/lux/control/parser/tree.lux index 21f048ffa..30fc3f5d1 100644 --- a/stdlib/source/test/lux/control/parser/tree.lux +++ b/stdlib/source/test/lux/control/parser/tree.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data [collection - ["." tree - ["." zipper]]]] + ["[0]" tree + ["[0]" zipper]]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / - ["/#" //]]]) + ["[0]" / + ["/[1]" //]]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index af74b5851..8b843dcdb 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." name ("#\." equivalence)] + ["[0]" name ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]] - ["." type ("#\." equivalence)]]] + ["[0]" type ("[1]\[0]" equivalence)]]] [\\library - ["." / - ["/#" //]]]) + ["[0]" / + ["/[1]" //]]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 4d357320e..b61b993a2 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -2,29 +2,29 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] + ["[0]" type ("[1]\[0]" equivalence)] [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] - ["." exception]] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception]] [data - ["." text ("#\." equivalence)] - ["." name ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] + ["[0]" name ("[1]\[0]" equivalence)] [format - ["." xml ("#\." equivalence)]] + ["[0]" xml ("[1]\[0]" equivalence)]] [collection - ["." dictionary] - ["." list]]] + ["[0]" dictionary] + ["[0]" list]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / - ["/#" // ("#\." monad)]]]) + ["[0]" / + ["/[1]" // ("[1]\[0]" monad)]]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/control/pipe.lux b/stdlib/source/test/lux/control/pipe.lux index a61671c97..f71dae655 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -2,19 +2,19 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." debug] + ["[0]" debug] [abstract [monad {"+" [do]}]] [data - ["." identity] - ["." text ("#\." equivalence) + ["[0]" identity] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index 21818e60e..2545c2834 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Reader]} + ["[0]" / {"+" [Reader]} [// - ["." io {"+" [IO]}]]]]) + ["[0]" io {"+" [IO]}]]]]) (def: (injection value) (Injection (All (_ a r) (Reader r a))) @@ -48,7 +48,7 @@ (_.cover [/.local] (n.= (n.* factor sample) (/.result sample (/.local (n.* factor) /.read)))) - (let [(^open "io\.") io.monad] + (let [(^open "io\[0]") io.monad] (_.cover [/.with /.lifted] (|> (: (/.Reader Any (IO Nat)) (do (/.with io.monad) diff --git a/stdlib/source/test/lux/control/region.lux b/stdlib/source/test/lux/control/region.lux index 2e6af0ef9..6b4f5b55c 100644 --- a/stdlib/source/test/lux/control/region.lux +++ b/stdlib/source/test/lux/control/region.lux @@ -7,26 +7,26 @@ [equivalence {"+" [Equivalence]}] [functor {"+" [Functor]}] [apply {"+" [Apply]}] - ["." monad {"+" [Monad do]}] - ["." enum] + ["[0]" monad {"+" [Monad do]}] + ["[0]" enum] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Region]} + ["[0]" / {"+" [Region]} [// - ["." thread {"+" [Thread]}] - ["." 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 a2ebf0aa7..680238ff9 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -2,31 +2,31 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." io] - ["." try {"+" [Try]}] - ["." exception] + ["[0]" io] + ["[0]" try {"+" [Try]}] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}]]] [math [number {"+" [hex]}] - ["." random {"+" [Random]} ("#\." monad)]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]] [time - ["." date {"+" [Date]}] - ["." instant] - ["." duration]] - ["." macro - ["." code] - ["." syntax {"+" [syntax:]}]]]] + ["[0]" date {"+" [Date]}] + ["[0]" instant] + ["[0]" duration]] + ["[0]" macro + ["[0]" code] + ["[0]" syntax {"+" [syntax:]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: deadline (Random Date) random.date) (def: message (Random Text) (random\each %.bit random.bit)) diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index 668f742d7..3d842884e 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [control - ["." io {"+" [IO]}] + ["[0]" io {"+" [IO]}] [concurrency - ["." async]]] + ["[0]" async]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.capability: (Can_Shift a) (can_shift [a Nat] [a Nat])) diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index c8fdeac47..810020b02 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -6,17 +6,17 @@ [hash {"+" [Hash]}] [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Context Privacy Can_Conceal Can_Reveal Privilege Private]}]]) + ["[0]" / {"+" [Context Privacy Can_Conceal Can_Reveal Privilege Private]}]]) (def: (injection can_conceal) (All (_ label) @@ -48,7 +48,7 @@ (Ex (_ %) (-> Any (Policy %))) (/.with_policy (: (Context Privacy Policy) - (function (_ (^@ privilege (^open "%\."))) + (function (_ (^@ privilege (^open "%\[0]"))) (implementation (def: &hash (implementation diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index e96247575..551ce224a 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control [pipe {"+" [let>]}] - ["." io]] + ["[0]" io]] [data - ["." product]] + ["[0]" product]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [State]}]]) + ["[0]" / {"+" [State]}]]) (def: (with_conditions [state output] computation) (-> [Nat Nat] (State Nat Nat) Bit) @@ -107,7 +107,7 @@ [state random.nat left random.nat right random.nat] - (let [(^open "io\.") io.monad] + (let [(^open "io\[0]") io.monad] (_.cover [/.+State /.with /.lifted /.result'] (|> (: (/.+State io.IO Nat Nat) (do (/.with io.monad) diff --git a/stdlib/source/test/lux/control/thread.lux b/stdlib/source/test/lux/control/thread.lux index 7fea9aa31..c54b019dc 100644 --- a/stdlib/source/test/lux/control/thread.lux +++ b/stdlib/source/test/lux/control/thread.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Thread]} + ["[0]" / {"+" [Thread]} [// - ["." io]]]]) + ["[0]" io]]]]) (def: (injection value) (Injection (All (_ a !) (Thread ! a))) diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index 8c954da6f..80b68423f 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad] - ["$." equivalence]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad] + ["$[0]" equivalence]]] [control pipe - ["." io]] + ["[0]" io]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [Try]}]]) + ["[0]" / {"+" [Try]}]]) (def: injection (Injection Try) @@ -44,7 +44,7 @@ [expected random.nat alternative (|> random.nat (random.only (|>> (n.= expected) not))) error (random.unicode 1) - .let [(^open "io\.") io.monad]]) + .let [(^open "io\[0]") io.monad]]) ($_ _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (..attempt random.nat))) diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 6e4decb75..d8d529e54 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -7,20 +7,20 @@ [monoid {"+" [Monoid]}] [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." io]] + ["[0]" io]] [data - ["." product] - ["." text ("#\." equivalence)]] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / {"+" [Writer]}]]) + ["[0]" / {"+" [Writer]}]]) (def: (injection monoid value) (All (_ w) (-> (Monoid w) (Injection (Writer w)))) @@ -52,7 +52,7 @@ (product.left (/.write log)))) (_.cover [/.with /.lifted] (let [lifted (/.lifted text.monoid io.monad) - (^open "io\.") io.monad] + (^open "io\[0]") io.monad] (|> (do (/.with text.monoid io.monad) [a (lifted (io\in left)) b (in right)] diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index 5750b29f2..eda9b9ee5 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}]] [math - ["." random]]]] - ["." / "_" - ["#." binary] - ["#." bit] - ["#." color - ["#/." named]] - ["#." identity] - ["#." name] - ["#." product] - ["#." sum] - ["#." text] - ["#." format "_" - ["#/." binary] - ["#/." json] - ["#/." tar] - ["#/." xml]] - ["#." collection]]) + ["[0]" random]]]] + ["[0]" / "_" + ["[1][0]" binary] + ["[1][0]" bit] + ["[1][0]" color + ["[1]/[0]" named]] + ["[1][0]" identity] + ["[1][0]" name] + ["[1][0]" product] + ["[1][0]" sum] + ["[1][0]" text] + ["[1][0]" format "_" + ["[1]/[0]" binary] + ["[1]/[0]" json] + ["[1]/[0]" tar] + ["[1]/[0]" xml]] + ["[1][0]" collection]]) ... TODO: Get rid of this ASAP (template: (!bundle body) diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index a9dbaca2e..1fb97272c 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -3,24 +3,24 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] - ["." enum] + ["[0]" monad {"+" [do]}] + ["[0]" enum] [\\specification - ["$." equivalence] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" monoid]]] [control - ["." try {"+" [Try]}] - ["." exception {"+" [Exception]}]] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [Exception]}]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." i64] + ["[0]" i64] ["n" nat]]]]] [\\library - ["." / {"+" [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 11ecc92c3..f54892910 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid] + ["$[0]" codec]]] [control - ["." function]] + ["[0]" function]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index 5f8047ac4..b6615368b 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -2,24 +2,24 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." array] - ["#." bits] - ["#." list] - ["#." row] - ["#." sequence] - ["#." stack] - ["#." dictionary - ["#/." ordered] - ["#/." plist]] - ["#." queue - ["#/." priority]] - ["#." set - ["#/." multi] - ["#/." ordered]] - ["#." tree - ["#/." finger] - ["#/." zipper]]]) + ["[0]" / "_" + ["[1][0]" array] + ["[1][0]" bits] + ["[1][0]" list] + ["[1][0]" row] + ["[1][0]" sequence] + ["[1][0]" stack] + ["[1][0]" dictionary + ["[1]/[0]" ordered] + ["[1]/[0]" plist]] + ["[1][0]" queue + ["[1]/[0]" priority]] + ["[1][0]" set + ["[1]/[0]" multi] + ["[1]/[0]" ordered]] + ["[1][0]" tree + ["[1]/[0]" finger] + ["[1]/[0]" zipper]]]) (def: dictionary Test diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 102a7a2a5..46783bc56 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid] - ["$." mix] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" monoid] + ["$[0]" mix] + ["$[0]" functor {"+" [Injection]}]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." bit] + ["[0]" bit] [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 a3f877cb1..ea93acfcb 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -4,15 +4,15 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 60314ca82..788f6c3eb 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -6,23 +6,23 @@ [hash {"+" [Hash]}] [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" functor {"+" [Injection]}]]] [control - ["." maybe ("#\." functor)] - ["." try] - ["." exception]] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try] + ["[0]" exception]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (Injection (/.Dictionary Nat)) @@ -109,12 +109,12 @@ (list.size (/.values dict)))) (_.cover [/.merged] - (let [merging_with_oneself (let [(^open ".") (/.equivalence n.equivalence)] + (let [merging_with_oneself (let [(^open "[0]") (/.equivalence n.equivalence)] (= dict (/.merged dict dict))) overwritting_keys (let [dict' (|> dict /.entries (list\each (function (_ [k v]) [k (++ v)])) (/.of_list n.hash)) - (^open ".") (/.equivalence n.equivalence)] + (^open "[0]") (/.equivalence n.equivalence)] (= dict' (/.merged dict' dict)))] (and merging_with_oneself overwritting_keys))) @@ -125,7 +125,7 @@ (/.values (/.merged_with n.+ dict dict))))) (_.cover [/.of_list] - (let [(^open ".") (/.equivalence n.equivalence)] + (let [(^open "[0]") (/.equivalence n.equivalence)] (and (= dict dict) (|> dict /.entries (/.of_list n.hash) (= dict))))) ))) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 9759aa3d4..65bb6226d 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -7,21 +7,21 @@ [equivalence {"+" [Equivalence]}] [order {"+" [Order]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe ("#\." monad)]] + ["[0]" maybe ("[1]\[0]" monad)]] [data - ["." product] - ["." bit ("#\." equivalence)] + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list ("#\." functor)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (dictionary order gen_key gen_value size) (All (_ k v) @@ -57,11 +57,11 @@ (n.< left right)) pairs) sorted_values (list\each product.right sorted_pairs) - (^open "list\.") (list.equivalence (: (Equivalence [Nat Nat]) + (^open "list\[0]") (list.equivalence (: (Equivalence [Nat Nat]) (function (_ [kr vr] [ks vs]) (and (n.= kr ks) (n.= vr vs))))) - (^open "/\.") (/.equivalence n.equivalence)]] + (^open "/\[0]") (/.equivalence n.equivalence)]] ($_ _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size))) diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 56d376740..572f06c31 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe ("#\." monad)]] + ["[0]" maybe ("[1]\[0]" monad)]] [data - ["." bit ("#\." equivalence)] - ["." text] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (random size gen_key gen_value) (All (_ v) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 639e69400..e4776e1ab 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -4,33 +4,33 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." enum] + ["[0]" enum] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." mix] - ["$." functor] - ["$." apply] - ["$." monad]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid] + ["$[0]" mix] + ["$[0]" functor] + ["$[0]" apply] + ["$[0]" monad]]] [control pipe - ["." io] - ["." maybe] - ["." function]] + ["[0]" io] + ["[0]" maybe] + ["[0]" function]] [data - ["." bit] - ["." product] - ["." text ("#\." equivalence)] + ["[0]" bit] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." set]]] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." int]]]]] + ["[0]" int]]]]] [\\library - ["." / ("#\." monad)]]) + ["[0]" / ("[1]\[0]" monad)]]) (def: bounded_size (Random Nat) @@ -69,7 +69,7 @@ [parameter random.nat subject random.nat] (let [lifted (/.lifted io.monad) - (^open "io\.") io.monad + (^open "io\[0]") io.monad expected (n.+ parameter subject)] (_.cover [/.with /.lifted] (|> (io.run! (do (/.with io.monad) @@ -87,7 +87,7 @@ Test (do [! random.monad] [size ..bounded_size - .let [(^open "/\.") (/.equivalence n.equivalence)] + .let [(^open "/\[0]") (/.equivalence n.equivalence)] sample (\ ! each set.list (random.set n.hash size random.nat))] ($_ _.and (_.cover [/.size] @@ -129,8 +129,8 @@ (def: indices Test - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.functor] + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.functor] (do [! random.monad] [sample ..random .let [size (/.size sample)]] @@ -178,8 +178,8 @@ (def: slice Test - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.monoid] + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.monoid] (do [! random.monad] [sample (random.only (|>> /.size (n.> 0)) ..random) @@ -227,7 +227,7 @@ (def: member Test - (let [(^open "/\.") (/.equivalence n.equivalence)] + (let [(^open "/\[0]") (/.equivalence n.equivalence)] (do [! random.monad] [sample ..random] (`` ($_ _.and @@ -265,9 +265,9 @@ (def: grouping Test - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.functor - (^open "/\.") /.monoid + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.functor + (^open "/\[0]") /.monoid +/2 (: (-> Nat Nat Nat) (function (_ left right) @@ -350,7 +350,7 @@ (def: search Test - (let [(^open "/\.") /.functor + (let [(^open "/\[0]") /.functor choose (: (-> Nat (Maybe Text)) (function (_ value) @@ -393,8 +393,8 @@ Test (<| (_.covering /._) (_.for [.List]) - (let [(^open "/\.") (/.equivalence n.equivalence) - (^open "/\.") /.functor] + (let [(^open "/\[0]") (/.equivalence n.equivalence) + (^open "/\[0]") /.functor] (do [! random.monad] [sample ..random separator random.nat] @@ -429,7 +429,7 @@ (/.mixes n.+ 0 sample))) (do random.monad [expected random.nat - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] (_.cover [/.when] (and (/\= (list expected) (/.when true (list expected))) (/\= (list) (/.when false (list expected)))))) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 7a24ad89d..117617468 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" functor {"+" [Injection]}]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list ("#\." monoid)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" monoid)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: injection (Injection /.Queue) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 2f61d3e57..0ce7111f6 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -3,17 +3,17 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 af3acdb18..fa4f7271f 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -5,26 +5,26 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." monoid] - ["$." mix] - ["$." functor {"+" [Injection]}] - ["$." apply] - ["$." monad]]] + ["$[0]" equivalence] + ["$[0]" monoid] + ["$[0]" mix] + ["$[0]" functor {"+" [Injection]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." try {"+" [Try]}] - ["." exception]] + ["[0]" try {"+" [Try]}] + ["[0]" exception]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list ("#\." mix)] - ["." set]]] + ["[0]" list ("[1]\[0]" mix)] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." / ("#\." monad)]]) + ["[0]" / ("[1]\[0]" monad)]]) (def: signatures Test @@ -51,7 +51,7 @@ [size (\ ! each (n.% 100) random.nat) sample (random.set n.hash size random.nat) .let [sample (|> sample set.list /.of_list)] - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] ($_ _.and (_.cover [/.size] (n.= size (/.size sample))) @@ -145,7 +145,7 @@ non_member (random.only (|>> (set.member? sample) not) random.nat) .let [sample (|> sample set.list /.of_list)] - .let [(^open "/\.") (/.equivalence n.equivalence)]] + .let [(^open "/\[0]") (/.equivalence n.equivalence)]] ($_ _.and (do ! [value/0 random.nat diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index cd5427b16..0d772e7dd 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}] [equivalence {"+" [Equivalence]}] - ["." enum] + ["[0]" enum] [\\specification - ["$." functor] - ["$." comonad]]] + ["$[0]" functor] + ["$[0]" comonad]]] [data - ["." text + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (implementation: (equivalence super) (All (_ a) (-> (Equivalence a) (Equivalence (/.Sequence a)))) @@ -42,7 +42,7 @@ Test (<| (_.covering /._) (_.for [/.Sequence]) - (let [(^open "list\.") (list.equivalence n.equivalence)]) + (let [(^open "list\[0]") (list.equivalence n.equivalence)]) (do [! random.monad] [repeated random.nat index (\ ! each (n.% 100) random.nat) @@ -103,8 +103,8 @@ (n.= (++ (n.* 2 offset)) (/.item offset odds))))) (_.cover [/.iterations] - (let [(^open "/\.") /.functor - (^open "list\.") (list.equivalence text.equivalence)] + (let [(^open "/\[0]") /.functor + (^open "list\[0]") (list.equivalence text.equivalence)] (list\= (/.first size (/\each %.nat (..iterations ++ offset))) (/.first size diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index ec572c03c..3745cf845 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -6,19 +6,19 @@ [hash {"+" [Hash]}] [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / ("\." equivalence)]]) + ["[0]" / ("\[0]" equivalence)]]) (def: gen_nat (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index c1a5d6fa5..2b614a1a4 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -5,21 +5,21 @@ [abstract [hash {"+" [Hash]}] [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" hash]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set] - ["." list ("#\." mix)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: count (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index c2133dd11..b89bad1bb 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -6,18 +6,18 @@ [monad {"+" [do]}] [order {"+" [Order]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / {"+" [Set]} - ["." //]]]) + ["[0]" / {"+" [Set]} + ["[0]" //]]]) (def: size (random.Random Nat) @@ -48,7 +48,7 @@ random.nat) .let [listL (//.list usetL)] listR (|> (random.set n.hash sizeR random.nat) (\ ! each //.list)) - .let [(^open "/\.") /.equivalence + .let [(^open "/\[0]") /.equivalence setL (/.of_list n.order listL) setR (/.of_list n.order listR) empty (/.empty n.order)]] diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 4fca1cb85..eb05c1e67 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor {"+" [Injection]}]]] + ["$[0]" equivalence] + ["$[0]" functor {"+" [Injection]}]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (injection value) (Injection /.Stack) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 0aba27125..38320588c 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -3,21 +3,21 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." mix] - ["$." functor]]] + ["$[0]" equivalence] + ["$[0]" mix] + ["$[0]" functor]]] [data - ["." product] + ["[0]" product] [collection - ["." list ("#\." functor mix)]]] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 09c9af569..a929dbaa5 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." text ("#\." equivalence monoid)] + ["[0]" text ("[1]\[0]" equivalence monoid)] [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [type {"+" [:by_example]}]]] [\\library - ["." /]]) + ["[0]" /]]) (def: builder (/.builder text.monoid)) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 9f780415c..f9308d080 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -5,24 +5,24 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." functor] - ["$." comonad]]] + ["$[0]" equivalence] + ["$[0]" functor] + ["$[0]" comonad]]] [control pipe - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." product] - ["." text] + ["[0]" product] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] - ["." //] + ["[0]" //] [\\library - ["." / {"+" [Zipper]} + ["[0]" / {"+" [Zipper]} ["tree" //]]]) (def: move @@ -159,8 +159,8 @@ [[size sample] (//.tree random.nat) expected random.nat dummy (random.only (|>> (n.= expected) not) random.nat) - .let [(^open "tree\.") (tree.equivalence n.equivalence) - (^open "list\.") (list.equivalence n.equivalence)]] + .let [(^open "tree\[0]") (tree.equivalence n.equivalence) + (^open "list\[0]") (list.equivalence n.equivalence)]] ($_ _.and (_.for [/.equivalence] ($equivalence.spec (/.equivalence n.equivalence) (\ ! each (|>> product.right /.zipper) (//.tree random.nat)))) diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 0628543f6..5069ab31f 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [data [collection - ["." list]]] + ["[0]" list]]] [macro - ["." template]] - ["." math - ["." random {"+" [Random]}] + ["[0]" template]] + ["[0]" math + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." int] + ["[0]" int] ["f" frac] ["r" rev]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Color) @@ -195,7 +195,7 @@ (..encoding expected) (_.cover [/.complement] (let [~expected (/.complement expected) - (^open "/\.") /.equivalence] + (^open "/\[0]") /.equivalence] (and (not (/\= expected ~expected)) (/\= expected (/.complement ~expected))))) (_.cover [/.black /.white] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index c907a5cae..38b2b730f 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -6,17 +6,17 @@ [monad {"+" [do]}]] [data [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / - ["/#" //]]]) + ["[0]" / + ["/[1]" //]]]) (with_expansions [<colors> (as_is [letter/a [/.alice_blue diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 6b0242605..f2ace808f 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -6,13 +6,13 @@ [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [data - ["." binary ("#\." equivalence)]] + ["[0]" binary ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (implementation: equivalence (Equivalence /.Specification) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 6f9722350..82faaba7f 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -2,34 +2,34 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control - ["." try ("#\." functor)]] + ["[0]" try ("[1]\[0]" functor)]] [data - ["." product] - ["." bit] - ["." text + ["[0]" product] + ["[0]" bit] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." row] - ["." dictionary] - ["." set] - ["." list ("#\." functor)]]] + ["[0]" row] + ["[0]" dictionary] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." frac]]] - ["." macro - ["." syntax {"+" [syntax:]}] - ["." code]]]] + ["[0]" frac]]] + ["[0]" macro + ["[0]" syntax {"+" [syntax:]}] + ["[0]" code]]]] [\\library - ["." / {"+" [JSON]} ("\." 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 5c0fe2659..d595955b1 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -5,36 +5,36 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try] - ["." exception] + ["[0]" maybe] + ["[0]" try] + ["[0]" exception] ["<>" parser ["<b>" binary]]] [data - ["." product] - ["." binary ("#\." equivalence monoid)] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" binary ("[1]\[0]" equivalence monoid)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}] [encoding - ["." utf8]] - ["." unicode "_" - ["#" set] - ["#/." block]]] + ["[0]" utf8]] + ["[0]" unicode "_" + ["[1]" set] + ["[1]/[0]" block]]] [collection - ["." row] - ["." list ("#\." mix)]] - ["." format "_" - ["#" binary]]] + ["[0]" row] + ["[0]" list ("[1]\[0]" mix)]] + ["[0]" format "_" + ["[1]" binary]]] [time - ["." instant {"+" [Instant]}] - ["." duration]] + ["[0]" instant {"+" [Instant]}] + ["[0]" duration]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: path Test diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index b81ea46ff..27f2e76a5 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -5,27 +5,27 @@ [abstract [monad {"+" [Monad do]}] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control pipe - ["." maybe] - ["." try] + ["[0]" maybe] + ["[0]" try] ["p" parser ["</>" xml]]] [data - ["." name] - ["." text ("#\." equivalence) + ["[0]" name] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." dictionary] - ["." list ("#\." functor)]]] + ["[0]" dictionary] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / {"+" [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 39b385da3..584f7f5e0 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -5,12 +5,12 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad] - ["$." comonad]]]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad] + ["$[0]" comonad]]]]] [\\library - ["." / {"+" [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 b772c8e5d..ca5201761 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" codec]]] [control pipe] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (random module_size short_size) (-> Nat Nat (Random Name)) @@ -49,7 +49,7 @@ ($order.spec /.order (..random sizeM1 sizeS1))) (_.for [/.codec] (_.and ($codec.spec /.equivalence /.codec (..random sizeM1 sizeS1)) - (let [(^open "/\.") /.codec] + (let [(^open "/\[0]") /.codec] (_.test "Encoding an name without a module component results in text equal to the short of the name." (if (text.empty? module1) (text\= short1 (/\encoded name1)) @@ -59,7 +59,7 @@ (and (same? module1 (/.module name1)) (same? short1 (/.short name1)))) (_.for [.name_of] - (let [(^open "/\.") /.equivalence] + (let [(^open "/\[0]") /.equivalence] ($_ _.and (_.test "Can obtain Name from identifier." (and (/\= [.prelude_module "yolo"] (.name_of .yolo)) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 636ac785a..38b0dad48 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index d0be3fd0e..c0fae2333 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control pipe] [data - ["." text] + ["[0]" text] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index b5d8b740e..ea5bfce13 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -5,31 +5,31 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" monoid]]] [control pipe - ["." maybe]] + ["[0]" maybe]] [data [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] - ["." / "_" - ["#." buffer] - ["#." encoding] - ["#." format] - ["#." regex] - ["#." escape] - ["#." unicode "_" - ["#" set]]] + ["[0]" / "_" + ["[1][0]" buffer] + ["[1][0]" encoding] + ["[1][0]" format] + ["[1][0]" regex] + ["[1][0]" escape] + ["[1][0]" unicode "_" + ["[1]" set]]] [\\library - ["." /]]) + ["[0]" /]]) (def: bounded_size (random.Random Nat) @@ -286,7 +286,7 @@ sampleR (random.unicode sizeR) middle (random.unicode 1) .let [sample (/.together (list sampleL sampleR)) - (^open "/\.") /.equivalence]] + (^open "/\[0]") /.equivalence]] ($_ _.and (_.cover [/.split_at] (|> (/.split_at sizeL sample) @@ -325,7 +325,7 @@ parts (random.list sizeL part_gen) .let [sample1 (/.together (list.interposed sep1 parts)) sample2 (/.together (list.interposed sep2 parts)) - (^open "/\.") /.equivalence]] + (^open "/\[0]") /.equivalence]] (_.cover [/.replaced] (/\= sample2 (/.replaced sep1 sep2 sample1)))) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index ad98c2f75..72a9c7912 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: part (Random Text) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 927375cb3..fab8f3c06 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." codec]]] + ["$[0]" codec]]] [control - ["." maybe] - ["." try]] + ["[0]" maybe] + ["[0]" try]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list ("#\." mix)] - ["." set]]] + ["[0]" list ("[1]\[0]" mix)] + ["[0]" set]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["." / "_" - ["#." utf8]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" utf8]]) (with_expansions [<encodings> (as_is [all/a [/.ascii]] diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index b046a0dff..aa9b9f93b 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -4,13 +4,13 @@ ["_" test {"+" [Test]}] [abstract [\\specification - ["$." codec]]] + ["$[0]" codec]]] [data - ["." text]] + ["[0]" text]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 4f1b8ed75..43242b1cf 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -2,34 +2,34 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." debug] - ["." meta] + ["[0]" debug] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." bit ("#\." equivalence)] - ["." text {"+" [Char]} ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text {"+" [Char]} ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." set {"+" [Set]}]]] + ["[0]" set {"+" [Set]}]]] [macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]] + ["[0]" code] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number {"+" [hex]} ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// - ["." unicode "_" - ["#" set]]]]]) + ["[0]" unicode "_" + ["[1]" set]]]]]) (def: (range max min) (-> Char Char (Random Char)) diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index e5f13ad69..141705e33 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -7,50 +7,50 @@ [equivalence {"+" [Equivalence]}] [functor [\\specification - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [control - ["." try]] + ["[0]" try]] [data - ["." text ("#\." equivalence)] - ["." bit] - ["." name] + ["[0]" text ("[1]\[0]" equivalence)] + ["[0]" bit] + ["[0]" name] [format - ["." xml] - ["." json]] + ["[0]" xml] + ["[0]" json]] [collection - ["." list ("#\." functor)]]] - ["." time - ["." day] - ["." month] - ["." instant] - ["." duration] - ["." date]] + ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" time + ["[0]" day] + ["[0]" month] + ["[0]" instant] + ["[0]" duration] + ["[0]" date]] [math - ["." random {"+" [Random]} ("#\." monad)] - ["." modulus] - ["." modular] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] + ["[0]" modulus] + ["[0]" modular] [number - ["." nat] - ["." int] - ["." rev] - ["." frac] - ["." ratio]]] + ["[0]" nat] + ["[0]" int] + ["[0]" rev] + ["[0]" frac] + ["[0]" ratio]]] [macro - ["." code]] + ["[0]" code]] [meta - ["." location]] - ["." type]]] - ["$." /// "_" + ["[0]" location]] + ["[0]" type]]] + ["$[0]" /// "_" [format - ["#." xml] - ["#." json]] - ["#." name] + ["[1][0]" xml] + ["[1][0]" json]] + ["[1][0]" name] [// - ["#." type] + ["[1][0]" type] [macro - ["#." code]]]] + ["[1][0]" code]]]] [\\library - ["." /]]) + ["[0]" /]]) (implementation: (equivalence example) (All (_ a) (-> a (Equivalence (/.Format a)))) diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 26ce416ff..b77909f5a 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -6,21 +6,21 @@ [monad {"+" [do]}]] [control pipe - ["." try] + ["[0]" try] [parser - ["<.>" text {"+" [Parser]}] - ["<.>" code]]] + ["<[0]>" text {"+" [Parser]}] + ["<[0]>" code]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] - ["." macro + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math [number {"+" [hex]}] - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (should_pass regex input) (-> (Parser Text) Text Bit) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index d127651e7..e0325be7b 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [data - ["." text] + ["[0]" text] [collection - ["." set] - ["." list]]] + ["[0]" set] + ["[0]" list]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number {"+" [hex]} ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Block) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index ef5b66720..ae3fbed65 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." product] - ["." bit ("#\." equivalence)] + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." set ("#\." equivalence)]]] + ["[0]" set ("[1]\[0]" equivalence)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] - ["." / "_" - ["/#" // "_" - ["#." block]]] + ["[0]" / "_" + ["/[1]" // "_" + ["[1][0]" block]]] [\\library - ["." / + ["[0]" / [// - ["." block]]]]) + ["[0]" block]]]]) (def: .public random (Random /.Set) diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index a8ecab6c1..5eb6e8e69 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -6,23 +6,23 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] - ["." exception] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor)]] + ["[0]" list ("[1]\[0]" functor)]] [format [json {"+" [JSON]}] [xml {"+" [XML]}]]] - ["." macro + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number [ratio {"+" [Ratio]}]]] [time {"+" [Time]} @@ -32,21 +32,21 @@ [month {"+" [Month]}] [day {"+" [Day]}]]]] [\\library - ["." /]] - ["$." // "_" - ["#." type] + ["[0]" /]] + ["$[0]" // "_" + ["[1][0]" type] [data - ["#." name] + ["[1][0]" name] [format - ["#." json] - ["#." xml]]] + ["[1][0]" json] + ["[1][0]" xml]]] [macro - ["#." code]] + ["[1][0]" code]] [math [number - ["#." ratio]]] + ["[1][0]" ratio]]] [meta - ["#." location]]]) + ["[1][0]" location]]]) (def: can_represent_simple_types (Random Bit) diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index 9a266e2d7..0fd8ffff1 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -2,23 +2,23 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format]] [format ["md" markdown]]] - ["." macro + ["[0]" macro [syntax {"+" [syntax:]}] - ["." template] - ["." code]]]] + ["[0]" template] + ["[0]" code]]]] [\\library - ["." /]]) + ["[0]" /]]) (syntax: (macro_error [macro <code>.any]) (function (_ compiler) diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index 3421ba12e..983ac2c3d 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -1,48 +1,48 @@ (.module: [library [lux "*" - ["." debug] + ["[0]" debug] ["@" target - ["." jvm] - ["." js] - ["." python] - ["." lua] - ["." ruby] - ["." php] - ["." scheme]] + ["[0]" jvm] + ["[0]" js] + ["[0]" python] + ["[0]" lua] + ["[0]" ruby] + ["[0]" php] + ["[0]" scheme]] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try] + ["[0]" try] ["<>" parser - ["<.>" code] - ["<.>" analysis] - ["<.>" synthesis]]] + ["<[0]>" code] + ["<[0]>" analysis] + ["<[0]>" synthesis]]] [data - ["." product] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." row] - ["." list ("#\." functor)]]] + ["[0]" row] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]] [tool [compiler - ["." phase] + ["[0]" phase] [language [lux - ["." analysis] - ["." synthesis] - ["." directive] + ["[0]" analysis] + ["[0]" synthesis] + ["[0]" directive] [phase [analysis - ["." type]]]]]]] + ["[0]" type]]]]]]] ["_" test {"+" [Test]}]]] [\\library - ["." / {"+" [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 e193e6df8..15b278176 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -5,40 +5,40 @@ [abstract [monad {"+" [do]}]] [control - ["." try]] + ["[0]" try]] [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat] - ["." frac]]]]] + ["[0]" nat] + ["[0]" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: Uint8Array) ... On Nashorn (/.import: java/lang/String - ["#::." + ["[1]::[0]" (new [Uint8Array /.String]) (getBytes [/.String] Uint8Array)]) ... On Node (/.import: Buffer - ["#::." + ["[1]::[0]" ("static" from [/.String /.String] Buffer) (toString [/.String] /.String)]) ... On the browser (/.import: TextEncoder - ["#::." + ["[1]::[0]" (new [/.String]) (encode [/.String] Uint8Array)]) (/.import: TextDecoder - ["#::." + ["[1]::[0]" (new [/.String]) (decode [Uint8Array] /.String)]) diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 5a16902a7..606bd8a23 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -2,34 +2,34 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] - ["." meta] + ["[0]" type ("[1]\[0]" equivalence)] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." array {"+" [Array]}]]] - ["." macro + ["[0]" array {"+" [Array]}]]] + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]] + ["[0]" code] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["i" int ("#\." equivalence)] - ["f" frac ("#\." equivalence)]]]]] + ["i" int ("[1]\[0]" equivalence)] + ["f" frac ("[1]\[0]" equivalence)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: java/lang/Boolean) (/.import: java/lang/Long) @@ -39,7 +39,7 @@ (/.import: java/lang/Object) (/.import: (java/lang/Class a) - ["#::." + ["[1]::[0]" (getName [] java/lang/String)]) (template [<name> <type> <conversion> <lux> <=>] @@ -227,35 +227,35 @@ ([] actual0 [] java/lang/Long)) (/.import: test/TestInterface0 - ["#::." + ["[1]::[0]" (actual0 [] java/lang/Long)]) (/.interface: test/TestInterface1 ([] actual1 [java/lang/Boolean] java/lang/Long "throws" [java/lang/Throwable])) (/.import: test/TestInterface1 - ["#::." + ["[1]::[0]" (actual1 [java/lang/Boolean] "try" java/lang/Long)]) (/.interface: test/TestInterface2 ([a] actual2 [a] a)) (/.import: test/TestInterface2 - ["#::." + ["[1]::[0]" ([a] actual2 [a] a)]) (/.interface: (test/TestInterface3 a) ([] actual3 [] a)) (/.import: (test/TestInterface3 a) - ["#::." + ["[1]::[0]" (actual3 [] a)]) (/.interface: test/TestInterface4 ([] actual4 [long long long] long)) (/.import: test/TestInterface4 - ["#::." + ["[1]::[0]" (actual4 [long long long] long)]) (def: for_interface @@ -351,7 +351,7 @@ ::value)) (/.import: test/TestClass0 - ["#::." + ["[1]::[0]" (new [java/lang/Long])]) (/.class: "final" test/TestClass1 [test/TestInterface1] @@ -367,7 +367,7 @@ ::value))) (/.import: test/TestClass1 - ["#::." + ["[1]::[0]" (new [java/lang/Long])]) (/.class: "final" test/TestClass2 [test/TestInterface2] @@ -381,7 +381,7 @@ input)) (/.import: test/TestClass2 - ["#::." + ["[1]::[0]" (new [])]) (/.class: "final" (test/TestClass3 a) [(test/TestInterface3 a)] @@ -397,7 +397,7 @@ ::value)) (/.import: (test/TestClass3 a) - ["#::." + ["[1]::[0]" (new [a])]) (/.class: "final" test/TestClass4 [] @@ -409,7 +409,7 @@ value)) (/.import: test/TestClass4 - ["#::." + ["[1]::[0]" (new []) (actual4 [java/lang/Long] java/lang/Long)]) @@ -423,7 +423,7 @@ value)) (/.import: test/TestClass5 - ["#::." + ["[1]::[0]" ("static" actual5 [java/lang/Long] java/lang/Long)]) (/.class: "abstract" test/TestClass6 [] @@ -435,7 +435,7 @@ java/lang/Long)) (/.import: test/TestClass6 - ["#::." + ["[1]::[0]" (actual6 [java/lang/Long] java/lang/Long)]) (/.class: "final" test/TestClass7 test/TestClass6 [] @@ -449,7 +449,7 @@ input)) (/.import: test/TestClass7 - ["#::." + ["[1]::[0]" (new [])]) (/.class: "final" test/TestClass8 [test/TestInterface4] @@ -465,7 +465,7 @@ (:as Int actual_right))))) (/.import: test/TestClass8 - ["#::." + ["[1]::[0]" (new [])]) (/.class: "final" (test/TestClass9 a) [] @@ -481,7 +481,7 @@ ::value9)) (/.import: (test/TestClass9 a) - ["#::." + ["[1]::[0]" (new [a]) (set_actual9 [a] void) (get_actual9 [] a)]) @@ -597,10 +597,10 @@ (not (expands? (/.import: <class>))))) (_.cover [/.class_name_cannot_be_a_type_variable] (and (not (expands? (/.import: (java/lang/Double a) - ["#::." + ["[1]::[0]" (invalid [] (a java/lang/String))]))) (not (expands? (/.import: java/lang/Double - ["#::." + ["[1]::[0]" ([a] invalid [] (a java/lang/String))]))))) )) diff --git a/stdlib/source/test/lux/ffi.lua.lux b/stdlib/source/test/lux/ffi.lua.lux index de067a372..96e4b7ec8 100644 --- a/stdlib/source/test/lux/ffi.lua.lux +++ b/stdlib/source/test/lux/ffi.lua.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [control - ["." io]] + ["[0]" io]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: (os/getenv [/.String] "io" "?" /.String)) diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index fe1fdef65..56f97a962 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -8,29 +8,29 @@ [control [pipe {"+" [case>]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int] ["f" frac]]] - ["." type ("#\." equivalence)]]] + ["[0]" type ("[1]\[0]" equivalence)]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: java/lang/Object) (/.import: java/lang/String) (/.import: java/lang/Exception - ["#::." + ["[1]::[0]" (new [java/lang/String])]) (/.import: (java/lang/Class a) - ["#::." + ["[1]::[0]" (getName [] java/lang/String)]) (/.class: "final" (TestClass A) [] @@ -51,7 +51,7 @@ (:= ::counter (i.- ::increase ::counter)))) (/.import: (test/lux/ffi/TestClass a) - ["#::." + ["[1]::[0]" (new [java/lang/Long java/lang/Long]) (currentC [] java/lang/Long) (upC [] void) @@ -63,7 +63,7 @@ ([] down [] test/lux/ffi/TestInterface "throws" [java/lang/Exception])) (/.import: test/lux/ffi/TestInterface - ["#::." + ["[1]::[0]" (current [] java/lang/Long) (up [] java/lang/Long) (down [] java/lang/Long)]) diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index 4db2d70c0..a63bdcfea 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [control - ["." try]] + ["[0]" try]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat] - ["." frac]]]]] + ["[0]" nat] + ["[0]" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/ffi.py.lux b/stdlib/source/test/lux/ffi.py.lux index 024220863..33463f0dc 100644 --- a/stdlib/source/test/lux/ffi.py.lux +++ b/stdlib/source/test/lux/ffi.py.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}]] [math - ["." random] + ["[0]" random] [number ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: os - ["#::." + ["[1]::[0]" ("static" R_OK /.Integer) ("static" W_OK /.Integer)]) diff --git a/stdlib/source/test/lux/ffi.rb.lux b/stdlib/source/test/lux/ffi.rb.lux index 82423fe92..166733346 100644 --- a/stdlib/source/test/lux/ffi.rb.lux +++ b/stdlib/source/test/lux/ffi.rb.lux @@ -5,12 +5,12 @@ [abstract [monad {"+" [do]}]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.import: File - ["#::." + ["[1]::[0]" ("static" SEPARATOR /.String)]) (def: .public test diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index 4db2d70c0..a63bdcfea 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}]] [control - ["." try]] + ["[0]" try]] [data - ["." text ("#\." equivalence)]] + ["[0]" text ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat] - ["." frac]]]]] + ["[0]" nat] + ["[0]" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux index 3066230f4..ed9bb4970 100644 --- a/stdlib/source/test/lux/locale.lux +++ b/stdlib/source/test/lux/locale.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" hash]]] [math - ["." random {"+" [Random]} ("#\." monad)]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]] [data - ["." text ("#\." equivalence) - ["." encoding {"+" [Encoding]}]] + ["[0]" text ("[1]\[0]" equivalence) + ["[0]" encoding {"+" [Encoding]}]] [collection - ["." list]]]]] - ["." / "_" - ["#." language] - ["#." territory]] + ["[0]" list]]]]] + ["[0]" / "_" + ["[1][0]" language] + ["[1][0]" territory]] [\\library - ["." / - ["." language {"+" [Language]}] - ["." territory {"+" [Territory]}]]]) + ["[0]" / + ["[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 4abf74207..ba19738dc 100644 --- a/stdlib/source/test/lux/locale/language.lux +++ b/stdlib/source/test/lux/locale/language.lux @@ -6,22 +6,22 @@ [monad {"+" [do]}] [hash {"+" [Hash]}] [\\specification - ["$." hash]]] + ["$[0]" hash]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." text] + ["[0]" text] [collection - ["." set {"+" [Set]}] - ["." list ("#\." functor mix)]]] + ["[0]" set {"+" [Set]}] + ["[0]" list ("[1]\[0]" functor mix)]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (type: Bundle (Record diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux index 50b282e10..825d54f7e 100644 --- a/stdlib/source/test/lux/locale/territory.lux +++ b/stdlib/source/test/lux/locale/territory.lux @@ -6,22 +6,22 @@ [monad {"+" [do]}] [hash {"+" [Hash]}] [\\specification - ["$." hash]]] + ["$[0]" hash]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." text] + ["[0]" text] [collection - ["." set {"+" [Set]}] - ["." list ("#\." functor mix)]]] + ["[0]" set {"+" [Set]}] + ["[0]" list ("[1]\[0]" functor mix)]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (type: Bundle (Record diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index 96d1c2b18..f465b34a6 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -5,32 +5,32 @@ [abstract [monad {"+" [do]}]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." bit ("#\." equivalence)] - ["." name] - ["." text + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" name] + ["[0]" text ["%" format {"+" [format]}]] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat]]] - ["." meta - ["." location]]]] + ["[0]" nat]]] + ["[0]" meta + ["[0]" location]]]] [\\library - ["." / + ["[0]" / [syntax {"+" [syntax:]}] - ["." code ("#\." equivalence)] - ["." template]]] - ["." / "_" - ["#." code] - ["#." local] - ["#." syntax] - ["#." template]]) + ["[0]" code ("[1]\[0]" equivalence)] + ["[0]" template]]] + ["[0]" / "_" + ["[1][0]" code] + ["[1][0]" local] + ["[1][0]" syntax] + ["[1][0]" template]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 76af72b41..69a2f5ab0 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -5,27 +5,27 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." product] - ["." text] + ["[0]" product] + ["[0]" text] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]] [meta - ["." location]] + ["[0]" location]] [tool [compiler [language [lux - ["." syntax]]]]]]] + ["[0]" syntax]]]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: random_text (Random Text) diff --git a/stdlib/source/test/lux/macro/local.lux b/stdlib/source/test/lux/macro/local.lux index 305256e5b..1016ccdef 100644 --- a/stdlib/source/test/lux/macro/local.lux +++ b/stdlib/source/test/lux/macro/local.lux @@ -2,30 +2,30 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [data [text ["%" format]] [collection - ["." list] + ["[0]" list] [dictionary - ["." plist]]]] - ["." macro + ["[0]" plist]]]] + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (syntax: (macro_error [macro <code>.any]) (function (_ compiler) diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index 968ea1001..236a6106f 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -6,22 +6,22 @@ [monad {"+" [do]}]] [control [parser - ["<.>" code]]] + ["<[0]>" code]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]] - ["." / "_" - ["#." annotations] - ["#." check] - ["#." declaration] - ["#." definition] - ["#." export] - ["#." input] - ["#." type "_" - ["#/." variable]]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" annotations] + ["[1][0]" check] + ["[1][0]" declaration] + ["[1][0]" definition] + ["[1][0]" export] + ["[1][0]" input] + ["[1][0]" type "_" + ["[1]/[0]" variable]]]) (/.syntax: (+/3 [a <code>.any b <code>.any diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux index 34293515e..0fe02da13 100644 --- a/stdlib/source/test/lux/macro/syntax/annotations.lux +++ b/stdlib/source/test/lux/macro/syntax/annotations.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] + ["[0]" try] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["$." /// "_" - ["#." code]]) + ["[0]" /]] + ["$[0]" /// "_" + ["[1][0]" code]]) (def: .public random (Random /.Annotations) diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index 3fc41678a..8ea3f25e5 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] + ["[0]" try] ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [macro - ["." code ("#\." equivalence)]]]] + ["[0]" code ("[1]\[0]" equivalence)]]]] [\\library - ["." /]] - ["$." /// "_" - ["#." code]]) + ["[0]" /]] + ["$[0]" /// "_" + ["[1][0]" code]]) (def: .public random (Random /.Check) diff --git a/stdlib/source/test/lux/macro/syntax/declaration.lux b/stdlib/source/test/lux/macro/syntax/declaration.lux index 81d2529a5..e87028628 100644 --- a/stdlib/source/test/lux/macro/syntax/declaration.lux +++ b/stdlib/source/test/lux/macro/syntax/declaration.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] + ["[0]" try] [parser - ["<.>" code]]] + ["<[0]>" code]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Declaration) diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index f1f85adbe..d3a480dc2 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] ["<>" parser - ["<.>" code]]] + ["<[0]>" code]]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [macro - ["." code ("#\." equivalence)]] + ["[0]" code ("[1]\[0]" equivalence)]] [meta - ["." location]]]] + ["[0]" location]]]] [\\library - ["." /]] - ["$."// "_" - ["#." check] - ["#." annotations] - ["#/" // "_" - ["#." code]]]) + ["[0]" /]] + ["$[0]"// "_" + ["[1][0]" check] + ["[1][0]" annotations] + ["[1]/" // "_" + ["[1][0]" code]]]) (def: .public random (Random /.Definition) diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index 8b7c80c9a..17396ad9c 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe] - ["." try ("#\." functor)] + ["[0]" maybe] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" code]]] + ["<[0]>" code]]] [macro - ["." code ("#\." equivalence)]] + ["[0]" code ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: export (Random [(Maybe Code) Nat]) diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux index 20cca7398..0f4060cdc 100644 --- a/stdlib/source/test/lux/macro/syntax/input.lux +++ b/stdlib/source/test/lux/macro/syntax/input.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try] + ["[0]" try] [parser - ["<.>" code]]] + ["<[0]>" code]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["$." /// "_" - ["#." code]]) + ["[0]" /]] + ["$[0]" /// "_" + ["[1][0]" code]]) (def: .public random (Random /.Input) diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index 0a7b1586f..f08398725 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." try ("#\." functor)] + ["[0]" try ("[1]\[0]" functor)] [parser - ["<.>" code]]] + ["<[0]>" code]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Variable) diff --git a/stdlib/source/test/lux/macro/template.lux b/stdlib/source/test/lux/macro/template.lux index e86b8a702..8a79d62a5 100644 --- a/stdlib/source/test/lux/macro/template.lux +++ b/stdlib/source/test/lux/macro/template.lux @@ -5,22 +5,22 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data [collection - ["." list]]] - ["." macro + ["[0]" list]]] + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat]]]]] + ["[0]" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.let [(!pow/2 <scalar>) [(nat.* <scalar> <scalar>)]] diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index b83d89d4e..02eac6b3e 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int] ["f" frac]]]]] [\\library - ["." /]] - ["." / "_" - ["#." infix] - ["#." modulus] - ["#." modular] - ["#." number] - ["#." logic "_" - ["#/." continuous] - ["#/." fuzzy]]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" infix] + ["[1][0]" modulus] + ["[1][0]" modular] + ["[1][0]" number] + ["[1][0]" logic "_" + ["[1]/[0]" continuous] + ["[1]/[0]" fuzzy]]]) (def: margin_of_error +0.0000001) diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index a0c7b0088..158135874 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["f" frac]]]]] [\\library - ["." / - ["." //]]]) + ["[0]" / + ["[0]" //]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/math/logic/continuous.lux b/stdlib/source/test/lux/math/logic/continuous.lux index 667039e0e..e741a4411 100644 --- a/stdlib/source/test/lux/math/logic/continuous.lux +++ b/stdlib/source/test/lux/math/logic/continuous.lux @@ -5,13 +5,13 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." monoid]]] + ["$[0]" monoid]]] [math - ["." random] + ["[0]" random] [number ["r" rev]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index 1fbf47636..d7e6d1000 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -7,21 +7,21 @@ [monad {"+" [do]}] [\\specification [functor - ["$." contravariant]]]] + ["$[0]" contravariant]]]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["r" rev]]]]] [\\library - ["." / {"+" [Fuzzy]} - ["/#" // "_" - ["#" continuous]]]]) + ["[0]" / {"+" [Fuzzy]} + ["/[1]" // "_" + ["[1]" continuous]]]]) (def: trivial Test diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index db6e4cbc2..0cb8a6456 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -2,31 +2,31 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] + ["[0]" type ("[1]\[0]" equivalence)] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence] - ["$." order] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" monoid] + ["$[0]" codec]]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." product] - ["." bit ("#\." equivalence)]] + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["i" int]]]]] - ["$." // "_" - ["#" modulus]] + ["$[0]" // "_" + ["[1]" modulus]] [\\library - ["." / - ["/#" // "_" - ["#" modulus]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1]" modulus]]]]) (def: .public (random modulus) (All (_ %) (-> (//.Modulus %) (Random (/.Mod %)))) diff --git a/stdlib/source/test/lux/math/modulus.lux b/stdlib/source/test/lux/math/modulus.lux index dfd4c25bd..74a61ff8c 100644 --- a/stdlib/source/test/lux/math/modulus.lux +++ b/stdlib/source/test/lux/math/modulus.lux @@ -2,21 +2,21 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["i" int]]] [macro [syntax {"+" [syntax:]}] - ["." code]]]] + ["[0]" code]]]] [\\library - ["." /]]) + ["[0]" /]]) (syntax: (|divisor| []) (do meta.monad diff --git a/stdlib/source/test/lux/math/number.lux b/stdlib/source/test/lux/math/number.lux index 432b2c10e..861a8bfdb 100644 --- a/stdlib/source/test/lux/math/number.lux +++ b/stdlib/source/test/lux/math/number.lux @@ -3,26 +3,26 @@ [lux "*" ["_" test {"+" [Test]}] [control - ["." try]] + ["[0]" try]] [data - ["." text]]]] + ["[0]" text]]]] [\\library - ["." / + ["[0]" / ["n" nat] ["i" int] ["r" rev] ["f" frac]]] - ["." / "_" - ["#." i8] - ["#." i16] - ["#." i32] - ["#." i64] - ["#." nat] - ["#." int] - ["#." rev] - ["#." frac] - ["#." ratio] - ["#." complex]]) + ["[0]" / "_" + ["[1][0]" i8] + ["[1][0]" i16] + ["[1][0]" i32] + ["[1][0]" i64] + ["[1][0]" nat] + ["[1][0]" int] + ["[1][0]" rev] + ["[1][0]" frac] + ["[1][0]" ratio] + ["[1][0]" complex]]) (def: clean_commas (-> Text Text) diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index 94a903f79..9e002f43a 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -6,20 +6,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" codec]]] [data [collection - ["." list ("#\." functor)]]] - ["." math - ["." random {"+" [Random]}]]]] + ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" math + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / + ["[0]" / [// ["n" nat] ["f" frac] - ["." int]]]]) + ["[0]" int]]]]) ... This margin of error is necessary because floating-point arithmetic is not exact. (def: margin_of_error diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index baedf891a..df89b033a 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -3,26 +3,26 @@ [lux "*" ["_" test {"+" [Test]}] ["@" target] - ["." ffi] + ["[0]" ffi] [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" monoid] + ["$[0]" codec]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / + ["[0]" / [// "*" ["n" nat] ["i" int] ["r" rev] - ["." i64]]]]) + ["[0]" i64]]]]) (def: random (Random Frac) @@ -119,7 +119,7 @@ ))) (with_expansions [<jvm> (as_is (ffi.import: java/lang/Double - ["#::." + ["[1]::[0]" ("static" doubleToRawLongBits [double] long) ("static" longBitsToDouble [long] double)]))] (for {@.old (as_is <jvm>) diff --git a/stdlib/source/test/lux/math/number/i16.lux b/stdlib/source/test/lux/math/number/i16.lux index 6f35f015c..bd767dcc5 100644 --- a/stdlib/source/test/lux/math/number/i16.lux +++ b/stdlib/source/test/lux/math/number/i16.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / - ["/#" // "_" + ["[0]" / + ["/[1]" // "_" ["i" int] - ["#." i64]]]]) + ["[1][0]" i64]]]]) (def: .public random (Random /.I16) diff --git a/stdlib/source/test/lux/math/number/i32.lux b/stdlib/source/test/lux/math/number/i32.lux index 0548c3c86..b9af4c673 100644 --- a/stdlib/source/test/lux/math/number/i32.lux +++ b/stdlib/source/test/lux/math/number/i32.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / - ["/#" // "_" + ["[0]" / + ["/[1]" // "_" ["i" int] - ["#." i64]]]]) + ["[1][0]" i64]]]]) (def: .public random (Random /.I32) diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index 3a32cdd3b..fd8d55789 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -3,17 +3,17 @@ [lux "*" ["_" test {"+" [Test]}] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." monoid]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" monoid]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / ("\." equivalence) + ["[0]" / ("\[0]" equivalence) [// {"+" [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 8eb7517f1..f56137631 100644 --- a/stdlib/source/test/lux/math/number/i8.lux +++ b/stdlib/source/test/lux/math/number/i8.lux @@ -5,14 +5,14 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / - ["/#" // "_" + ["[0]" / + ["/[1]" // "_" ["i" int] - ["#." i64]]]]) + ["[1][0]" i64]]]]) (def: .public random (Random /.I8) diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 3313c5c0a..6cb8f0bfc 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" interval] + ["$[0]" monoid] + ["$[0]" codec]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / + ["[0]" / [// ["n" nat] ["f" frac] - ["." i64]]]]) + ["[0]" i64]]]]) (def: signature Test diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 2084821f7..2acfa18f1 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -5,19 +5,19 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" interval] + ["$[0]" monoid] + ["$[0]" codec]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." / + ["[0]" / [// ["f" frac]]]]) diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index d7510c97a..332345387 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" monoid] + ["$[0]" codec]]] [control - ["." maybe ("#\." functor)]] + ["[0]" maybe ("[1]\[0]" functor)]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / + ["[0]" / [// - ["n" nat ("#\." equivalence)]]]]) + ["n" nat ("[1]\[0]" equivalence)]]]]) (def: part (Random Nat) @@ -54,7 +54,7 @@ ($codec.spec /.equivalence /.codec ..random)) (do random.monad - [.let [(^open "\.") /.equivalence] + [.let [(^open "\[0]") /.equivalence] denom/0 ..part denom/1 ..part] (_.cover [/.ratio] diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index bb379d597..a15b3f3f5 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -5,23 +5,23 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." interval] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" interval] + ["$[0]" monoid] + ["$[0]" codec]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." / + ["[0]" / [// {"+" [hex]} ["n" nat] ["f" frac] - ["." i64 ("#\." hash)]]]]) + ["[0]" i64 ("[1]\[0]" hash)]]]]) (def: signature Test diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 5dac54f18..eaa0ff4d6 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -2,37 +2,37 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] + ["[0]" type ("[1]\[0]" equivalence)] [abstract [equivalence {"+" [Equivalence]}] [monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control - ["." maybe] - ["." try {"+" [Try]} ("#\." functor)]] + ["[0]" maybe] + ["[0]" try {"+" [Try]} ("[1]\[0]" functor)]] [data - ["." product] - ["." bit ("#\." equivalence)] - ["." name ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" product] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" name ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor monoid)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor monoid)] + ["[0]" set]]] [meta - ["." location]] + ["[0]" location]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]] - ["." / "_" - ["#." annotation] - ["#." location]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" annotation] + ["[1][0]" location]]) (template: (!expect <pattern> <value>) [(case <value> diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux index 362fe1102..350d3656e 100644 --- a/stdlib/source/test/lux/meta/annotation.lux +++ b/stdlib/source/test/lux/meta/annotation.lux @@ -5,28 +5,28 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." product] - ["." bit] - ["." name ("#\." equivalence)] - ["." text] + ["[0]" product] + ["[0]" bit] + ["[0]" name ("[1]\[0]" equivalence)] + ["[0]" text] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [macro - ["." code ("#\." equivalence)]] + ["[0]" code ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat] - ["." int] - ["." rev] - ["." frac]]]]] + ["[0]" nat] + ["[0]" int] + ["[0]" rev] + ["[0]" frac]]]]] [/// [macro - ["_." code]]] + ["_[0]" code]]] [\\library - ["." /]]) + ["[0]" /]]) (def: random_key (Random Name) diff --git a/stdlib/source/test/lux/meta/location.lux b/stdlib/source/test/lux/meta/location.lux index 729ae2ec3..a01518d3b 100644 --- a/stdlib/source/test/lux/meta/location.lux +++ b/stdlib/source/test/lux/meta/location.lux @@ -5,16 +5,16 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." text]] + ["[0]" text]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." /]] - ["$." /// "_" + ["[0]" /]] + ["$[0]" /// "_" [macro - ["#." code]]]) + ["[1][0]" code]]]) (def: .public random (Random Location) diff --git a/stdlib/source/test/lux/program.lux b/stdlib/source/test/lux/program.lux index 3f813b6ce..6dc3667c2 100644 --- a/stdlib/source/test/lux/program.lux +++ b/stdlib/source/test/lux/program.lux @@ -5,21 +5,21 @@ [abstract [monad {"+" [do]}]] [control - ["." io] - ["." try] + ["[0]" io] + ["[0]" try] ["<>" parser - ["<.>" code] - ["<.>" cli]]] + ["<[0]>" code] + ["<[0]>" cli]]] [data - ["." text] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [macro [syntax {"+" [syntax:]}]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]]) + ["[0]" /]]) (syntax: (actual_program [actual_program (<| <code>.form (<>.after (<code>.text! "lux def program")) @@ -32,7 +32,7 @@ (do random.monad [inputs (random.list 5 (random.ascii/upper 5))] (_.cover [/.program:] - (let [(^open "list\.") (list.equivalence text.equivalence)] + (let [(^open "list\[0]") (list.equivalence text.equivalence)] (and (with_expansions [<program> (/.program: all_arguments (io.io all_arguments))] (let [outcome ((: (-> (List Text) (io.IO Any)) diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index 059cbebc6..cc63a2913 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -3,21 +3,21 @@ [lux "*" ["_" test {"+" [Test]}] ["@" target] - ["." meta] + ["[0]" meta] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [macro - ["." code]] + ["[0]" code]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int] ["r" rev] ["f" frac]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/target.lux b/stdlib/source/test/lux/target.lux index 2ff923b9e..b031ba476 100644 --- a/stdlib/source/test/lux/target.lux +++ b/stdlib/source/test/lux/target.lux @@ -3,15 +3,15 @@ [lux "*" ["_" test {"+" [Test]}] [data - ["." text] + ["[0]" text] [collection - ["." list] - ["." set {"+" [Set]}]]] + ["[0]" list] + ["[0]" set {"+" [Set]}]]] [math [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (with_expansions [<targets> (as_is /.old /.js diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 82ae1e665..190c2f65e 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -1,58 +1,58 @@ (.module: [library [lux {"-" [Type Label type primitive int]} - ["." ffi {"+" [import:]}] + ["[0]" ffi {"+" [import:]}] ["@" target] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." function] - ["." io] - ["." maybe] - ["." try] + ["[0]" function] + ["[0]" io] + ["[0]" maybe] + ["[0]" try] [concurrency - ["." atom]]] + ["[0]" atom]]] [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] - ["." format "_" - ["#" binary]] + ["[0]" format "_" + ["[1]" binary]] [collection - ["." array] - ["." dictionary] - ["." row] - ["." set] - ["." list ("#\." functor)]]] + ["[0]" array] + ["[0]" dictionary] + ["[0]" row] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat] ["i" int] ["f" frac] - ["." i32 {"+" [I32]}] - ["." i64]]] + ["[0]" i32 {"+" [I32]}] + ["[0]" i64]]] ["_" test {"+" [Test]}]]] [\\library - ["." / "_" - ["#." loader {"+" [Library]}] - ["#." version] - ["#." modifier ("#\." monoid)] - ["#." field] - ["#." method {"+" [Method]}] - ["#." class] - ["#." attribute - ["#/." code]] - ["#." constant - ["#/." pool {"+" [Resource]}]] + ["[0]" / "_" + ["[1][0]" loader {"+" [Library]}] + ["[1][0]" version] + ["[1][0]" modifier ("[1]\[0]" monoid)] + ["[1][0]" field] + ["[1][0]" method {"+" [Method]}] + ["[1][0]" class] + ["[1][0]" attribute + ["[1]/[0]" code]] + ["[1][0]" constant + ["[1]/[0]" pool {"+" [Resource]}]] [encoding - ["#." name] - ["#." signed] - ["#." unsigned]] - ["#" bytecode {"+" [Label Bytecode]} - ["#." instruction]] - ["#." type {"+" [Type]} - ["." category {"+" [Value Object Class]}]]]]) + ["[1][0]" name] + ["[1][0]" signed] + ["[1][0]" unsigned]] + ["[1]" bytecode {"+" [Label Bytecode]} + ["[1][0]" instruction]] + ["[1][0]" type {"+" [Type]} + ["[0]" category {"+" [Value Object Class]}]]]]) (def: method_modifier ($_ /modifier\composite @@ -66,21 +66,21 @@ (import: java/lang/Long) (import: java/lang/Float) (import: java/lang/Double - ["#::." + ["[1]::[0]" ("static" compare [double double] int)]) (import: java/lang/Character) (import: java/lang/String) (import: java/lang/reflect/Method - ["#::." + ["[1]::[0]" (invoke [java/lang/Object [java/lang/Object]] "try" java/lang/Object)]) (import: (java/lang/Class c) - ["#::." + ["[1]::[0]" (getDeclaredMethod [java/lang/String [(java/lang/Class [? < java/lang/Object])]] java/lang/reflect/Method)]) (import: java/lang/Object - ["#::." + ["[1]::[0]" (getClass [] (java/lang/Class java/lang/Object)) (toString [] java/lang/String)]) diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index f4f9477eb..60176aadc 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -4,22 +4,22 @@ [abstract [monad {"+" [do]}]] [control - ["." io] - ["." exception] + ["[0]" io] + ["[0]" exception] [concurrency - ["." async] - ["." atom {"+" [Atom]}]]] + ["[0]" async] + ["[0]" atom {"+" [Atom]}]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: (verify expected_message/0 expected_message/1 successes failures [tally message]) (-> Text Text Nat Nat [/.Tally Text] Bit) diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index 70e3204e6..178818c3e 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -5,33 +5,33 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" codec]]] [control [pipe {"+" [case>]}] - ["." try ("#\." functor)] - ["." exception] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [parser - ["<.>" text]]] + ["<[0]>" text]]] [data - ["." text + ["[0]" text ["%" format {"+" [format]}]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] - ["." / "_" - ["#." date] - ["#." day] - ["#." duration] - ["#." instant] - ["#." month] - ["#." year]] + ["[0]" / "_" + ["[1][0]" date] + ["[1][0]" day] + ["[1][0]" duration] + ["[1][0]" instant] + ["[1][0]" month] + ["[1][0]" year]] [\\library - ["." / - ["." duration]]]) + ["[0]" / + ["[0]" duration]]]) (def: for_implementation Test diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index 3cf3750e7..5862b2ea5 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -5,25 +5,25 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" codec]]] [control - ["." try ("#\." functor)] - ["." exception] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception] [parser - ["<.>" text]]] + ["<[0]>" text]]] [data [text ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index eee8109ed..f1bcc932d 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -4,26 +4,26 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" codec]]] [control - ["." try ("#\." functor)] - ["." exception]] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception]] [data [collection - ["." list] - ["." set]]] + ["[0]" list] + ["[0]" set]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public random (Random /.Day) diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index f0caba5e0..da6d73296 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." monoid] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" monoid] + ["$[0]" codec]]] [data - ["." bit ("#\." equivalence)]] + ["[0]" bit ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test @@ -41,7 +41,7 @@ (_.cover [/.of_millis /.millis] (|> duration /.millis /.of_millis (\ /.equivalence = duration)))) (do random.monad - [.let [(^open "\.") /.equivalence] + [.let [(^open "\[0]") /.equivalence] expected random.duration parameter random.duration] ($_ _.and @@ -59,12 +59,12 @@ (/.neutral? (/.inverse expected))))) )) (do random.monad - [.let [(^open "\.") /.equivalence] + [.let [(^open "\[0]") /.equivalence] factor random.nat] (_.cover [/.up /.down] (|> /.milli_second (/.up factor) (/.down factor) (\= /.milli_second)))) (do [! random.monad] - [.let [(^open "\.") /.order + [.let [(^open "\[0]") /.order positive (|> random.duration (random.only (|>> (\= /.empty) not)) (\ ! each (function (_ duration) diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 1dc2583af..f25348f9a 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -5,24 +5,24 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." enum] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" codec]]] [control - ["." function] - ["." try] - ["." io]] + ["[0]" function] + ["[0]" try] + ["[0]" io]] [data [collection - ["." list ("#\." mix)]]] + ["[0]" list ("[1]\[0]" mix)]]] [math - ["." random]] + ["[0]" random]] [time - ["." duration {"+" [Duration]}] - ["." day {"+" [Day]} ("#\." enum)]]]] + ["[0]" duration {"+" [Duration]}] + ["[0]" day {"+" [Day]} ("[1]\[0]" enum)]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test @@ -39,7 +39,7 @@ ($codec.spec /.equivalence /.codec random.instant)) (do random.monad - [.let [(^open "\.") /.equivalence] + [.let [(^open "\[0]") /.equivalence] expected random.instant] ($_ _.and (_.cover [/.millis /.of_millis] @@ -52,8 +52,8 @@ (/.time expected)))) )) (do random.monad - [.let [(^open "\.") /.equivalence - (^open "duration\.") duration.equivalence] + [.let [(^open "\[0]") /.equivalence + (^open "duration\[0]") duration.equivalence] from random.instant to random.instant] ($_ _.and diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index a8d5a1125..7e4ad8433 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -4,28 +4,28 @@ ["_" test {"+" [Test]}] [abstract [monad {"+" [do]}] - ["." predicate] + ["[0]" predicate] [\\specification - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." enum] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" hash] + ["$[0]" order] + ["$[0]" enum] + ["$[0]" codec]]] [control - ["." try ("#\." functor)] - ["." exception]] + ["[0]" try ("[1]\[0]" functor)] + ["[0]" exception]] [data [collection - ["." set] - ["." list ("#\." functor mix)]]] + ["[0]" set] + ["[0]" list ("[1]\[0]" functor mix)]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// - ["." duration]]]]) + ["[0]" duration]]]]) (def: .public random (Random /.Month) diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index 0edb57701..121d74822 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -5,27 +5,27 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" codec]]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [text ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] [\\library - ["." / - ["/#" // - ["#." duration] - ["#." instant] - ["#." date]]]]) + ["[0]" / + ["/[1]" // + ["[1][0]" duration] + ["[1][0]" instant] + ["[1][0]" date]]]]) (def: .public random (Random /.Year) diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux index ef8463b1a..05a724bf8 100644 --- a/stdlib/source/test/lux/tool.lux +++ b/stdlib/source/test/lux/tool.lux @@ -2,14 +2,14 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" + ["[0]" / "_" [compiler [language [lux - ["#." syntax] + ["[1][0]" syntax] [phase - ["#." analysis] - ["#." synthesis]]]]]]) + ["[1][0]" analysis] + ["[1][0]" synthesis]]]]]]) (def: .public test Test 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 ce6f5cd65..164931430 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,16 +1,16 @@ (.module: [lux "*" ["_" test {"+" [Test]}]] - ["." / "_" - ["#." primitive] - ["#." structure] - ["#." reference] - ["#." case] - ["#." function] - ["/#" // "_" + ["[0]" / "_" + ["[1][0]" primitive] + ["[1][0]" structure] + ["[1][0]" reference] + ["[1][0]" case] + ["[1][0]" function] + ["/[1]" // "_" [extension [analysis - ["#." lux]]]]]) + ["[1][0]" lux]]]]]) (def: .public test Test 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 64aa4c58f..4f87450ba 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,42 +1,42 @@ (.module: [lux "*" [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data ["%" text/format {"+" [format]}] - ["." name]] - ["r" math/random {"+" [Random]} ("#\." monad)] + ["[0]" name]] + ["r" math/random {"+" [Random]} ("[1]\[0]" monad)] ["_" test {"+" [Test]}] [control pipe - ["." maybe]] + ["[0]" maybe]] [data - ["." product] - ["." text ("#\." equivalence)] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)] [number ["n" nat]] [collection - ["." list ("#\." monad)] - ["." set]]] - ["." type - ["." check]] + ["[0]" list ("[1]\[0]" monad)] + ["[0]" set]]] + ["[0]" type + ["[0]" check]] [macro - ["." code]]] + ["[0]" code]]] [// - ["_." primitive] - ["_." structure]] + ["_[0]" primitive] + ["_[0]" structure]] [\\ - ["." / - ["/#" // - ["#." module] - ["#." type] - ["/#" // "_" - ["/#" // - ["#." analysis {"+" [Analysis Variant Tag Operation]}] + ["[0]" / + ["/[1]" // + ["[1][0]" module] + ["[1][0]" type] + ["/[1]" // "_" + ["/[1]" // + ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}] [/// - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: (exhaustive_weaving branchings) (-> (List (List Code)) (List (List Code))) 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 229e27bee..afd5276d4 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,42 +1,42 @@ (.module: [lux "*" [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data ["%" text/format {"+" [format]}] - ["." name]] + ["[0]" name]] ["r" math/random {"+" [Random]}] ["_" test {"+" [Test]}] [control pipe - ["." maybe] - ["." try]] + ["[0]" maybe] + ["[0]" try]] [data - ["." product] - ["." text ("#\." equivalence)] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence)] [number ["n" nat]] [collection - ["." list ("#\." functor)]]] - ["." type] - ["." macro - ["." code]]] + ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" type] + ["[0]" macro + ["[0]" code]]] [// - ["_." primitive] - ["_." structure]] + ["_[0]" primitive] + ["_[0]" structure]] [\\ - ["." / - ["/#" // - ["#." module] - ["#." type] - ["/#" // "_" - ["/#" // - ["#." analysis {"+" [Analysis Operation]}] + ["[0]" / + ["/[1]" // + ["[1][0]" module] + ["[1][0]" type] + ["/[1]" // "_" + ["/[1]" // + ["[1][0]" analysis {"+" [Analysis Operation]}] [/// - ["#." reference] - ["." phase] + ["[1][0]" reference] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: (check_apply expectedT num_args analysis) (-> Type Nat (Operation Analysis) Bit) 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 82fbbc04f..da4112798 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 @@ -2,35 +2,35 @@ [lux {"-" [primitive]} ["@" target] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data ["%" text/format {"+" [format]}] - ["." name]] - ["r" math/random {"+" [Random]} ("#\." monad)] + ["[0]" name]] + ["r" math/random {"+" [Random]} ("[1]\[0]" monad)] ["_" test {"+" [Test]}] [control pipe - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}]] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}]] [macro - ["." code]]] + ["[0]" code]]] [\\ - ["." / - ["/#" // - ["#." type] - ["/#" // "_" + ["[0]" / + ["/[1]" // + ["[1][0]" type] + ["/[1]" // "_" [extension - ["." bundle] - ["#." analysis]] - ["/#" // "_" - ["." version] - ["#." analysis {"+" [Analysis Operation]} + ["[0]" bundle] + ["[1][0]" analysis]] + ["/[1]" // "_" + ["[0]" version] + ["[1][0]" analysis {"+" [Analysis Operation]} [macro {"+" [Expander]}] [evaluation {"+" [Eval]}]] [/// - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: .public (expander macro inputs state) Expander 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 d33dcef00..1d3960ab8 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,37 +1,37 @@ (.module: [lux "*" [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data - ["." name ("#\." equivalence)]] + ["[0]" name ("[1]\[0]" equivalence)]] ["r" math/random {"+" [Random]}] ["_" test {"+" [Test]}] [control pipe - ["." try {"+" [Try]}]] + ["[0]" try {"+" [Try]}]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [number ["n" nat]]] - ["." type ("#\." equivalence)] + ["[0]" type ("[1]\[0]" equivalence)] [macro - ["." code]]] + ["[0]" code]]] [// - ["_." primitive]] + ["_[0]" primitive]] [\\ - ["." / - ["/#" // - ["#." scope] - ["#." module] - ["#." type] - ["/#" // "_" - ["/#" // - ["#." analysis {"+" [Analysis Variant Tag Operation]}] + ["[0]" / + ["/[1]" // + ["[1][0]" scope] + ["[1][0]" module] + ["[1][0]" type] + ["/[1]" // "_" + ["/[1]" // + ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}] [/// - ["#." reference] - ["." phase] + ["[1][0]" reference] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (type: Check (-> (Try Any) Bit)) 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 27fc4ac73..4ad22a9fe 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,43 +1,43 @@ (.module: [lux "*" [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data ["%" text/format {"+" [format]}] - ["." name]] + ["[0]" name]] ["r" math/random {"+" [Random]}] ["_" test {"+" [Test]}] [control pipe - ["." maybe] - ["." try]] + ["[0]" maybe] + ["[0]" try]] [data - ["." bit ("#\." equivalence)] - ["." product] - ["." text] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" product] + ["[0]" text] [number ["n" nat]] [collection - ["." list ("#\." functor)] - ["." set]]] - ["." type - ["." check]] + ["[0]" list ("[1]\[0]" functor)] + ["[0]" set]]] + ["[0]" type + ["[0]" check]] [macro - ["." code]]] + ["[0]" code]]] [// - ["_." primitive]] + ["_[0]" primitive]] [\\ - ["." / - ["/#" // - ["#." module] - ["#." type] - ["/#" // "_" - ["/#" // - ["#." analysis {"+" [Analysis Variant Tag Operation]}] + ["[0]" / + ["/[1]" // + ["[1][0]" module] + ["[1][0]" type] + ["/[1]" // "_" + ["/[1]" // + ["[1][0]" analysis {"+" [Analysis Variant Tag Operation]}] [/// - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (template [<name> <on_success> <on_error>] [(def: .public <name> 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 7e1c56eb0..2528ff9c1 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,36 +1,36 @@ (.module: [lux {"-" [i64 int primitive]} [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data ["%" text/format {"+" [format]}] - ["." name]] + ["[0]" name]] ["r" math/random {"+" [Random]}] ["_" test {"+" [Test]}] [control pipe [io {"+" [IO]}] - ["." try] + ["[0]" try] [concurrency - ["." atom]]] + ["[0]" atom]]] [data - ["." product]] - ["." type ("#\." equivalence)] + ["[0]" product]] + ["[0]" type ("[1]\[0]" equivalence)] [macro - ["." code]]] + ["[0]" code]]] [//// [analysis - ["_." primitive]]] + ["_[0]" primitive]]] [\\ - ["." / - ["///#" //// "_" + ["[0]" / + ["///[1]" //// "_" [analysis - ["#." scope] - ["#." type]] + ["[1][0]" scope] + ["[1][0]" type]] [//// - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]) + ["[0]" archive]]]]]]) (template [<name> <success> <failure>] [(def: (<name> procedure params output_type) 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 da993c0fc..2c9954765 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,13 +1,13 @@ (.module: [lux "*" ["_" test {"+" [Test]}]] - ["." / "_" - ["#." primitive] - ["#." structure] - ["#." case] - ["#." function] - ["#." loop] - ["#." variable]]) + ["[0]" / "_" + ["[1][0]" primitive] + ["[1][0]" structure] + ["[1][0]" case] + ["[1][0]" function] + ["[1][0]" loop] + ["[1][0]" variable]]) (def: .public test Test 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 7b2b5de92..af22d952d 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 @@ -3,41 +3,41 @@ ["_" test {"+" [Test]}] [abstract [hash {"+" [Hash]}] - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try ("#\." functor)]] + ["[0]" try ("[1]\[0]" functor)]] [data - ["." sum] - ["." text + ["[0]" sum] + ["[0]" text ["%" format {"+" [format]}]] [number ["n" nat] - ["." int] - ["." rev] - ["." frac]] + ["[0]" int] + ["[0]" rev] + ["[0]" frac]] [collection - ["." list ("#\." functor mix monoid)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor mix monoid)] + ["[0]" set]]] [math - ["." random {"+" [Random]}]]] - ["." // "_" - ["#." primitive]] + ["[0]" random {"+" [Random]}]]] + ["[0]" // "_" + ["[1][0]" primitive]] [\\ - ["." / - ["/#" // - ["/#" // "_" + ["[0]" / + ["/[1]" // + ["/[1]" // "_" [extension - ["#." bundle]] - ["/#" // - ["." analysis {"+" [Branch Match Analysis]}] - ["." synthesis {"+" [Path Synthesis]}] + ["[1][0]" bundle]] + ["/[1]" // + ["[0]" analysis {"+" [Branch Match Analysis]}] + ["[0]" synthesis {"+" [Path Synthesis]}] [/// - ["#." reference + ["[1][0]" reference [variable {"+" [Register]}]] - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: masking_test Test 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 5cfa2b66e..8c8b6c4a5 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 @@ -2,39 +2,39 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [control - ["." try]] + ["[0]" try]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}]] [number ["n" nat]] [collection - ["." list ("#\." functor mix monoid)] - ["." dictionary {"+" [Dictionary]}] - ["." set]]] + ["[0]" list ("[1]\[0]" functor mix monoid)] + ["[0]" dictionary {"+" [Dictionary]}] + ["[0]" set]]] [math - ["." random {"+" [Random]}]]] - ["." // "_" - ["#." primitive]] + ["[0]" random {"+" [Random]}]]] + ["[0]" // "_" + ["[1][0]" primitive]] [\\ - ["." / - ["/#" // - ["/#" // "_" + ["[0]" / + ["/[1]" // + ["/[1]" // "_" [extension - ["#." bundle]] - ["/#" // - ["." analysis {"+" [Analysis]}] - ["." synthesis {"+" [Synthesis]}] + ["[1][0]" bundle]] + ["/[1]" // + ["[0]" analysis {"+" [Analysis]}] + ["[0]" synthesis {"+" [Synthesis]}] [/// [arity {"+" [Arity]}] - ["." reference - ["." variable {"+" [Variable]}]] - ["." phase] + ["[0]" reference + ["[0]" variable {"+" [Variable]}]] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: (n_function loop? arity body) (-> Bit Arity Synthesis Synthesis) 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 486dfa570..63a6f2546 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 @@ -4,24 +4,24 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data [number ["n" nat]] [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random {"+" [Random]} ("#\." monad)]]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]] [\\ - ["." / + ["[0]" / [//// - ["." analysis {"+" [Environment]}] - ["/#" synthesis {"+" [Member Path Synthesis]}] + ["[0]" analysis {"+" [Environment]}] + ["/[1]" synthesis {"+" [Member Path Synthesis]}] [/// [arity {"+" [Arity]}] - ["." reference {"+" [Constant]} - ["." variable {"+" [Register Variable]}]]]]]]) + ["[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 d0d0449f9..4b37cbb5a 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,31 +1,31 @@ (.module: [lux {"-" [primitive]} - [abstract ["." monad {"+" [do]}]] + [abstract ["[0]" monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." try]] + ["[0]" try]] [data ["%" text/format {"+" [format]}] - ["." name] + ["[0]" name] [number ["n" nat]] [collection - ["." list]]] - ["r" math/random {"+" [Random]} ("#\." monad)] + ["[0]" list]]] + ["r" math/random {"+" [Random]} ("[1]\[0]" monad)] ["_" test {"+" [Test]}]] [\\ - ["." / "_" - ["/#" // - ["/#" // "_" + ["[0]" / "_" + ["/[1]" // + ["/[1]" // "_" [extension - ["#." bundle]] - ["/#" // - ["#." analysis {"+" [Analysis]}] - ["#." synthesis {"+" [Synthesis]}] + ["[1][0]" bundle]] + ["/[1]" // + ["[1][0]" analysis {"+" [Analysis]}] + ["[1][0]" synthesis {"+" [Synthesis]}] [/// - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: .public primitive (Random Analysis) 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 b132e1027..60a4bdeec 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,37 +1,37 @@ (.module: [lux "*" [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [data ["%" text/format {"+" [format]}] - ["." name]] + ["[0]" name]] ["r" math/random {"+" [Random]}] ["_" test {"+" [Test]}] [control pipe - ["." try]] + ["[0]" try]] [data - ["." bit ("#\." equivalence)] - ["." product] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" product] [number ["n" nat]] [collection - ["." list]]]] - ["." // "_" - ["#." primitive]] + ["[0]" list]]]] + ["[0]" // "_" + ["[1][0]" primitive]] [\\ - ["." / "_" - ["/#" // - ["/#" // "_" + ["[0]" / "_" + ["/[1]" // + ["/[1]" // "_" [extension - ["#." bundle]] - ["/#" // - ["#." analysis {"+" [Analysis]}] - ["#." synthesis {"+" [Synthesis]}] + ["[1][0]" bundle]] + ["/[1]" // + ["[1][0]" analysis {"+" [Analysis]}] + ["[1][0]" synthesis {"+" [Synthesis]}] [/// - ["." phase] + ["[0]" phase] [meta - ["." archive]]]]]]]]) + ["[0]" archive]]]]]]]]) (def: variant Test 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 7f6ed6bc5..7ba708602 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 @@ -2,29 +2,29 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}]] + ["[0]" monad {"+" [do]}]] [math - ["." random {"+" [Random]}]] + ["[0]" random {"+" [Random]}]] [control [pipe {"+" [case>]}] - ["." try]] + ["[0]" try]] [data - ["." product] - ["." text + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}]] [number ["n" nat]] [collection - ["." list ("#\." functor mix)] - ["." dictionary {"+" [Dictionary]}]]]] + ["[0]" list ("[1]\[0]" functor mix)] + ["[0]" dictionary {"+" [Dictionary]}]]]] [\\ - ["." / + ["[0]" / [//// - ["." analysis] - ["." synthesis {"+" [Side Member Path Synthesis]}] + ["[0]" analysis] + ["[0]" synthesis {"+" [Side Member Path Synthesis]}] [/// [reference - ["." variable]]]]]]) + ["[0]" variable]]]]]]) (template: (!expect <pattern> <value>) (case <value> 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 36cd99322..32dcae9de 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -3,26 +3,26 @@ [abstract/monad {"+" [do]}] [data ["%" text/format {"+" [format]}] - ["." name] + ["[0]" name] [number ["n" nat]]] - ["r" math/random {"+" [Random]} ("#\." monad)] + ["r" math/random {"+" [Random]} ("[1]\[0]" monad)] ["_" test {"+" [Test]}] [control - ["." try] + ["[0]" try] [parser ["l" text]]] [data - ["." text] + ["[0]" text] [collection - ["." list] - ["." dictionary {"+" [Dictionary]}]]] + ["[0]" list] + ["[0]" dictionary {"+" [Dictionary]}]]] [macro - ["." code]] + ["[0]" code]] [meta - ["." location]]] + ["[0]" location]]] [\\ - ["." /]]) + ["[0]" /]]) (def: name_part^ (Random Text) diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 0ffd8ca7f..94f7b92fd 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -3,37 +3,37 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control [pipe {"+" [case>]}] - ["." maybe]] + ["[0]" maybe]] [data - ["." bit ("#\." equivalence)] - ["." text ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list] - ["." array]]] + ["[0]" list] + ["[0]" array]]] [macro - ["." code ("#\." equivalence)]] + ["[0]" code ("[1]\[0]" equivalence)]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." / ("#\." equivalence)]] - ["." / "_" - ["#." abstract] - ["#." check] - ["#." dynamic] - ["#." implicit] - ["#." poly] - ["#." quotient] - ["#." refinement] - ["#." resource] - ["#." unit] - ["#." variance]]) + ["[0]" / ("[1]\[0]" equivalence)]] + ["[0]" / "_" + ["[1][0]" abstract] + ["[1][0]" check] + ["[1][0]" dynamic] + ["[1][0]" implicit] + ["[1][0]" poly] + ["[1][0]" quotient] + ["[1][0]" refinement] + ["[1][0]" resource] + ["[1][0]" unit] + ["[1][0]" variance]]) (def: short (Random Text) @@ -104,8 +104,8 @@ #1))) (list.repeated size) (monad.all !)) - .let [(^open "/\.") /.equivalence - (^open "list\.") (list.equivalence /.equivalence)]] + .let [(^open "/\[0]") /.equivalence + (^open "list\[0]") (list.equivalence /.equivalence)]] (`` ($_ _.and (~~ (template [<ctor> <dtor> <unit>] [(_.cover [<ctor> <dtor>] @@ -137,8 +137,8 @@ _ #1)))) - .let [(^open "/\.") /.equivalence - (^open "list\.") (list.equivalence /.equivalence)]] + .let [(^open "/\[0]") /.equivalence + (^open "list\[0]") (list.equivalence /.equivalence)]] ($_ _.and (_.cover [/.function /.flat_function] (let [[inputs output] (|> (/.function members extra) /.flat_function)] @@ -158,7 +158,7 @@ _ #1)))) - .let [(^open "/\.") /.equivalence]] + .let [(^open "/\[0]") /.equivalence]] (`` ($_ _.and (~~ (template [<ctor> <dtor>] [(_.cover [<ctor> <dtor>] @@ -184,7 +184,7 @@ _ #1)))) - .let [(^open "/\.") /.equivalence]] + .let [(^open "/\[0]") /.equivalence]] ($_ _.and (_.cover [/.array /.flat_array] (let [[flat_depth flat_element] (|> element_type (/.array depth) /.flat_array)] @@ -229,7 +229,7 @@ (I64 a) (.i64 expected))))) (do random.monad - [.let [(^open "/\.") /.equivalence] + [.let [(^open "/\[0]") /.equivalence] left (..random 0) right (..random 0)] ($_ _.and diff --git a/stdlib/source/test/lux/type/abstract.lux b/stdlib/source/test/lux/type/abstract.lux index cd7387d3d..66bee2f43 100644 --- a/stdlib/source/test/lux/type/abstract.lux +++ b/stdlib/source/test/lux/type/abstract.lux @@ -2,26 +2,26 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception] + ["[0]" try] + ["[0]" exception] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." text ("#\." equivalence)]] - ["." macro + ["[0]" text ("[1]\[0]" equivalence)]] + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code] - ["." template]] - ["." math - ["." random] + ["[0]" code] + ["[0]" template]] + ["[0]" math + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template.with_locals [g!Foo g!Bar] (as_is (template [<syntax> <meta>] diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 1a3d50373..d3825ef80 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -2,32 +2,32 @@ [library [lux {"-" [type]} ["_" test {"+" [Test]}] - ["." type ("#\." equivalence)] + ["[0]" type ("[1]\[0]" equivalence)] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." functor {"+" [Injection Comparison]}] - ["$." apply] - ["$." monad]]] + ["$[0]" functor {"+" [Injection Comparison]}] + ["$[0]" apply] + ["$[0]" monad]]] [control [pipe {"+" [case>]}] - ["." function] - ["." try] - ["." exception {"+" [exception:]}]] + ["[0]" function] + ["[0]" try] + ["[0]" exception {"+" [exception:]}]] [data - ["." bit ("#\." equivalence)] - ["." product] - ["." text ("#\." equivalence) + ["[0]" bit ("[1]\[0]" equivalence)] + ["[0]" product] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list ("#\." functor monoid)] - ["." set]]] + ["[0]" list ("[1]\[0]" functor monoid)] + ["[0]" set]]] [math - ["." random {"+" [Random]} ("#\." monad)] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) ... TODO: Remove the following 3 definitions ASAP. //.type already exists... (def: short diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index 72896124e..b9787f8bf 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -5,17 +5,17 @@ [abstract [monad {"+" [do]}]] [control - ["." try] - ["." exception]] + ["[0]" try] + ["[0]" exception]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index ba60470c7..dd5d5ea72 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -7,17 +7,17 @@ [functor {"+" []}] [monoid {"+" []}] [monad {"+" [do]}] - ["." enum]] + ["[0]" enum]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (/.implicit: [n.multiplication]) @@ -36,7 +36,7 @@ ($_ _.and (_.cover [/.\\] (let [first_order! - (let [(^open "list\.") (list.equivalence n.equivalence)] + (let [(^open "list\[0]") (list.equivalence n.equivalence)] (and (bit\= (\ n.equivalence = left right) (/.\\ = left right)) (list\= (\ list.functor each ++ (enum.range n.enum start end)) diff --git a/stdlib/source/test/lux/type/poly.lux b/stdlib/source/test/lux/type/poly.lux index 31dbc7cc0..eb4efeb9c 100644 --- a/stdlib/source/test/lux/type/poly.lux +++ b/stdlib/source/test/lux/type/poly.lux @@ -3,11 +3,11 @@ [lux "*" ["_" test {"+" [Test]}]]] [\\library - ["." /]] - ["." / "_" - ["#." equivalence] - ["#." functor] - ["#." json]]) + ["[0]" /]] + ["[0]" / "_" + ["[1][0]" equivalence] + ["[1][0]" functor] + ["[1][0]" json]]) (def: .public test Test diff --git a/stdlib/source/test/lux/type/poly/equivalence.lux b/stdlib/source/test/lux/type/poly/equivalence.lux index 8e03475f4..ae73c44a7 100644 --- a/stdlib/source/test/lux/type/poly/equivalence.lux +++ b/stdlib/source/test/lux/type/poly/equivalence.lux @@ -6,18 +6,18 @@ [monad {"+" [do]}] [equivalence {"+" [Equivalence]} [\\poly - ["." /]]] + ["[0]" /]]] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." bit] - ["." text] + ["[0]" bit] + ["[0]" text] [collection - ["." list]]] + ["[0]" list]]] [math - ["." 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 d717d1548..e2cd1ad21 100644 --- a/stdlib/source/test/lux/type/poly/functor.lux +++ b/stdlib/source/test/lux/type/poly/functor.lux @@ -5,13 +5,13 @@ [monad {"+" [do]}] [functor [\\poly - ["." /]]]] + ["[0]" /]]]] ["r" math/random {"+" [Random]}] ["_" test {"+" [Test]}] [control - ["." state]] + ["[0]" state]] [data - ["." identity]] + ["[0]" identity]] [type [poly {"+" [derived:]}]]]]) diff --git a/stdlib/source/test/lux/type/poly/json.lux b/stdlib/source/test/lux/type/poly/json.lux index 970a9bc46..6abaa47f1 100644 --- a/stdlib/source/test/lux/type/poly/json.lux +++ b/stdlib/source/test/lux/type/poly/json.lux @@ -2,40 +2,40 @@ [library [lux {"-" [Variant Record]} ["_" test {"+" [Test]}] - ["." debug] + ["[0]" debug] [abstract codec [monad {"+" [do]}] - ["." equivalence {"+" [Equivalence]} - ["poly/#" \\poly]] + ["[0]" equivalence {"+" [Equivalence]} + ["poly/[1]" \\poly]] [\\specification - ["$." equivalence] - ["$." codec]]] + ["$[0]" equivalence] + ["$[0]" codec]]] [control pipe - ["." try] + ["[0]" try] ["p" parser ... TODO: Get rid of this import ASAP [json {"+" []}]]] [data - ["." bit] - ["." text] + ["[0]" bit] + ["[0]" text] [format [json {"+" []} [\\poly - ["." /]]]] + ["[0]" /]]]] [collection [row {"+" [row]}] ["d" dictionary] - ["." list]]] + ["[0]" list]]] [type [poly {"+" [derived:]}] - ["." unit]] + ["[0]" unit]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat] - ["." frac]]] + ["[0]" frac]]] [time ["ti" instant] ["tda" date] @@ -44,8 +44,8 @@ [test [lux [time - ["_." instant] - ... ["_." duration] + ["_[0]" instant] + ... ["_[0]" duration] ]]]) (type: Variant diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index 54c5f2aa3..f0ed3b638 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -3,18 +3,18 @@ [lux "*" ["_" test {"+" [Test]}] [abstract - ["." monad {"+" [do]}] + ["[0]" monad {"+" [do]}] [\\specification - ["$." equivalence]]] + ["$[0]" equivalence]]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["n" nat ("#\." equivalence)]]]]] + ["n" nat ("[1]\[0]" equivalence)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: .public (random class super) (All (_ t c %) (-> (/.Class t c %) (Random t) (Random (/.Quotient t c %)))) diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index 1f44a90cf..1b2c17e36 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -6,16 +6,16 @@ [predicate {"+" [Predicate]}] [monad {"+" [do]}]] [control - ["." maybe ("#\." monad)]] + ["[0]" maybe ("[1]\[0]" monad)]] [data [collection - ["." list ("#\." functor)]]] + ["[0]" list ("[1]\[0]" functor)]]] [math - ["." random] + ["[0]" random] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (def: _refiner (/.refiner (n.> 123))) diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index 3e51c9964..8d0015452 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -2,29 +2,29 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." meta] + ["[0]" meta] [abstract - ["." monad + ["[0]" monad [indexed {"+" [do]}]]] [control - ["." io {"+" [IO]}] - ["." try] - ["." exception {"+" [Exception]}] + ["[0]" io {"+" [IO]}] + ["[0]" try] + ["[0]" exception {"+" [Exception]}] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["<.>" code]]] + ["<[0]>" code]]] [data - ["." identity {"+" [Identity]}] - ["." text ("#\." equivalence) + ["[0]" identity {"+" [Identity]}] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] - ["." macro + ["[0]" macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." / {"+" [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 cf3ed5705..eaea8af2d 100644 --- a/stdlib/source/test/lux/type/unit.lux +++ b/stdlib/source/test/lux/type/unit.lux @@ -2,25 +2,25 @@ [library [lux "*" ["_" test {"+" [Test]}] - ["." debug] - ["." meta] + ["[0]" debug] + ["[0]" meta] [abstract [monad {"+" [do]}] [equivalence {"+" [Equivalence]}] [\\specification - ["$." equivalence] - ["$." order] - ["$." enum]]] + ["$[0]" equivalence] + ["$[0]" order] + ["$[0]" enum]]] [macro [syntax {"+" [syntax:]}] - ["." code]] + ["[0]" code]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["i" int] - ["." ratio ("#\." equivalence)]]]]] + ["[0]" ratio ("[1]\[0]" equivalence)]]]]] [\\library - ["." /]]) + ["[0]" /]]) (template [<name> <type> <unit>] [(def: (<name> range) @@ -101,8 +101,8 @@ (\ ! each (i.% +1,000)) (\ ! each (i.* +1,000,000,000)) (\ ! each (\ /.meter in))) - .let [(^open "meter\.") (: (Equivalence (/.Qty /.Meter)) - /.equivalence)] + .let [(^open "meter\[0]") (: (Equivalence (/.Qty /.Meter)) + /.equivalence)] unscaled (|> random.int (\ ! each (i.% +1,000)) (\ ! each (i.* (.int how::to))) @@ -156,8 +156,8 @@ Test (do random.monad [.let [zero (\ /.meter in +0) - (^open "meter\.") (: (Equivalence (/.Qty /.Meter)) - /.equivalence)] + (^open "meter\[0]") (: (Equivalence (/.Qty /.Meter)) + /.equivalence)] left (random.only (|>> (meter\= zero) not) (..meter 1,000)) right (..meter 1,000) extra (..second 1,000)] diff --git a/stdlib/source/test/lux/type/variance.lux b/stdlib/source/test/lux/type/variance.lux index 7196f89ee..d223fa976 100644 --- a/stdlib/source/test/lux/type/variance.lux +++ b/stdlib/source/test/lux/type/variance.lux @@ -5,11 +5,11 @@ [abstract [monad {"+" [do]}]] [math - ["." random {"+" [Random]}]]]] + ["[0]" random {"+" [Random]}]]]] [\\library - ["." / - ["/#" // "_" - ["#." check]]]]) + ["[0]" / + ["/[1]" // "_" + ["[1][0]" check]]]]) (type: Super (Ex (_ sub) [Text sub])) diff --git a/stdlib/source/test/lux/world.lux b/stdlib/source/test/lux/world.lux index a0146a709..5c348cb1e 100644 --- a/stdlib/source/test/lux/world.lux +++ b/stdlib/source/test/lux/world.lux @@ -2,20 +2,20 @@ [library [lux "*" ["_" test {"+" [Test]}]]] - ["." / "_" - ["#." file] - ["#." shell] - ["#." console] - ["#." program] - ["#." input "_" - ["#/." keyboard]] - ["#." output "_" - ["#/." video "_" - ["#/." resolution]]] - ["#." net "_" - ["#/." http "_" - ["#/." client] - ["#/." status]]]]) + ["[0]" / "_" + ["[1][0]" file] + ["[1][0]" shell] + ["[1][0]" console] + ["[1][0]" program] + ["[1][0]" input "_" + ["[1]/[0]" keyboard]] + ["[1][0]" output "_" + ["[1]/[0]" video "_" + ["[1]/[0]" resolution]]] + ["[1][0]" net "_" + ["[1]/[0]" http "_" + ["[1]/[0]" client] + ["[1]/[0]" status]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index 37704c0e8..3f54d54a7 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -5,18 +5,18 @@ [abstract [monad {"+" [do]}]] [control - ["." io] - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}]] + ["[0]" io] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}]] [data - ["." text ("#\." equivalence) + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]]] [math - ["." random]]]] + ["[0]" random]]]] [\\library - ["." /]] + ["[0]" /]] [\\specification - ["$." /]]) + ["$[0]" /]]) (exception: dead) diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index d2c4703d3..304116241 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -5,15 +5,15 @@ [abstract [monad {"+" [do]}]] [control - ["." io]] + ["[0]" io]] [math - ["." random]]]] - ["." / "_" - ["#." watch]] + ["[0]" random]]]] + ["[0]" / "_" + ["[1][0]" watch]] [\\library - ["." /]] + ["[0]" /]] [\\specification - ["$." /]]) + ["$[0]" /]]) (def: .public test Test diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index 52fa06325..aee4f4922 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -6,24 +6,24 @@ [predicate {"+" [Predicate]}] [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] - ["." exception] + ["[0]" try {"+" [Try]}] + ["[0]" exception] [concurrency - ["." async {"+" [Async]}]]] + ["[0]" async {"+" [Async]}]]] [data - ["." binary {"+" [Binary]} ("#\." equivalence)] - ["." text ("#\." equivalence) + ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)] + ["[0]" text ("[1]\[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random {"+" [Random]} ("#\." monad)]]]] + ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]] [\\library - ["." / - ["/#" //]]] + ["[0]" / + ["/[1]" //]]] [//// [data - ["$." binary]]]) + ["$[0]" binary]]]) (def: concern (Random [/.Concern (Predicate /.Concern)]) diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index 9abbbb7cd..7da4c9c34 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}]] [control - ["." maybe]] + ["[0]" maybe]] [data - ["." bit ("#\." equivalence)] + ["[0]" bit ("[1]\[0]" equivalence)] [collection - ["." list] - ["." set {"+" [Set]}]]] + ["[0]" list] + ["[0]" set {"+" [Set]}]]] [macro - ["." template]] + ["[0]" template]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (with_expansions [<groups> (as_is [keys/commands [/.back_space diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index b2999b74d..1f80ba26b 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -6,26 +6,26 @@ [monad {"+" [do]}]] [control [pipe {"+" [do>]}] - ["." io {"+" [IO]}] - ["." try] - ["." function]] + ["[0]" io {"+" [IO]}] + ["[0]" try] + ["[0]" function]] [data - ["." binary] - ["." product] - ["." text + ["[0]" binary] + ["[0]" product] + ["[0]" text ["%" format {"+" [format]}] [encoding - ["." utf8]]] + ["[0]" utf8]]] [collection - ["." dictionary]]] + ["[0]" dictionary]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number - ["." nat]]]]] + ["[0]" nat]]]]] [\\library - ["." / - ["/#" // - ["#." status]]]]) + ["[0]" / + ["/[1]" // + ["[1][0]" status]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux index ab11270c8..fb987aad6 100644 --- a/stdlib/source/test/lux/world/net/http/status.lux +++ b/stdlib/source/test/lux/world/net/http/status.lux @@ -4,16 +4,16 @@ ["_" test {"+" [Test]}] [data [collection - ["." list] - ["." set {"+" [Set]}]]] + ["[0]" list] + ["[0]" set {"+" [Set]}]]] [macro - ["." template]] + ["[0]" template]] [math [number ["n" nat]]]]] [\\library - ["." / - ["/#" //]]]) + ["[0]" / + ["/[1]" //]]]) (with_expansions [<categories> (as_is [informational [/.continue diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux index 59a46f103..5c4990479 100644 --- a/stdlib/source/test/lux/world/output/video/resolution.lux +++ b/stdlib/source/test/lux/world/output/video/resolution.lux @@ -5,20 +5,20 @@ [abstract [monad {"+" [do]}] [\\specification - ["$." equivalence] - ["$." hash]]] + ["$[0]" equivalence] + ["$[0]" hash]]] [control - ["." maybe]] + ["[0]" maybe]] [data [collection - ["." list] - ["." set {"+" [Set]}]]] + ["[0]" list] + ["[0]" set {"+" [Set]}]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." /]]) + ["[0]" /]]) (with_expansions [<resolutions> (as_is /.svga /.wsvga diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 4b1c4ba22..eafafecaa 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -6,27 +6,27 @@ [monad {"+" [do]}]] [control [pipe {"+" [case>]}] - ["." io] - ["." maybe ("#\." functor)] - ["." try] - ["." exception] + ["[0]" io] + ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" try] + ["[0]" exception] [parser [environment {"+" [Environment]}]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." dictionary] - ["." list]]] + ["[0]" dictionary] + ["[0]" list]]] [math - ["." random {"+" [Random]}] + ["[0]" random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / + ["[0]" / [// [file {"+" [Path]}]]]] [\\specification - ["$." /]]) + ["$[0]" /]]) (def: (environment env_size) (-> Nat (Random Environment)) diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index 250f7f9b2..8d98b5f1f 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -5,28 +5,28 @@ [abstract [monad {"+" [do]}]] [control - ["." try {"+" [Try]}] - ["." exception {"+" [exception:]}] - ["." io {"+" [IO]}] + ["[0]" try {"+" [Try]}] + ["[0]" exception {"+" [exception:]}] + ["[0]" io {"+" [IO]}] [concurrency - ["." async {"+" [Async]}]] + ["[0]" async {"+" [Async]}]] [parser - ["." environment {"+" [Environment]}]]] + ["[0]" environment {"+" [Environment]}]]] [data - ["." text ("#\." equivalence)] + ["[0]" text ("[1]\[0]" equivalence)] [collection - ["." list]]] + ["[0]" list]]] [math - ["." random] + ["[0]" random] [number ["n" nat] ["i" int]]]]] [\\library - ["." / + ["[0]" / [// [file {"+" [Path]}]]]] [\\specification - ["$." /]]) + ["$[0]" /]]) (exception: dead) |