diff options
Diffstat (limited to '')
211 files changed, 532 insertions, 532 deletions
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux index e16c5f534..aefe175f4 100644 --- a/stdlib/source/test/aedifex/artifact.lux +++ b/stdlib/source/test/aedifex/artifact.lux @@ -10,7 +10,7 @@ ["$[0]" order] ["$[0]" hash]]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]] [world diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux index 130065193..d8bfd8267 100644 --- a/stdlib/source/test/aedifex/artifact/extension.lux +++ b/stdlib/source/test/aedifex/artifact/extension.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] ["[0]" list]]] diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux index e0c7ffc4b..5379dd8af 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot.lux @@ -7,11 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] ["$[0]" / ["[1][0]" build] ["[1][0]" stamp] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 96c41ce36..2775467c9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index fc9488004..e097f5420 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 65f17c8a4..28dd249cc 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index 39883cb64..7ba555256 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index 9441be139..27ef6062c 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -7,14 +7,14 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["i" int]]] diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux index 81b04c07d..366ec1955 100644 --- a/stdlib/source/test/aedifex/artifact/time.lux +++ b/stdlib/source/test/aedifex/artifact/time.lux @@ -7,11 +7,11 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [time - ["[0]" instant ("[1]#[0]" equivalence)]] + ["[0]" instant (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux index 4f997fef1..12c4a0da1 100644 --- a/stdlib/source/test/aedifex/artifact/time/date.lux +++ b/stdlib/source/test/aedifex/artifact/time/date.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" text]]] @@ -17,7 +17,7 @@ ["n" nat] ["i" int]]] [time - ["[0]" date ("[1]#[0]" equivalence)] + ["[0]" date (.open: "[1]#[0]" equivalence)] ["[0]" year]]]] [\\program ["[0]" /]]) diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux index 60dda35c0..c3b866451 100644 --- a/stdlib/source/test/aedifex/artifact/time/time.lux +++ b/stdlib/source/test/aedifex/artifact/time/time.lux @@ -6,7 +6,7 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" text]]] [math diff --git a/stdlib/source/test/aedifex/artifact/type.lux b/stdlib/source/test/aedifex/artifact/type.lux index de596592b..a2b5926e5 100644 --- a/stdlib/source/test/aedifex/artifact/type.lux +++ b/stdlib/source/test/aedifex/artifact/type.lux @@ -10,7 +10,7 @@ ["[0]" set] ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index 6a8e29a08..006ec6566 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" xml]]] [math diff --git a/stdlib/source/test/aedifex/cache.lux b/stdlib/source/test/aedifex/cache.lux index 13b8e27d4..de334b03d 100644 --- a/stdlib/source/test/aedifex/cache.lux +++ b/stdlib/source/test/aedifex/cache.lux @@ -19,7 +19,7 @@ ["[0]" set] ["[0]" dictionary]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 6f3d257c6..9cc571bbe 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -16,7 +16,7 @@ [collection ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] [\\program ["[0]" / (.only) ["/[1]" // diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux index 176acc46b..1bb77d307 100644 --- a/stdlib/source/test/aedifex/command/build.lux +++ b/stdlib/source/test/aedifex/command/build.lux @@ -14,7 +14,7 @@ [parser ["[0]" environment]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" dictionary]]] [math diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux index 73ad4bcd2..e7bf81855 100644 --- a/stdlib/source/test/aedifex/command/clean.lux +++ b/stdlib/source/test/aedifex/command/clean.lux @@ -11,10 +11,10 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/aedifex/command/deploy.lux b/stdlib/source/test/aedifex/command/deploy.lux index ade7ffc6f..0a4e08166 100644 --- a/stdlib/source/test/aedifex/command/deploy.lux +++ b/stdlib/source/test/aedifex/command/deploy.lux @@ -12,8 +12,8 @@ [parser ["[0]" environment]]] [data - ["[0]" binary ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" binary (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/aedifex/command/deps.lux b/stdlib/source/test/aedifex/command/deps.lux index c4cf1bcf0..c5e496e29 100644 --- a/stdlib/source/test/aedifex/command/deps.lux +++ b/stdlib/source/test/aedifex/command/deps.lux @@ -12,7 +12,7 @@ [parser ["[0]" environment]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux index 7fa9463f7..4de5c5226 100644 --- a/stdlib/source/test/aedifex/command/install.lux +++ b/stdlib/source/test/aedifex/command/install.lux @@ -5,7 +5,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception] [concurrency ["[0]" async (.only Async)]] @@ -13,7 +13,7 @@ ["[0]" environment]]] [data ["[0]" binary] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" set (.only Set)]]] diff --git a/stdlib/source/test/aedifex/command/pom.lux b/stdlib/source/test/aedifex/command/pom.lux index 76eb99b89..75509644d 100644 --- a/stdlib/source/test/aedifex/command/pom.lux +++ b/stdlib/source/test/aedifex/command/pom.lux @@ -5,12 +5,12 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [concurrency ["[0]" async]]] [data - ["[0]" binary ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" binary (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) [encoding ["[0]" utf8]]] [format diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux index a6237f970..50bd8e183 100644 --- a/stdlib/source/test/aedifex/command/test.lux +++ b/stdlib/source/test/aedifex/command/test.lux @@ -12,7 +12,7 @@ [parser ["[0]" environment]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" dictionary] ["[0]" list]]] diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux index 9bdb03cc7..fbd864d4b 100644 --- a/stdlib/source/test/aedifex/command/version.lux +++ b/stdlib/source/test/aedifex/command/version.lux @@ -11,7 +11,7 @@ [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random]] diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux index cd8c2172e..ab15af81c 100644 --- a/stdlib/source/test/aedifex/dependency/deployment.lux +++ b/stdlib/source/test/aedifex/dependency/deployment.lux @@ -7,20 +7,20 @@ ["[0]" hash (.only Hash)]] [control ["[0]" io (.only IO)] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [concurrency ["[0]" atom (.only Atom)] ["[0]" async]]] [data ["[0]" product] - ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" set] - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number @@ -43,7 +43,7 @@ ["[0]" profile] ["[0]" metadata] ["[0]" package (.only Package)] - ["[0]" artifact (.only Artifact) ("[1]#[0]" equivalence) + ["[0]" artifact (.only Artifact) (.open: "[1]#[0]" equivalence) ["[1]/[0]" type] ["[1]/[0]" extension]] ["[0]" repository (.only) diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux index 666bd0c53..eaec8b475 100644 --- a/stdlib/source/test/aedifex/dependency/resolution.lux +++ b/stdlib/source/test/aedifex/dependency/resolution.lux @@ -39,7 +39,7 @@ ["[1]" profile] ["[1][0]" package (.only Package)] ["[1][0]" hash] - ["[1][0]" dependency (.only Dependency) ("[1]#[0]" equivalence) + ["[1][0]" dependency (.only Dependency) (.open: "[1]#[0]" equivalence) ["[1]/[0]" status]] ["[1][0]" pom] ["[1][0]" artifact (.only Artifact) diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux index c6b6abe9a..6b59fa394 100644 --- a/stdlib/source/test/aedifex/dependency/status.lux +++ b/stdlib/source/test/aedifex/dependency/status.lux @@ -10,7 +10,7 @@ ["[0]" binary ["[1]T" \\test]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] ["$[0]" /// ["[1][0]" hash]] [\\program diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux index b10f192fd..bdac5dfac 100644 --- a/stdlib/source/test/aedifex/metadata.lux +++ b/stdlib/source/test/aedifex/metadata.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random]]]] ["[0]" / diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux index 34b98590a..34869e646 100644 --- a/stdlib/source/test/aedifex/metadata/artifact.lux +++ b/stdlib/source/test/aedifex/metadata/artifact.lux @@ -8,14 +8,14 @@ ["$[0]" equivalence]]] [control ["[0]" maybe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["[0]" environment] ["<[0]>" xml]] [concurrency ["[0]" async]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [macro diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index 136e488c8..c45b817cd 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -8,20 +8,20 @@ ["$[0]" equivalence]]] [control ["[0]" maybe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["[0]" environment] ["<[0]>" xml]] [concurrency ["[0]" async]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [macro ["[0]" code]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] ["[0]" time (.only) diff --git a/stdlib/source/test/aedifex/package.lux b/stdlib/source/test/aedifex/package.lux index ead5ce5be..6a7f0a960 100644 --- a/stdlib/source/test/aedifex/package.lux +++ b/stdlib/source/test/aedifex/package.lux @@ -33,7 +33,7 @@ ["[0]" / (.only) ["/[1]" // ["[1]" profile] - ["[1][0]" hash ("[1]#[0]" equivalence)] + ["[1][0]" hash (.open: "[1]#[0]" equivalence)] ["[1][0]" pom] [dependency ["[1][0]" status]] diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux index 6b53ab371..050d3daef 100644 --- a/stdlib/source/test/aedifex/parser.lux +++ b/stdlib/source/test/aedifex/parser.lux @@ -15,7 +15,7 @@ [collection ["[0]" set (.only Set)] ["[0]" dictionary (.only Dictionary)] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/aedifex/pom.lux b/stdlib/source/test/aedifex/pom.lux index fbc7d12b2..3a58b340c 100644 --- a/stdlib/source/test/aedifex/pom.lux +++ b/stdlib/source/test/aedifex/pom.lux @@ -10,7 +10,7 @@ ["<>" parser (.only) ["<[0]>" xml]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [format ["[0]" xml]]] [math diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index a77cb4c7e..d45ac5fa9 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -13,12 +13,12 @@ [parser ["[0]" cli]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" set (.only Set)] ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] [tool diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index 8a52a39b8..61afbc9da 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -8,13 +8,13 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [// diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index e8737c5cc..160410bc4 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -5,13 +5,13 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["[0]" environment]] [concurrency ["[0]" async]]] [data - ["[0]" binary ("[1]#[0]" equivalence)] + ["[0]" binary (.open: "[1]#[0]" equivalence)] [text [encoding ["[0]" utf8]]]] diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux index 72c042fd7..50ae42a09 100644 --- a/stdlib/source/test/aedifex/repository/remote.lux +++ b/stdlib/source/test/aedifex/repository/remote.lux @@ -6,13 +6,13 @@ [monad (.only do)]] [control ["[0]" io (.only IO)] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" monad)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" monad)] ["[0]" exception] ["[0]" function]] [data - ["[0]" binary ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" binary (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux index 78ba09d07..a1ba22588 100644 --- a/stdlib/source/test/aedifex/runtime.lux +++ b/stdlib/source/test/aedifex/runtime.lux @@ -7,14 +7,14 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\program diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 790250e73..9fed6be1a 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -9,28 +9,28 @@ [monad (.only do)]] [control ["[0]" io] - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] [concurrency ["[0]" atom (.only Atom)]] [parser ["<[0]>" code]]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] - ["[0]" set (.only Set) ("[1]#[0]" equivalence)] + ["[0]" list (.open: "[1]#[0]" functor)] + ["[0]" set (.only Set) (.open: "[1]#[0]" equivalence)] [dictionary ["[0]" plist]]]] ["[0]" macro [syntax (.only syntax:)] ["^" pattern] - ["[0]" code ("[1]#[0]" equivalence)] + ["[0]" code (.open: "[1]#[0]" equivalence)] ["[0]" template]] ["[0]" math - ["[0]" random ("[1]#[0]" functor)] + ["[0]" random (.open: "[1]#[0]" functor)] [number [i8 (.only)] [i16 (.only)] @@ -39,8 +39,8 @@ ["r" rev] ["f" frac] ["[0]" i64]]] - ["[0]" meta ("[1]#[0]" monad) - ["[0]" location ("[1]#[0]" equivalence)]]]] + ["[0]" meta (.open: "[1]#[0]" monad) + ["[0]" location (.open: "[1]#[0]" equivalence)]]]] ... TODO: Must have 100% coverage on tests. ["[0]" / ["[1][0]" abstract] @@ -529,7 +529,7 @@ [(<referral> <module/0>) (<referral> <m2/1>)]] - [(.using ["[0]" <module/0>' ("[1]#[0]" <definition>)]) + [(.using ["[0]" <module/0>' (.open: "[1]#[0]" <definition>)]) ("lux def module" [[<module/0> <module/0>]]) [(<referral> <module/0> (<open/0> <definition>))]] )))))) diff --git a/stdlib/source/test/lux/abstract/codec.lux b/stdlib/source/test/lux/abstract/codec.lux index 120dc7a39..970045e7c 100644 --- a/stdlib/source/test/lux/abstract/codec.lux +++ b/stdlib/source/test/lux/abstract/codec.lux @@ -7,7 +7,7 @@ [control ["[0]" try]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [format ["[0]" json (.only JSON)]]] [math diff --git a/stdlib/source/test/lux/abstract/comonad/cofree.lux b/stdlib/source/test/lux/abstract/comonad/cofree.lux index 1818540f0..8e8c2998d 100644 --- a/stdlib/source/test/lux/abstract/comonad/cofree.lux +++ b/stdlib/source/test/lux/abstract/comonad/cofree.lux @@ -13,7 +13,7 @@ [data [collection ["[0]" list] - ["[0]" stream (.only Stream) ("[1]#[0]" comonad)]]] + ["[0]" stream (.only Stream) (.open: "[1]#[0]" comonad)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/enum.lux b/stdlib/source/test/lux/abstract/enum.lux index 5aa3fd4c5..d33a9aee8 100644 --- a/stdlib/source/test/lux/abstract/enum.lux +++ b/stdlib/source/test/lux/abstract/enum.lux @@ -5,11 +5,11 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/abstract/equivalence.lux b/stdlib/source/test/lux/abstract/equivalence.lux index 47b2ab03a..2ca34e885 100644 --- a/stdlib/source/test/lux/abstract/equivalence.lux +++ b/stdlib/source/test/lux/abstract/equivalence.lux @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux index 6e2f2504a..cd9a966da 100644 --- a/stdlib/source/test/lux/abstract/hash.lux +++ b/stdlib/source/test/lux/abstract/hash.lux @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/abstract/interval.lux b/stdlib/source/test/lux/abstract/interval.lux index 4d84cfcb7..74579b53a 100644 --- a/stdlib/source/test/lux/abstract/interval.lux +++ b/stdlib/source/test/lux/abstract/interval.lux @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / (.only Interval) ("#[0]" equivalence)]]) + ["[0]" / (.only Interval) (.open: "[1]#[0]" equivalence)]]) (template [<name> <cmp>] [(def: .public <name> @@ -94,7 +94,7 @@ right_outer ..outer] (all _.and (_.property "The union of an interval to itself yields the same interval." - (#= some_interval (/.union some_interval some_interval))) + (/#= some_interval (/.union some_interval some_interval))) (_.property "The union of 2 inner intervals is another inner interval." (/.inner? (/.union left_inner right_inner))) (_.property "The union of 2 outer intervals yields an inner interval when their complements don't overlap, and an outer when they do." @@ -115,7 +115,7 @@ right_outer ..outer] (all _.and (_.property "The intersection of an interval to itself yields the same interval." - (#= some_interval (/.intersection some_interval some_interval))) + (/#= some_interval (/.intersection some_interval some_interval))) (_.property "The intersection of 2 inner intervals yields an inner interval when they overlap, and an outer when they don't." (if (/.overlaps? left_inner right_inner) (/.inner? (/.intersection left_inner right_inner)) @@ -130,7 +130,7 @@ [some_interval ..interval] (all _.and (_.property "The complement of a complement is the same as the original." - (#= some_interval (|> some_interval /.complement /.complement))) + (/#= some_interval (|> some_interval /.complement /.complement))) (_.property "The complement of an interval does not overlap it." (not (/.overlaps? some_interval (/.complement some_interval)))) ))) diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 5ea6a5404..b0dc3f1cc 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -5,7 +5,7 @@ [data ["[0]" identity (.only Identity)] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/abstract/monad/free.lux b/stdlib/source/test/lux/abstract/monad/free.lux index 0d63275d5..9d9329a6c 100644 --- a/stdlib/source/test/lux/abstract/monad/free.lux +++ b/stdlib/source/test/lux/abstract/monad/free.lux @@ -12,7 +12,7 @@ ["$[0]" monad]]] [data [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/abstract/order.lux b/stdlib/source/test/lux/abstract/order.lux index a283abfdf..68eedeeba 100644 --- a/stdlib/source/test/lux/abstract/order.lux +++ b/stdlib/source/test/lux/abstract/order.lux @@ -8,7 +8,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index 6a8b64dbe..46c44ceea 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -12,7 +12,7 @@ [control ["[0]" function]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index d158a83a0..825228c31 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [data ["[0]" sum] - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux index 1df46e911..5713f1599 100644 --- a/stdlib/source/test/lux/control/concurrency/actor.lux +++ b/stdlib/source/test/lux/control/concurrency/actor.lux @@ -22,7 +22,7 @@ ["[0]" / (.only actor: message:) [// ["[0]" atom (.only Atom)] - ["[0]" async (.only Async Resolver) ("[1]#[0]" monad)] + ["[0]" async (.only Async Resolver) (.open: "[1]#[0]" monad)] ["[0]" frp]]]]) (exception: got_wrecked) diff --git a/stdlib/source/test/lux/control/concurrency/frp.lux b/stdlib/source/test/lux/control/concurrency/frp.lux index 4dc2b1da7..79d2fe727 100644 --- a/stdlib/source/test/lux/control/concurrency/frp.lux +++ b/stdlib/source/test/lux/control/concurrency/frp.lux @@ -14,7 +14,7 @@ ["[0]" io (.only IO io)]] [data [collection - ["[0]" list ("[1]#[0]" mix monoid)] + ["[0]" list (.open: "[1]#[0]" mix monoid)] ["[0]" sequence (.only Sequence)]]] [math ["[0]" random] @@ -25,7 +25,7 @@ [\\library ["[0]" / (.only) [// - ["[0]" async (.only Async) ("[1]#[0]" monad)] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)] ["[0]" atom (.only Atom atom)]]]]) (def: injection diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux index bc99871e9..1df21f823 100644 --- a/stdlib/source/test/lux/control/concurrency/semaphore.lux +++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux @@ -15,10 +15,10 @@ ["[0]" async (.only Async)] ["[0]" atom (.only Atom)]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index 7bbe7f398..05d6f33da 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -13,7 +13,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index b71d50025..459e7101a 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/control/function/memo.lux b/stdlib/source/test/lux/control/function/memo.lux index 2d8b7f7b0..b16902c88 100644 --- a/stdlib/source/test/lux/control/function/memo.lux +++ b/stdlib/source/test/lux/control/function/memo.lux @@ -6,12 +6,12 @@ [monad (.only do)]] [control ["[0]" io (.only IO)] - ["[0]" state (.only State) ("[1]#[0]" monad)]] + ["[0]" state (.only State) (.open: "[1]#[0]" monad)]] [data ["[0]" product] [collection ["[0]" dictionary (.only Dictionary)] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/function/mixin.lux b/stdlib/source/test/lux/control/function/mixin.lux index 01dd7ab47..c19295365 100644 --- a/stdlib/source/test/lux/control/function/mixin.lux +++ b/stdlib/source/test/lux/control/function/mixin.lux @@ -13,7 +13,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/function/mutual.lux b/stdlib/source/test/lux/control/function/mutual.lux index 3e9c053e7..698685d0c 100644 --- a/stdlib/source/test/lux/control/function/mutual.lux +++ b/stdlib/source/test/lux/control/function/mutual.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [text ["%" format (.only format)]]] [math diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index d24ea6166..b986c2fbc 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -12,7 +12,7 @@ ["$[0]" apply] ["$[0]" monad]]] [control - ["[0]" io ("[1]#[0]" monad)] + ["[0]" io (.open: "[1]#[0]" monad)] ["[0]" pipe]] [data ["[0]" text] @@ -23,7 +23,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / ("[1]#[0]" monoid monad)]]) + ["[0]" / (.open: "[1]#[0]" monoid monad)]]) (def: .public test Test diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index e4312d220..c5fdb888a 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -14,10 +14,10 @@ [parser ["<[0]>" code]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index bb68755c0..1e1a288b2 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -10,8 +10,8 @@ ["[0]" exception] ["<>" parser]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math @@ -22,7 +22,7 @@ ["f" frac] ["r" rev]]] [meta - ["[0]" symbol ("[1]#[0]" equivalence)]] + ["[0]" symbol (.open: "[1]#[0]" equivalence)]] [tool [compiler [reference (.only Constant) diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index 34bfab2f7..41d2cec10 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -17,7 +17,7 @@ ["[0]" binary] ["[0]" sum] ["[0]" bit] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/lux/control/parser/cli.lux b/stdlib/source/test/lux/control/parser/cli.lux index 731cea3e4..28e5fb4a2 100644 --- a/stdlib/source/test/lux/control/parser/cli.lux +++ b/stdlib/source/test/lux/control/parser/cli.lux @@ -8,7 +8,7 @@ ["[0]" try] ["<>" parser]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [macro @@ -16,7 +16,7 @@ [math ["[0]" random] [number - ["n" nat ("[1]#[0]" decimal)]]]]] + ["n" nat (.open: "[1]#[0]" decimal)]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 81a90c5b0..ad59d2ba3 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -17,7 +17,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random (.only Random) ("[1]#[0]" functor)] + ["[0]" random (.only Random) (.open: "[1]#[0]" functor)] [number ["[0]" nat] ["[0]" int] diff --git a/stdlib/source/test/lux/control/parser/environment.lux b/stdlib/source/test/lux/control/parser/environment.lux index cce8c0d99..9b098cf1a 100644 --- a/stdlib/source/test/lux/control/parser/environment.lux +++ b/stdlib/source/test/lux/control/parser/environment.lux @@ -8,7 +8,7 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" dictionary]]] [math @@ -17,7 +17,7 @@ ["n" nat]]]]] [\\library ["[0]" / (.only) - ["/[1]" // ("[1]#[0]" monad)]]]) + ["/[1]" // (.open: "[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 de37cc4dd..75a817481 100644 --- a/stdlib/source/test/lux/control/parser/json.lux +++ b/stdlib/source/test/lux/control/parser/json.lux @@ -14,10 +14,10 @@ ["[0]" bit] ["[0]" text] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set] ["[0]" dictionary] - ["[0]" sequence (.only sequence) ("[1]#[0]" functor)]] + ["[0]" sequence (.only sequence) (.open: "[1]#[0]" functor)]] [format ["[0]" json]]] [macro diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 3a279ab7a..8e974ad33 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -12,7 +12,7 @@ ["[0]" bit] ["[0]" text] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index ae26c9858..af56ad878 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -10,14 +10,14 @@ ["[0]" exception (.only Exception)] ["[0]" function]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] ["[0]" unicode ["[1]" set] ["[1]/[0]" block]]] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] [tree ["[0]" finger]]]] [math diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index dc7a62b96..779c63cd2 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -2,7 +2,7 @@ [library [lux (.except) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract [monad (.only do)]] [control @@ -20,7 +20,7 @@ [number ["n" nat]]] [meta - ["[0]" symbol ("[1]#[0]" equivalence)]]]] + ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 02262b6f8..95e6c3713 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -2,16 +2,16 @@ [library [lux (.except) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [format - ["[0]" xml ("[1]#[0]" equivalence)]] + ["[0]" xml (.open: "[1]#[0]" equivalence)]] [collection ["[0]" dictionary] ["[0]" list]]] @@ -23,10 +23,10 @@ [number ["n" nat]]] [meta - ["[0]" symbol ("[1]#[0]" equivalence)]]]] + ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] [\\library ["[0]" / (.only) - ["/[1]" // ("[1]#[0]" monad)]]]) + ["/[1]" // (.open: "[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 c181ba0f4..cc455e8aa 100644 --- a/stdlib/source/test/lux/control/pipe.lux +++ b/stdlib/source/test/lux/control/pipe.lux @@ -7,7 +7,7 @@ [monad (.only do)]] [data ["[0]" identity] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index 2488b31cc..38bd18517 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -17,7 +17,7 @@ ["%" format (.only format)]]] [math [number (.only hex)] - ["[0]" random (.only Random) ("[1]#[0]" monad)]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]] [time ["[0]" date (.only Date)] ["[0]" instant] diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index 0fcb1e901..efd4a029c 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -10,7 +10,7 @@ ["$[0]" apply] ["$[0]" monad]]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [macro ["^" pattern]] [math diff --git a/stdlib/source/test/lux/control/try.lux b/stdlib/source/test/lux/control/try.lux index 995b0125f..043890c39 100644 --- a/stdlib/source/test/lux/control/try.lux +++ b/stdlib/source/test/lux/control/try.lux @@ -13,7 +13,7 @@ ["[0]" pipe] ["[0]" io]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index a6f496598..78d475ce1 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -14,7 +14,7 @@ ["[0]" io]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index ba454ead3..15df63e2e 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -14,7 +14,7 @@ ["[0]" exception (.only Exception)]] [data [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] [array [\\unsafe (.only)]]]] [math diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index b1d6b549f..ee06a8073 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -13,10 +13,10 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" bit] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index ad26c0120..11a4da3cb 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -9,13 +9,13 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [control - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try] ["[0]" exception]] [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 01c979131..75e7a36e2 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -9,15 +9,15 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" maybe ("[1]#[0]" monad)]] + ["[0]" maybe (.open: "[1]#[0]" monad)]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 3b8f1ae99..252ca9f85 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -8,9 +8,9 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" maybe ("[1]#[0]" monad)]] + ["[0]" maybe (.open: "[1]#[0]" monad)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text] [collection ["[0]" set] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index c727f3041..81e8d76dc 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -21,7 +21,7 @@ [data ["[0]" bit] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" set]]] [math @@ -30,7 +30,7 @@ ["n" nat] ["[0]" int]]]]] [\\library - ["[0]" / ("[1]#[0]" monad)]]) + ["[0]" / (.open: "[1]#[0]" monad)]]) (def: bounded_size (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 05388830b..a67697de2 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -8,10 +8,10 @@ ["$[0]" equivalence] ["$[0]" functor (.only Injection)]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" monoid)]]] + ["[0]" list (.open: "[1]#[0]" monoid)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index fc8484b42..624231fb1 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -5,9 +5,9 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index f86951ea4..92d59f68d 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -15,17 +15,17 @@ ["[0]" try (.only Try)] ["[0]" exception]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" mix)] + ["[0]" list (.open: "[1]#[0]" mix)] ["[0]" set]]] [math ["[0]" random] [number ["n" nat]]]]] [\\library - ["[0]" / ("[1]#[0]" monad)]]) + ["[0]" / (.open: "[1]#[0]" monad)]]) (def: signatures Test diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 53bf5ee0e..17617c2dc 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -10,7 +10,7 @@ ["$[0]" hash] ["$[0]" monoid]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math @@ -18,7 +18,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / ("#[0]" equivalence)]]) + ["[0]" / (.open: "[1]#[0]" equivalence)]]) (def: gen_nat (Random Nat) @@ -68,7 +68,7 @@ (bit#= (/.empty? setL) (n.= 0 (/.size setL)))) (_.coverage [/.list /.of_list] - (|> setL /.list (/.of_list n.hash) (#= setL))) + (|> setL /.list (/.of_list n.hash) (/#= setL))) (_.coverage [/.member?] (and (list.every? (/.member? setL) (/.list setL)) (not (/.member? setL non_memberL)))) @@ -89,12 +89,12 @@ (|> setL (/.has non_memberL) (/.lacks non_memberL) - (#= setL)) + (/#= setL)) idempotency! (|> setL (/.lacks non_memberL) - (#= setL))] + (/#= setL))] (and symmetry! idempotency!))) (_.coverage [/.union /.sub?] @@ -107,7 +107,7 @@ union_with_empty_set! (|> setL (/.union (/.empty n.hash)) - (#= setL))] + (/#= setL))] (and sets_are_subs_of_their_unions! union_with_empty_set!))) (_.coverage [/.intersection /.super?] diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 2811e074c..555d7e210 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -10,10 +10,10 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index f8dba7aaf..64a1dc4bb 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -8,11 +8,11 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 70141fc19..337b7de4e 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -10,7 +10,7 @@ [control ["[0]" maybe]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index 7c6f10baf..ee293cfa8 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index c936ded41..945c1c6b8 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -11,7 +11,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index d2ddb1b96..a9e3d68e6 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -5,11 +5,11 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data - ["[0]" text ("[1]#[0]" equivalence monoid)] + ["[0]" text (.open: "[1]#[0]" equivalence monoid)] [collection - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 4270e0f88..4a2bbac26 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -10,7 +10,7 @@ ["$[0]" comonad]]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" product] ["[0]" text] diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 4210d2563..8c69f0c64 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -8,7 +8,7 @@ [\\specification ["$[0]" monoid]]] [data - ["[0]" binary ("[1]#[0]" equivalence)]] + ["[0]" binary (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 9ae374636..1fb8f94fa 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -9,7 +9,7 @@ ["$[0]" equivalence] ["$[0]" codec]]] [control - ["[0]" try ("[1]#[0]" functor)]] + ["[0]" try (.open: "[1]#[0]" functor)]] [data ["[0]" product] ["[0]" bit] @@ -19,7 +19,7 @@ ["[0]" sequence] ["[0]" dictionary] ["[0]" set] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number @@ -29,7 +29,7 @@ ["[0]" syntax (.only syntax:)] ["[0]" code]]]] [\\library - ["[0]" / (.only JSON) ("#[0]" equivalence)]]) + ["[0]" / (.only JSON) (.open: "[1]#[0]" equivalence)]]) (def: .public random (Random /.JSON) @@ -85,7 +85,7 @@ (|> expected /.format (# /.codec decoded) - (try#each (#= expected)) + (try#each (/#= expected)) (try.else false)))) (do random.monad [keys (random.set text.hash 3 (random.alphabetic 1)) @@ -106,7 +106,7 @@ (_.coverage [/.field] (list.every? (function (_ [key expected]) (|> (/.field key object) - (try#each (#= expected)) + (try#each (/#= expected)) (try.else false))) expected)) )) @@ -122,7 +122,7 @@ .let [can_find_known_key! (|> object (/.field key) - (try#each (#= {/.#Number expected})) + (try#each (/#= {/.#Number expected})) (try.else false)) cannot_find_unknown_key! @@ -165,15 +165,15 @@ <key5> (string) <key6> (string)] (_.coverage [/.json] - (and (#= {/.#Null} (/.json ())) + (and (/#= {/.#Null} (/.json ())) (~~ (template [<tag> <value>] - [(#= {<tag> <value>} (/.json <value>))] + [(/#= {<tag> <value>} (/.json <value>))] [/.#Boolean <boolean>] [/.#Number <number>] [/.#String <string>] )) - (#= {/.#Array <array_sequence>} (/.json [() <boolean> <number> <string>])) + (/#= {/.#Array <array_sequence>} (/.json [() <boolean> <number> <string>])) (let [object (/.json {<key0> () <key1> <boolean> <key2> <number> @@ -189,11 +189,11 @@ value4 (/.field <key4> object) value5 (/.field <key5> object) value6 (/.field <key6> value5)] - (in (and (#= {/.#Null} value0) - (#= {/.#Boolean <boolean>} value1) - (#= {/.#Number <number>} value2) - (#= {/.#String <string>} value3) - (#= {/.#Array <array_sequence>} value4) - (#= {/.#Number <number>} value6)))))) + (in (and (/#= {/.#Null} value0) + (/#= {/.#Boolean <boolean>} value1) + (/#= {/.#Number <number>} value2) + (/#= {/.#String <string>} value3) + (/#= {/.#Array <array_sequence>} value4) + (/#= {/.#Number <number>} value6)))))) ))) )))) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 24c1be821..c30fb086b 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -12,8 +12,8 @@ ["<b>" binary]]] [data ["[0]" product] - ["[0]" binary ("[1]#[0]" equivalence monoid)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" binary (.open: "[1]#[0]" equivalence monoid)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]] @@ -22,7 +22,7 @@ ["[1]/[0]" block]]] [collection ["[0]" sequence] - ["[0]" list ("[1]#[0]" mix)]] + ["[0]" list (.open: "[1]#[0]" mix)]] ["[0]" format ["[1]" binary]]] [time diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 89c68a67a..dc95a00fe 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -13,15 +13,15 @@ ["p" parser ["</>" xml]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [macro ["^" pattern]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 9dd279775..82adfdc49 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -12,7 +12,7 @@ [data ["[0]" text] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 0def44bd6..b6d868fbd 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 42f0e9d38..d56fd8bdc 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -10,9 +10,9 @@ ["[0]" maybe] ["[0]" try]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" mix)] + ["[0]" list (.open: "[1]#[0]" mix)] ["[0]" set]]] [macro ["[0]" template]] diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index c2d06ce89..aba3d5948 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -12,8 +12,8 @@ [parser ["<[0]>" code]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text (.only Char) ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.only Char) (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" set (.only Set)]]] diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 9026a7029..903e13497 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -11,13 +11,13 @@ [control ["[0]" try]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] ["[0]" bit] [format ["[0]" xml] ["[0]" json]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] ["[0]" time (.only) ["[0]" day] ["[0]" month] @@ -25,7 +25,7 @@ ["[0]" duration] ["[0]" date]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] ["[0]" modulus] ["[0]" modular] [number diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 646e29e6c..c16388e4e 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -11,7 +11,7 @@ ["<[0]>" text (.only Parser)] ["<[0]>" code]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] ["[0]" macro (.only) [syntax (.only syntax:)] diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index a0cc8b90f..af36a8463 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -8,9 +8,9 @@ ["$[0]" equivalence]]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection - ["[0]" set ("[1]#[0]" equivalence)]]] + ["[0]" set (.open: "[1]#[0]" equivalence)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index 30b464449..9b61ab55d 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -6,15 +6,15 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" code]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]] + ["[0]" list (.open: "[1]#[0]" functor)]] [format [json (.only JSON)] [xml (.only XML)]]] diff --git a/stdlib/source/test/lux/documentation.lux b/stdlib/source/test/lux/documentation.lux index b6a08b480..40ad67b42 100644 --- a/stdlib/source/test/lux/documentation.lux +++ b/stdlib/source/test/lux/documentation.lux @@ -9,7 +9,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]] [format ["md" markdown]]] diff --git a/stdlib/source/test/lux/extension.lux b/stdlib/source/test/lux/extension.lux index a40850eb7..c8434e1c6 100644 --- a/stdlib/source/test/lux/extension.lux +++ b/stdlib/source/test/lux/extension.lux @@ -19,7 +19,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["<>" parser (.only) ["<[0]>" code] ["<[0]>" analysis] @@ -27,11 +27,11 @@ [data ["[0]" binary] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" sequence] - ["[0]" list ("[1]#[0]" functor)]] + ["[0]" list (.open: "[1]#[0]" functor)]] [format ["[0]F" binary]]] [macro diff --git a/stdlib/source/test/lux/ffi.js.lux b/stdlib/source/test/lux/ffi.js.lux index 20920baa6..6d0946605 100644 --- a/stdlib/source/test/lux/ffi.js.lux +++ b/stdlib/source/test/lux/ffi.js.lux @@ -7,8 +7,8 @@ [control ["[0]" try]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/ffi.jvm.lux b/stdlib/source/test/lux/ffi.jvm.lux index 9e4af45a8..0174a039f 100644 --- a/stdlib/source/test/lux/ffi.jvm.lux +++ b/stdlib/source/test/lux/ffi.jvm.lux @@ -2,7 +2,7 @@ [library [lux (.except) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] ["[0]" meta] ["[0]" debug] ["[0]" static] @@ -10,13 +10,13 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" code]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" array (.only Array)]]] @@ -25,15 +25,15 @@ ["[0]" code] ["[0]" template]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number (.only hex) ["[0]" i64] ["n" nat] - ["i" int ("[1]#[0]" equivalence)] - ["f" frac ("[1]#[0]" equivalence)]]] + ["i" int (.open: "[1]#[0]" equivalence)] + ["f" frac (.open: "[1]#[0]" equivalence)]]] [target ["[0]" jvm - ["[1]" type ("[1]#[0]" equivalence)]]]]] + ["[1]" type (.open: "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]] ["$[0]" / diff --git a/stdlib/source/test/lux/ffi.old.lux b/stdlib/source/test/lux/ffi.old.lux index 53b14d335..e5f5ab8aa 100644 --- a/stdlib/source/test/lux/ffi.old.lux +++ b/stdlib/source/test/lux/ffi.old.lux @@ -8,7 +8,7 @@ [control ["[0]" pipe]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [macro ["[0]" template]] @@ -18,7 +18,7 @@ ["n" nat] ["i" int] ["f" frac]]] - ["[0]" type ("[1]#[0]" equivalence)]]] + ["[0]" type (.open: "[1]#[0]" equivalence)]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/ffi.php.lux b/stdlib/source/test/lux/ffi.php.lux index d880303ec..22532f1b1 100644 --- a/stdlib/source/test/lux/ffi.php.lux +++ b/stdlib/source/test/lux/ffi.php.lux @@ -7,7 +7,7 @@ [control ["[0]" try]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/ffi.scm.lux b/stdlib/source/test/lux/ffi.scm.lux index d880303ec..22532f1b1 100644 --- a/stdlib/source/test/lux/ffi.scm.lux +++ b/stdlib/source/test/lux/ffi.scm.lux @@ -7,7 +7,7 @@ [control ["[0]" try]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/ffi/export.jvm.lux b/stdlib/source/test/lux/ffi/export.jvm.lux index b01c607ef..7dc0e194d 100644 --- a/stdlib/source/test/lux/ffi/export.jvm.lux +++ b/stdlib/source/test/lux/ffi/export.jvm.lux @@ -8,18 +8,18 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]]] [macro ["[0]" code] ["[0]" template]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number (.only hex) ["[0]" i64] - ["[0]" int ("[1]#[0]" equivalence)] - ["[0]" frac ("[1]#[0]" equivalence)]]]]] + ["[0]" int (.open: "[1]#[0]" equivalence)] + ["[0]" frac (.open: "[1]#[0]" equivalence)]]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/locale.lux b/stdlib/source/test/lux/locale.lux index 7116e3e67..7f4f183fb 100644 --- a/stdlib/source/test/lux/locale.lux +++ b/stdlib/source/test/lux/locale.lux @@ -8,9 +8,9 @@ ["$[0]" equivalence] ["$[0]" hash]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["[0]" encoding (.only Encoding)]] [collection ["[0]" list]]]]] diff --git a/stdlib/source/test/lux/locale/language.lux b/stdlib/source/test/lux/locale/language.lux index 66f34be4f..6c8b4f6ad 100644 --- a/stdlib/source/test/lux/locale/language.lux +++ b/stdlib/source/test/lux/locale/language.lux @@ -13,7 +13,7 @@ ["[0]" text] [collection ["[0]" set (.only Set)] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/locale/territory.lux b/stdlib/source/test/lux/locale/territory.lux index c1d82e8fc..067d68595 100644 --- a/stdlib/source/test/lux/locale/territory.lux +++ b/stdlib/source/test/lux/locale/territory.lux @@ -13,7 +13,7 @@ ["[0]" text] [collection ["[0]" set (.only Set)] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index cda98f580..f1f2bce0b 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -6,11 +6,11 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" code]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" format (.only format)]] [collection @@ -18,7 +18,7 @@ [macro ["^" pattern]] [math - ["[0]" random (.only Random) ("[1]#[0]" functor)] + ["[0]" random (.only Random) (.open: "[1]#[0]" functor)] [number ["n" nat]]] ["[0]" meta (.only) @@ -27,7 +27,7 @@ [\\library ["[0]" / (.only) [syntax (.only syntax:)] - ["[0]" code ("[1]#[0]" equivalence)] + ["[0]" code (.open: "[1]#[0]" equivalence)] ["[0]" template]]] ["[0]" / ["[1][0]" code] diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 34f759fed..f3991eda0 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -12,9 +12,9 @@ ["[0]" product] ["[0]" text] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/macro/pattern.lux b/stdlib/source/test/lux/macro/pattern.lux index 1353b17ed..6fb9ef8d0 100644 --- a/stdlib/source/test/lux/macro/pattern.lux +++ b/stdlib/source/test/lux/macro/pattern.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [macro ["[0]" code]] [math diff --git a/stdlib/source/test/lux/macro/syntax/check.lux b/stdlib/source/test/lux/macro/syntax/check.lux index c7e4dbc39..cb43a209c 100644 --- a/stdlib/source/test/lux/macro/syntax/check.lux +++ b/stdlib/source/test/lux/macro/syntax/check.lux @@ -13,7 +13,7 @@ [math ["[0]" random (.only Random)]] [macro - ["[0]" code ("[1]#[0]" equivalence)]]]] + ["[0]" code (.open: "[1]#[0]" equivalence)]]]] [\\library ["[0]" /]] ["$[0]" /// diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index 2365e0d6b..7fa3550dd 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -12,7 +12,7 @@ ["<>" parser (.only) ["<[0]>" code]]] [macro - ["[0]" code ("[1]#[0]" equivalence)]] + ["[0]" code (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]] [meta diff --git a/stdlib/source/test/lux/macro/syntax/export.lux b/stdlib/source/test/lux/macro/syntax/export.lux index a2133452c..151d72ada 100644 --- a/stdlib/source/test/lux/macro/syntax/export.lux +++ b/stdlib/source/test/lux/macro/syntax/export.lux @@ -6,11 +6,11 @@ [monad (.only do)]] [control ["[0]" maybe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" code]]] [macro - ["[0]" code ("[1]#[0]" equivalence)]] + ["[0]" code (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/macro/syntax/type/variable.lux b/stdlib/source/test/lux/macro/syntax/type/variable.lux index db7e23daa..0e1d52f6f 100644 --- a/stdlib/source/test/lux/macro/syntax/type/variable.lux +++ b/stdlib/source/test/lux/macro/syntax/type/variable.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" code]]] [math diff --git a/stdlib/source/test/lux/math.lux b/stdlib/source/test/lux/math.lux index 6c7cfd915..38c704927 100644 --- a/stdlib/source/test/lux/math.lux +++ b/stdlib/source/test/lux/math.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/math/infix.lux b/stdlib/source/test/lux/math/infix.lux index 249f8d3a2..441df11b9 100644 --- a/stdlib/source/test/lux/math/infix.lux +++ b/stdlib/source/test/lux/math/infix.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux index e0e5bc1ea..2cfc62142 100644 --- a/stdlib/source/test/lux/math/logic/fuzzy.lux +++ b/stdlib/source/test/lux/math/logic/fuzzy.lux @@ -9,7 +9,7 @@ [functor ["$[0]" contravariant]]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/math/modular.lux b/stdlib/source/test/lux/math/modular.lux index e05d7c8e9..0137ba9ae 100644 --- a/stdlib/source/test/lux/math/modular.lux +++ b/stdlib/source/test/lux/math/modular.lux @@ -2,7 +2,7 @@ [library [lux (.except) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract [monad (.only do)] ["[0]" predicate] @@ -16,7 +16,7 @@ ["[0]" exception]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/math/number/complex.lux b/stdlib/source/test/lux/math/number/complex.lux index ec11a5428..087ee1245 100644 --- a/stdlib/source/test/lux/math/number/complex.lux +++ b/stdlib/source/test/lux/math/number/complex.lux @@ -8,7 +8,7 @@ ["$[0]" equivalence]]] [data [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/math/number/frac.lux b/stdlib/source/test/lux/math/number/frac.lux index 5f4c021bd..c302d876c 100644 --- a/stdlib/source/test/lux/math/number/frac.lux +++ b/stdlib/source/test/lux/math/number/frac.lux @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [macro ["[0]" template]] [math diff --git a/stdlib/source/test/lux/math/number/i64.lux b/stdlib/source/test/lux/math/number/i64.lux index f6ade938b..550d6f03d 100644 --- a/stdlib/source/test/lux/math/number/i64.lux +++ b/stdlib/source/test/lux/math/number/i64.lux @@ -3,7 +3,7 @@ [lux (.except) ["_" test (.only Test)] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [abstract [monad (.only do)] [\\specification @@ -13,7 +13,7 @@ [math ["[0]" random (.only Random)]]]] [\\library - ["[0]" / ("#[0]" equivalence) + ["[0]" / (.open: "[1]#[0]" equivalence) [// (.only hex) ["n" nat] ["i" int]]]]) @@ -26,20 +26,20 @@ (all _.and (_.coverage [/.one? /.one] (if (/.one? idx pattern) - (#= pattern (/.one idx pattern)) - (not (#= pattern (/.one idx pattern))))) + (/#= pattern (/.one idx pattern)) + (not (/#= pattern (/.one idx pattern))))) (_.coverage [/.zero? /.zero] (if (/.zero? idx pattern) - (#= pattern (/.zero idx pattern)) - (not (#= pattern (/.zero idx pattern))))) + (/#= pattern (/.zero idx pattern)) + (not (/#= pattern (/.zero idx pattern))))) (_.coverage [/.flipped] - (#= (/.flipped idx pattern) - (if (/.one? idx pattern) - (/.zero idx pattern) - (/.one idx pattern)))) + (/#= (/.flipped idx pattern) + (if (/.one? idx pattern) + (/.zero idx pattern) + (/.one idx pattern)))) (_.coverage [/.bit] (bit#= (/.zero? idx pattern) - (#= /.false (/.and (/.bit idx) pattern)))) + (/#= /.false (/.and (/.bit idx) pattern)))) ))) (def: shift @@ -51,19 +51,19 @@ [idx (# ! each (|>> (n.% (-- /.width)) ++) random.nat)] (_.coverage [/.left_shifted /.right_shifted] (let [nullity! - (and (#= pattern (/.left_shifted 0 pattern)) - (#= pattern (/.right_shifted 0 pattern))) + (and (/#= pattern (/.left_shifted 0 pattern)) + (/#= pattern (/.right_shifted 0 pattern))) idempotency! - (and (#= pattern (/.left_shifted /.width pattern)) - (#= pattern (/.right_shifted /.width pattern))) + (and (/#= pattern (/.left_shifted /.width pattern)) + (/#= pattern (/.right_shifted /.width pattern))) movement! (let [shift (n.- idx /.width)] - (#= (/.and (/.mask idx) pattern) - (|> pattern - (/.left_shifted shift) - (/.right_shifted shift))))] + (/#= (/.and (/.mask idx) pattern) + (|> pattern + (/.left_shifted shift) + (/.right_shifted shift))))] (and nullity! idempotency! movement!)))) @@ -78,20 +78,20 @@ signed random.int] (all _.and (_.coverage [/.sign] - (bit#= (#= (.i64 0) (/.and /.sign signed)) + (bit#= (/#= (.i64 0) (/.and /.sign signed)) (i.positive? signed))) (_.coverage [/.mask] (let [mask (/.mask idx) - idempotency! (#= (/.and mask pattern) - (/.and mask (/.and mask pattern))) + idempotency! (/#= (/.and mask pattern) + (/.and mask (/.and mask pattern))) limit (++ (.nat mask)) limit! (if (n.< limit pattern) - (#= pattern (/.and mask pattern)) + (/#= pattern (/.and mask pattern)) (n.< limit (/.and mask pattern))) - empty! (#= /.false (/.mask 0)) - full! (#= /.true (/.mask /.width))] + empty! (/#= /.false (/.mask 0)) + full! (/#= /.true (/.mask /.width))] (and idempotency! limit! @@ -103,19 +103,19 @@ offset (# ! each (n.% spare) random.nat)] (_.coverage [/.region] (case size - 0 (#= /.false (/.region offset size)) - _ (#= (|> pattern - ... NNNNYYYYNNNN - (/.right_shifted offset) - ... ____NNNNYYYY - (/.left_shifted spare) - ... YYYY________ - (/.right_shifted spare) - ... ________YYYY - (/.left_shifted offset) - ... ____YYYY____ - ) - (/.and (/.region offset size) pattern))))) + 0 (/#= /.false (/.region offset size)) + _ (/#= (|> pattern + ... NNNNYYYYNNNN + (/.right_shifted offset) + ... ____NNNNYYYY + (/.left_shifted spare) + ... YYYY________ + (/.right_shifted spare) + ... ________YYYY + (/.left_shifted offset) + ... ____YYYY____ + ) + (/.and (/.region offset size) pattern))))) )))) (def: sub @@ -143,7 +143,7 @@ ($equivalence.spec (# sub sub_equivalence) (random (# sub narrow))) (_.coverage [/.sub] (let [actual (|> expected .i64 (# sub narrow) (# sub wide))] - (#= expected actual))) + (/#= expected actual))) )))))) (def: signature @@ -175,27 +175,27 @@ (_.coverage [/.false] (n.= 0 (/.ones /.false))) (_.coverage [/.or] - (and (#= /.true (/.or /.true pattern)) - (#= pattern (/.or /.false pattern)))) + (and (/#= /.true (/.or /.true pattern)) + (/#= pattern (/.or /.false pattern)))) (_.coverage [/.true] (n.= /.width (/.ones /.true))) (_.coverage [/.and] - (and (#= pattern (/.and /.true pattern)) - (#= /.false (/.and /.false pattern)))) + (and (/#= pattern (/.and /.true pattern)) + (/#= /.false (/.and /.false pattern)))) (_.coverage [/.not] - (and (#= /.false - (/.and pattern - (/.not pattern))) - (#= /.true - (/.or pattern - (/.not pattern))))) + (and (/#= /.false + (/.and pattern + (/.not pattern))) + (/#= /.true + (/.or pattern + (/.not pattern))))) (_.coverage [/.xor] - (and (#= /.true - (/.xor pattern - (/.not pattern))) - (#= /.false - (/.xor pattern - pattern)))) + (and (/#= /.true + (/.xor pattern + (/.not pattern))) + (/#= /.false + (/.xor pattern + pattern)))) (_.coverage [/.ones] (let [zero&one! (if (/.one? idx pattern) @@ -210,52 +210,52 @@ complementarity!))) (_.coverage [/.left_rotated /.right_rotated] (let [false! - (and (#= /.false (/.left_rotated idx /.false)) - (#= /.false (/.right_rotated idx /.false))) + (and (/#= /.false (/.left_rotated idx /.false)) + (/#= /.false (/.right_rotated idx /.false))) true! - (and (#= /.true (/.left_rotated idx /.true)) - (#= /.true (/.right_rotated idx /.true))) + (and (/#= /.true (/.left_rotated idx /.true)) + (/#= /.true (/.right_rotated idx /.true))) inverse! (and (|> pattern (/.left_rotated idx) (/.right_rotated idx) - (#= pattern)) + (/#= pattern)) (|> pattern (/.right_rotated idx) (/.left_rotated idx) - (#= pattern))) + (/#= pattern))) nullity! (and (|> pattern (/.left_rotated 0) - (#= pattern)) + (/#= pattern)) (|> pattern (/.right_rotated 0) - (#= pattern))) + (/#= pattern))) futility! (and (|> pattern (/.left_rotated /.width) - (#= pattern)) + (/#= pattern)) (|> pattern (/.right_rotated /.width) - (#= pattern)))] + (/#= pattern)))] (and false! true! inverse! nullity! futility!))) (_.coverage [/.reversed] - (and (|> pattern /.reversed /.reversed (#= pattern)) - (or (|> pattern /.reversed (#= pattern) not) + (and (|> pattern /.reversed /.reversed (/#= pattern)) + (or (|> pattern /.reversed (/#= pattern) not) (let [high (/.and (hex "FFFFFFFF00000000") pattern) low (/.and (hex "00000000FFFFFFFF") pattern)] - (#= (/.reversed high) - low))))) + (/#= (/.reversed high) + low))))) ..bit ..shift diff --git a/stdlib/source/test/lux/math/number/int.lux b/stdlib/source/test/lux/math/number/int.lux index 200d932ea..1509a65fc 100644 --- a/stdlib/source/test/lux/math/number/int.lux +++ b/stdlib/source/test/lux/math/number/int.lux @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 04a0418c1..733b6445e 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index b851e47eb..fe01953dc 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -10,15 +10,15 @@ ["$[0]" monoid] ["$[0]" codec]]] [control - ["[0]" maybe ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library ["[0]" / (.only) [// - ["n" nat ("[1]#[0]" equivalence)]]]]) + ["n" nat (.open: "[1]#[0]" equivalence)]]]]) (def: part (Random Nat) diff --git a/stdlib/source/test/lux/math/number/rev.lux b/stdlib/source/test/lux/math/number/rev.lux index 45ce9ff55..82b16e725 100644 --- a/stdlib/source/test/lux/math/number/rev.lux +++ b/stdlib/source/test/lux/math/number/rev.lux @@ -13,7 +13,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random]]]] [\\library @@ -21,7 +21,7 @@ [// (.only hex) ["n" nat] ["f" frac] - ["[0]" i64 ("[1]#[0]" hash)]]]]) + ["[0]" i64 (.open: "[1]#[0]" hash)]]]]) (def: signature Test diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 31119081b..87823e85a 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -2,7 +2,7 @@ [library [lux (.except) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract [equivalence (.only Equivalence)] [monad (.only do)] @@ -12,14 +12,14 @@ ["$[0]" monad]]] [control ["[0]" maybe] - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)] + ["[0]" list (.open: "[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] @@ -29,7 +29,7 @@ ["n" nat]]] [meta ["[0]" location] - ["[0]" symbol ("[1]#[0]" equivalence)]]]] + ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/meta/configuration.lux b/stdlib/source/test/lux/meta/configuration.lux index 8f9539fae..a8d7f0169 100644 --- a/stdlib/source/test/lux/meta/configuration.lux +++ b/stdlib/source/test/lux/meta/configuration.lux @@ -9,7 +9,7 @@ ["$[0]" equivalence] ["$[0]" monoid]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] ["<>" parser (.only) ["<[0]>" text] @@ -22,7 +22,7 @@ [syntax (.only syntax:)] ["[0]" code]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/static.lux b/stdlib/source/test/lux/static.lux index c5ecf3a71..2e810c517 100644 --- a/stdlib/source/test/lux/static.lux +++ b/stdlib/source/test/lux/static.lux @@ -5,14 +5,14 @@ ["@" target] ["[0]" meta] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [macro ["[0]" code]] [math - ["[0]" random ("[1]#[0]" functor)] + ["[0]" random (.open: "[1]#[0]" functor)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/js.lux b/stdlib/source/test/lux/target/js.lux index c759cc02e..84cd62bdf 100644 --- a/stdlib/source/test/lux/target/js.lux +++ b/stdlib/source/test/lux/target/js.lux @@ -9,18 +9,18 @@ [control ["[0]" pipe] ["[0]" function] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text (.only \n) ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.only \n) (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [macro ["[0]" template]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index 0dddacfb5..c2c1e49f3 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -13,8 +13,8 @@ [concurrency ["[0]" atom]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] ["[0]" format ["[1]" binary]] @@ -23,9 +23,9 @@ ["[0]" dictionary] ["[0]" sequence] ["[0]" set] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["i" int] @@ -37,7 +37,7 @@ ["[0]" / ["[1][0]" loader (.only Library)] ["[1][0]" version] - ["[1][0]" modifier ("[1]#[0]" monoid)] + ["[1][0]" modifier (.open: "[1]#[0]" monoid)] ["[1][0]" field] ["[1][0]" method (.only Method)] ["[1][0]" class] diff --git a/stdlib/source/test/lux/target/lua.lux b/stdlib/source/test/lux/target/lua.lux index 381758793..fbdc7625e 100644 --- a/stdlib/source/test/lux/target/lua.lux +++ b/stdlib/source/test/lux/target/lua.lux @@ -12,18 +12,18 @@ [control ["[0]" pipe] ["[0]" function] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text (.only \n) ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.only \n) (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [macro ["[0]" template]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["i" int] diff --git a/stdlib/source/test/lux/target/python.lux b/stdlib/source/test/lux/target/python.lux index 0b484f9ef..35fbf47c8 100644 --- a/stdlib/source/test/lux/target/python.lux +++ b/stdlib/source/test/lux/target/python.lux @@ -12,25 +12,25 @@ ["$[0]" hash]]] [control ["[0]" function] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [macro ["[0]" code]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["i" int] ["f" frac] ["[0]" i64]]]]] [\\library - ["[0]" / ("[1]#[0]" equivalence)]]) + ["[0]" / (.open: "[1]#[0]" equivalence)]]) (ffi.import: (eval [Text] "try" "?" Any)) diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux index 94e1df527..5e5588be7 100644 --- a/stdlib/source/test/lux/target/ruby.lux +++ b/stdlib/source/test/lux/target/ruby.lux @@ -11,17 +11,17 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" functor)]] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number (.only hex) ["n" nat] ["i" int] @@ -35,7 +35,7 @@ [world ["[0]" file]]]] [\\library - ["[0]" / ("[1]#[0]" equivalence)]]) + ["[0]" / (.open: "[1]#[0]" equivalence)]]) (ffi.import: (eval [Text] "try" "?" Any)) diff --git a/stdlib/source/test/lux/test.lux b/stdlib/source/test/lux/test.lux index 1a1842846..b43483870 100644 --- a/stdlib/source/test/lux/test.lux +++ b/stdlib/source/test/lux/test.lux @@ -10,7 +10,7 @@ ["[0]" async] ["[0]" atom (.only Atom)]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]] [collection ["[0]" list] diff --git a/stdlib/source/test/lux/time.lux b/stdlib/source/test/lux/time.lux index 8f478b695..456409afd 100644 --- a/stdlib/source/test/lux/time.lux +++ b/stdlib/source/test/lux/time.lux @@ -11,7 +11,7 @@ ["$[0]" codec]]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" text]]] diff --git a/stdlib/source/test/lux/time/date.lux b/stdlib/source/test/lux/time/date.lux index 1d0da3548..2d9a2486b 100644 --- a/stdlib/source/test/lux/time/date.lux +++ b/stdlib/source/test/lux/time/date.lux @@ -10,7 +10,7 @@ ["$[0]" enum] ["$[0]" codec]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" text]]] diff --git a/stdlib/source/test/lux/time/day.lux b/stdlib/source/test/lux/time/day.lux index 4537d684d..432012147 100644 --- a/stdlib/source/test/lux/time/day.lux +++ b/stdlib/source/test/lux/time/day.lux @@ -12,14 +12,14 @@ ["$[0]" enum] ["$[0]" codec]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data [collection ["[0]" list] ["[0]" set]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/time/duration.lux b/stdlib/source/test/lux/time/duration.lux index 80e516133..d637ebf2f 100644 --- a/stdlib/source/test/lux/time/duration.lux +++ b/stdlib/source/test/lux/time/duration.lux @@ -11,7 +11,7 @@ ["$[0]" monoid] ["$[0]" codec]]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/time/instant.lux b/stdlib/source/test/lux/time/instant.lux index 50c1eec56..0ae5bf04c 100644 --- a/stdlib/source/test/lux/time/instant.lux +++ b/stdlib/source/test/lux/time/instant.lux @@ -15,12 +15,12 @@ ["[0]" io]] [data [collection - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random]] [time ["[0]" duration (.only Duration)] - ["[0]" day (.only Day) ("[1]#[0]" enum)]]]] + ["[0]" day (.only Day) (.open: "[1]#[0]" enum)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/time/month.lux b/stdlib/source/test/lux/time/month.lux index 61172c7be..b1950994b 100644 --- a/stdlib/source/test/lux/time/month.lux +++ b/stdlib/source/test/lux/time/month.lux @@ -12,12 +12,12 @@ ["$[0]" enum] ["$[0]" codec]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data [collection ["[0]" set] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/time/year.lux b/stdlib/source/test/lux/time/year.lux index d96fb4539..f80e03838 100644 --- a/stdlib/source/test/lux/time/year.lux +++ b/stdlib/source/test/lux/time/year.lux @@ -12,7 +12,7 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [text ["%" format (.only format)]]] [math diff --git a/stdlib/source/test/lux/tool/compiler/arity.lux b/stdlib/source/test/lux/tool/compiler/arity.lux index cba1ec670..7ba4457d0 100644 --- a/stdlib/source/test/lux/tool/compiler/arity.lux +++ b/stdlib/source/test/lux/tool/compiler/arity.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux index 3ee106194..a1f45b42d 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -14,14 +14,14 @@ ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [macro ["[0]" template]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["f" frac]]] [meta @@ -45,7 +45,7 @@ ["[1][0]" symbol] ["[0]" location ["[2][1]" /] - ["[1]" \\library ("[1]#[0]" equivalence)]]]]]] + ["[1]" \\library (.open: "[1]#[0]" equivalence)]]]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux index 4167b14b8..6b10cb6ea 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux @@ -8,11 +8,11 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux index 0b8e456e7..362d94927 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -9,23 +9,23 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception (.only Exception)]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]] [collection ["[0]" set] ["[0]" dictionary] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number - ["n" nat ("[1]#[0]" interval)] + ["n" nat (.open: "[1]#[0]" interval)] ["i" int] ["r" rev] ["f" frac]]]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux index 1f73e45e7..f7acc50f8 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux @@ -5,19 +5,19 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception (.only Exception)]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text] [collection - ["[0]" list ("[1]#[0]" monad)]]] + ["[0]" list (.open: "[1]#[0]" monad)]]] [macro ["[0]" code]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] [meta @@ -25,7 +25,7 @@ ["$[1]" \\test]] ["[0]" configuration ["$[1]" \\test]]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["[0]" check (.only Check)]]]] [\\library ["[0]" / (.only) @@ -42,7 +42,7 @@ ["[1]/[0]" analysis ["[1]" lux]]]] [/// - ["[2][0]" phase ("[1]#[0]" monad)] + ["[2][0]" phase (.open: "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux index 832684b48..684873614 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux @@ -8,18 +8,18 @@ ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" monad)]]] + ["[0]" list (.open: "[1]#[0]" monad)]]] [macro - ["[0]" code ("[1]#[0]" equivalence)]] + ["[0]" code (.open: "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]] ["[0]" meta (.only) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index 1093d5917..ef24e378b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -6,11 +6,11 @@ ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux index 38be6c002..b78881b03 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -7,10 +7,10 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux index e2c440224..8a4730a35 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux @@ -6,8 +6,8 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -26,7 +26,7 @@ [phase ["[1][0]" extension]] [/// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [reference ["[1][0]" variable (.only Register Variable)]]]]]]] ["$[0]" // diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux index 223b22cca..a918dc13c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux @@ -7,10 +7,10 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux index 4a2f18b51..5b2c340dc 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)]] + ["[0]" try (.open: "[1]#[0]" functor)]] [data ["[0]" product]] [math @@ -14,7 +14,7 @@ [meta ["[0]" configuration ["$[1]" \\test]]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -24,7 +24,7 @@ [phase ["[2][0]" extension]] [/// - ["[2][0]" phase ("[1]#[0]" functor)]]]]]]) + ["[2][0]" phase (.open: "[1]#[0]" functor)]]]]]]) (def: .public random_state (Random Lux) 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 87ca59d95..67c097440 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 @@ -18,7 +18,7 @@ ["[0]" random] [number ["n" nat]]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -36,7 +36,7 @@ ["[1][0]" type (.only) ["$[1]" \\test]]] [/// - ["[0]" phase ("[1]#[0]" monad)] + ["[0]" phase (.open: "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]] ["[0]" / 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 2c2367a0c..f69c47c4c 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 @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [control - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -15,7 +15,7 @@ ["[0]" code]] [math ["[0]" random]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -36,7 +36,7 @@ ["[2][0]" inference ["$[1]" \\test]]] [/// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index 2db4901b8..669d747ff 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -6,22 +6,22 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception (.only Exception)]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad monoid)] + ["[0]" list (.open: "[1]#[0]" monad monoid)] ["[0]" set]]] [macro ["^" pattern] ["[0]" code]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat] ["f" frac]]] @@ -30,7 +30,7 @@ ["$[1]" \\test]] ["[0]" configuration ["$[1]" \\test]]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["[0]" check]]]] [\\library ["[0]" / (.only) @@ -48,7 +48,7 @@ ["[2][0]" complex] ["[2][0]" scope]] [/// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]]) 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 423a541aa..90730f325 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 @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" function] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -23,7 +23,7 @@ [meta ["[0]" symbol ["$[1]" \\test]]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["$[1]" \\test] ["[0]" check]]]] [\\library @@ -43,7 +43,7 @@ ["[2][0]" inference ["$[1]" \\test]]] [/// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta ["[0]" archive]]]]]]]]) 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 a6ec3d851..9f09dba69 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 @@ -6,14 +6,14 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] ["[0]" text]] [math ["[0]" random]] - ["[0]" type ("[1]#[0]" equivalence) + ["[0]" type (.open: "[1]#[0]" equivalence) ["$[1]" \\test]]]] [\\library ["[0]" / (.only) @@ -27,7 +27,7 @@ ["[2][0]" type (.only) ["$[1]" \\test]]] [/// - ["[1][0]" phase ("[1]#[0]" monad)]]]]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]]]]) (def: .public test Test diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux index 6796d5da7..66d8d5833 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -2,7 +2,7 @@ [library [lux (.except) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract [monad (.only do)]] [control @@ -24,7 +24,7 @@ ["[2][0]" type] ["[2][0]" module]] [/// - ["[1][0]" phase ("[1]#[0]" functor)]]]]]]) + ["[1][0]" phase (.open: "[1]#[0]" functor)]]]]]]) (def: (analysis state module type it ?) (-> Lux Text Type (Operation Analysis) (-> Analysis Bit) Bit) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux index c4417535c..05ddfaaff 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux @@ -12,12 +12,12 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list ("[1]#[0]" mix)]]] + ["[0]" list (.open: "[1]#[0]" mix)]]] [math ["[0]" random (.only Random)] [number 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 7159422cc..c7d2ba84e 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 @@ -14,7 +14,7 @@ ["[0]" atom]]] [data ["[0]" product]] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [macro ["[0]" code]] [meta 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 c885819a5..351098c03 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)]] + ["[0]" try (.open: "[1]#[0]" functor)]] [data ["[0]" sum] ["[0]" text (.only) @@ -17,7 +17,7 @@ ["[0]" rev] ["[0]" frac]] [collection - ["[0]" list ("[1]#[0]" functor mix monoid)] + ["[0]" list (.open: "[1]#[0]" functor mix monoid)] ["[0]" set]]] [math ["[0]" random (.only Random)]]] 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 fb46bc028..8ab54be6f 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 @@ -12,7 +12,7 @@ [number ["n" nat]] [collection - ["[0]" list ("[1]#[0]" functor mix monoid)] + ["[0]" list (.open: "[1]#[0]" functor mix monoid)] ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [macro 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 4d0ae78d3..96c5116be 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 @@ -10,9 +10,9 @@ [number ["n" nat]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]] [\\ ["[0]" / [//// 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 fca41d4c5..3e6cdda9c 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 @@ -10,7 +10,7 @@ ["n" nat]] [collection ["[0]" list]]] - ["r" math/random (.only Random) ("[1]#[0]" monad)] + ["r" math/random (.only Random) (.open: "[1]#[0]" monad)] ["_" test (.only Test)] [meta ["[0]" symbol]]] 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 d2d62f1db..954818c48 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 @@ -10,7 +10,7 @@ ["[0]" pipe] ["[0]" try]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" product] [number ["n" nat]] 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 c683c8bb8..006790ba4 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 @@ -14,7 +14,7 @@ [number ["n" nat]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]] 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 7719130c8..7e92f65ae 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -5,7 +5,7 @@ ["%" text/format (.only format)] [number ["n" nat]]] - ["r" math/random (.only Random) ("[1]#[0]" monad)] + ["r" math/random (.only Random) (.open: "[1]#[0]" monad)] ["_" test (.only Test)] [control ["[0]" try] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux index 929b99b71..fec861dfd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -8,8 +8,8 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux index 20b38598b..61080fd2c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -8,8 +8,8 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index c8135b2ad..cd422dccc 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -8,8 +8,8 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux index 9c013079f..359446987 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux @@ -13,7 +13,7 @@ ["%" format (.only format)]] [collection ["[0]" list] - ["[0]" set ("[1]#[0]" equivalence)] + ["[0]" set (.open: "[1]#[0]" equivalence)] ["[0]" sequence]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux index 87ce44514..2f8086595 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux @@ -6,7 +6,7 @@ [\\specification ["$[0]" equivalence]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux index 9bf3509c5..b62b50e3c 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -7,15 +7,15 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" binary]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [format ["[0]" binary]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux index e67f4e18e..ce5dd5566 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [parser ["<[0]>" binary]]] @@ -20,7 +20,7 @@ [\\library ["[0]" / (.only) [/// - ["[1][0]" signature ("[1]#[0]" equivalence)] + ["[1][0]" signature (.open: "[1]#[0]" equivalence)] ["[1][0]" key]]]] ["[0]" /// ["[1][0]" signature]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index f441916d2..7305277cb 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -5,8 +5,8 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" binary]]] [data @@ -15,7 +15,7 @@ [collection ["[0]" sequence (.only Sequence)] ["[0]" set (.only Set)] - ["[0]" list ("[1]#[0]" mix functor)]] + ["[0]" list (.open: "[1]#[0]" mix functor)]] [format ["[0]" binary]]] [math diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux index b54e7cc63..23a2d62c9 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -7,12 +7,12 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [parser ["<[0]>" binary]]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [format ["[0]F" binary]]] [math diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux index 1aaa9bfae..3d42ef1e1 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -5,11 +5,11 @@ [abstract [monad (.only do)]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [concurrency ["[0]" async]]] [data - ["[0]" binary ("[1]#[0]" equivalence)] + ["[0]" binary (.open: "[1]#[0]" equivalence)] [collection ["[0]" sequence]]] [math diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux index 4b31a3c36..de5344cf1 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux @@ -7,9 +7,9 @@ [control ["[0]" try] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] [data - ["[0]" binary ("[1]#[0]" equivalence) + ["[0]" binary (.open: "[1]#[0]" equivalence) ["$[1]" \\test]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux index ea51f0f9b..8091e33c8 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux @@ -8,7 +8,7 @@ ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] [math ["[0]" random]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index a50a44fc5..6df5fc3dd 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -6,20 +6,20 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["<>" parser (.only) ["<[0]>" cli]]] [data ["[0]" product] ["[0]" text] [collection - ["[0]" list ("[1]#[0]" monoid monad)]]] + ["[0]" list (.open: "[1]#[0]" monoid monad)]]] [math ["[0]" random (.only Random)] [number ["n" nat]]] [meta - ["[0]" configuration ("[1]#[0]" equivalence) + ["[0]" configuration (.open: "[1]#[0]" equivalence) ["$[1]" \\test]]]]] [\\library ["[0]" / (.only) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux index 85ea91687..988227519 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -7,7 +7,7 @@ [\\specification ["$[0]" equivalence]]] [control - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["<>" parser ["<[0]>" text]]] [math diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 6031daabf..46d9c6343 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -8,7 +8,7 @@ ["[0]" text] [collection ["[0]" set] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random (.only Random)] [number diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index ca92ca74c..eccebdfe0 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -6,18 +6,18 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] [concurrency ["[0]" async]] [parser ["<[0]>" binary]]] [data ["[0]" product] - ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [format ["[0]" tar]] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index 7145da568..a055d3408 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -5,8 +5,8 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception] [concurrency ["[0]" async]] @@ -14,12 +14,12 @@ ["<[0]>" binary]]] [data ["[0]" product] - ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" format ["[0]" tar (.only Tar)] ["[1]" binary]] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index b6d7ac312..6fa17a691 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -9,10 +9,10 @@ ["$[0]" monad]]] [control ["[0]" pipe] - ["[0]" try ("[1]#[0]" functor)] + ["[0]" try (.open: "[1]#[0]" functor)] ["[0]" exception (.only exception:)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random] diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index d6ef6ace8..37e61b319 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -8,14 +8,14 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]]] [math ["[0]" random (.only Random)] [number ["n" nat]]] [meta - ["[0]" symbol ("[1]#[0]" equivalence)]]]] + ["[0]" symbol (.open: "[1]#[0]" equivalence)]]]] [\\library ["[0]" / (.only) ["[0]" variable (.only Register)]]] diff --git a/stdlib/source/test/lux/tool/compiler/reference/variable.lux b/stdlib/source/test/lux/tool/compiler/reference/variable.lux index 082350228..cfbd5eeaa 100644 --- a/stdlib/source/test/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/reference/variable.lux @@ -8,7 +8,7 @@ ["$[0]" equivalence] ["$[0]" hash]]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/version.lux b/stdlib/source/test/lux/tool/compiler/version.lux index 96cd64fa0..cd3bf39ee 100644 --- a/stdlib/source/test/lux/tool/compiler/version.lux +++ b/stdlib/source/test/lux/tool/compiler/version.lux @@ -5,8 +5,8 @@ [abstract [monad (.only do)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 0c6d1e6fa..e93535317 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -10,20 +10,20 @@ ["[0]" pipe] ["[0]" maybe]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" array]]] [macro ["^" pattern] - ["[0]" code ("[1]#[0]" equivalence)]] + ["[0]" code (.open: "[1]#[0]" equivalence)]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library - ["[0]" / ("[1]#[0]" equivalence)]] + ["[0]" / (.open: "[1]#[0]" equivalence)]] ["[0]" / ["[1][0]" primitive] ["[1][0]" check] diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 27c63dc0b..d8e92bebc 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -2,7 +2,7 @@ [library [lux (.except type symbol) ["_" test (.only Test)] - ["[0]" type ("[1]#[0]" equivalence)] + ["[0]" type (.open: "[1]#[0]" equivalence)] [abstract ["[0]" monad (.only do)] [\\specification @@ -15,17 +15,17 @@ ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)] + ["[0]" list (.open: "[1]#[0]" functor monoid)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index 3b9179d37..cb5931ff7 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -8,7 +8,7 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random (.only Random)] diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index 4eb575a18..7a345cd53 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -9,7 +9,7 @@ [monad (.only do)] ["[0]" enum]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math diff --git a/stdlib/source/test/lux/type/primitive.lux b/stdlib/source/test/lux/type/primitive.lux index bb6defdda..15b084af1 100644 --- a/stdlib/source/test/lux/type/primitive.lux +++ b/stdlib/source/test/lux/type/primitive.lux @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code] diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index a0f2fa444..c8652e8c7 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -7,12 +7,12 @@ [\\specification ["$[0]" equivalence]]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random (.only Random)] [number - ["n" nat ("[1]#[0]" equivalence)]]]]] + ["n" nat (.open: "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index fbf318736..514d59e79 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -6,10 +6,10 @@ [predicate (.only Predicate)] [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" monad)]] + ["[0]" maybe (.open: "[1]#[0]" monad)]] [data [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index f49981fdd..a33c4817d 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -16,7 +16,7 @@ ["<[0]>" code]]] [data ["[0]" identity (.only Identity)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] ["[0]" macro (.only) [syntax (.only syntax:)] diff --git a/stdlib/source/test/lux/type/unit.lux b/stdlib/source/test/lux/type/unit.lux index 19b2bc9c2..7ea97fc3f 100644 --- a/stdlib/source/test/lux/type/unit.lux +++ b/stdlib/source/test/lux/type/unit.lux @@ -18,7 +18,7 @@ ["[0]" random (.only Random)] [number ["i" int] - ["[0]" ratio ("[1]#[0]" equivalence)]]]]] + ["[0]" ratio (.open: "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux index 9cfe5dbc5..cb0978bda 100644 --- a/stdlib/source/test/lux/world/console.lux +++ b/stdlib/source/test/lux/world/console.lux @@ -9,7 +9,7 @@ ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [math ["[0]" random]]]] diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 53c2c7ce9..2e06d0af5 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -12,8 +12,8 @@ ["[0]" async (.only Async)] ["[0]" atom (.only Atom)]]] [data - ["[0]" binary (.only Binary) ("[1]#[0]" monoid)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) (.open: "[1]#[0]" monoid)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" dictionary (.only Dictionary)] ["[0]" list]]] diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux index af69350e0..9ab9e68ec 100644 --- a/stdlib/source/test/lux/world/file/watch.lux +++ b/stdlib/source/test/lux/world/file/watch.lux @@ -11,13 +11,13 @@ [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" binary (.only Binary) (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" list]]] [math - ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) (.open: "[1]#[0]" monad)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]] diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux index f13e615a0..3ffd0edf6 100644 --- a/stdlib/source/test/lux/world/input/keyboard.lux +++ b/stdlib/source/test/lux/world/input/keyboard.lux @@ -7,7 +7,7 @@ [control ["[0]" maybe]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] [collection ["[0]" list] ["[0]" set (.only Set)]]] diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux index 21cbaa354..cf5005977 100644 --- a/stdlib/source/test/lux/world/net/http/client.lux +++ b/stdlib/source/test/lux/world/net/http/client.lux @@ -10,7 +10,7 @@ ["[0]" try (.only Try)] ["[0]" function] [concurrency - ["[0]" async ("[1]#[0]" functor)]]] + ["[0]" async (.open: "[1]#[0]" functor)]]] [data ["[0]" binary] ["[0]" product] diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux index 3d7119229..390a77515 100644 --- a/stdlib/source/test/lux/world/program.lux +++ b/stdlib/source/test/lux/world/program.lux @@ -7,13 +7,13 @@ [control ["[0]" pipe] ["[0]" io] - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try] ["[0]" exception] [parser [environment (.only Environment)]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" dictionary] ["[0]" list]]] diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux index c9960e037..c30aef45d 100644 --- a/stdlib/source/test/lux/world/shell.lux +++ b/stdlib/source/test/lux/world/shell.lux @@ -13,7 +13,7 @@ [parser ["[0]" environment (.only Environment)]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection ["[0]" list]]] [math |