diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
39 files changed, 196 insertions, 196 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 9ab46a991..cc168c8a5 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -1,26 +1,26 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - ["." monad (#+ do)] + ["." monad {"+" [do]}] ["." enum] [\\specification ["$." equivalence] ["$." monoid]]] [control - ["." try (#+ Try)] - ["." exception (#+ Exception)]] + ["." try {"+" [Try]}] + ["." exception {"+" [Exception]}]] [data [collection ["." list]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["." i64] ["n" nat]]]]] [\\library - ["." / (#+ Binary)]]) + ["." / {"+" [Binary]}]]) (def: (succeed result) (-> (Try Bit) Bit) diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index 58fe69ca7..11ecc92c3 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." hash] diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index 0c1e1932f..5f8047ac4 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* - ["_" test (#+ Test)]]] - ["." / #_ + [lux "*" + ["_" test {"+" [Test]}]]] + ["." / "_" ["#." array] ["#." bits] ["#." list] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 08064ff74..d2d44d635 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." monoid] ["$." mix] - ["$." functor (#+ Injection)]]] + ["$." functor {"+" [Injection]}]]] [control ["." maybe]] [data @@ -17,11 +17,11 @@ ["." list] ["." set]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / (#+ Array)]]) + ["." / {"+" [Array]}]]) (def: injection (Injection Array) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 3d28272fb..d3d7d1d05 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,18 +1,18 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] ["." predicate] [\\specification ["$." equivalence]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / (#+ Bits)]]) + ["." / {"+" [Bits]}]]) (def: (size min max) (-> Nat Nat (Random Nat)) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index 60312b812..4004b8ca9 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,13 +1,13 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [hash (#+ Hash)] - [monad (#+ do)] + [hash {"+" [Hash]}] + [monad {"+" [do]}] [\\specification ["$." equivalence] - ["$." functor (#+ Injection)]]] + ["$." functor {"+" [Injection]}]]] [control ["." maybe ("#\." functor)] ["." try] diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index f409a55d9..78d0afcc1 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [order (#+ Order)] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}] + [order {"+" [Order]}] [\\specification ["$." equivalence]]] [control @@ -17,7 +17,7 @@ ["." set] ["." list ("#\." functor)]]] [math - ["." random (#+ Random) ("#\." monad)] + ["." random {"+" [Random]} ("#\." 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 a4ca3d573..18ca96820 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence]]] [control @@ -15,7 +15,7 @@ ["." set] ["." list]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 1f6749dc3..ab2809406 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] ["." enum] [\\specification ["$." equivalence] @@ -25,7 +25,7 @@ [collection ["." set]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat] ["." int]]]]] diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index 064f1891e..52de12d28 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,12 +1,12 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] - ["$." functor (#+ Injection)]]] + ["$." functor {"+" [Injection]}]]] [data ["." bit ("#\." equivalence)] [collection diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index da99e408d..7b1335d77 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,19 +1,19 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe ("#\." functor)]] [data ["." bit ("#\." equivalence)]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / (#+ Queue)]]) + ["." / {"+" [Queue]}]]) (def: .public (random size) (-> Nat (Random (Queue Nat))) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index 168fd9397..ca06073df 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -1,18 +1,18 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." monoid] ["$." mix] - ["$." functor (#+ Injection)] + ["$." functor {"+" [Injection]}] ["$." apply] ["$." monad]]] [control - ["." try (#+ Try)] + ["." try {"+" [Try]}] ["." exception]] [data ["." bit ("#\." equivalence)] diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index 4c349854b..f3a3f604c 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}] ["." enum] [\\specification ["$." functor] ["$." comonad]]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]] [math diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index 2ed9fb511..c425492d8 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [hash (#+ Hash)] - [monad (#+ do)] + [hash {"+" [Hash]}] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." hash] @@ -14,7 +14,7 @@ [collection ["." list]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 6b03b9416..1037b0ed6 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [hash (#+ Hash)] - [monad (#+ do)] + [hash {"+" [Hash]}] + [monad {"+" [do]}] ["." predicate] [\\specification ["$." equivalence] @@ -15,7 +15,7 @@ ["." set] ["." list ("#\." mix)]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index a9b171d11..2b3074039 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] - [order (#+ Order)] + [monad {"+" [do]}] + [order {"+" [Order]}] [\\specification ["$." equivalence]]] [data @@ -12,11 +12,11 @@ [collection ["." list]]] [math - ["." random (#+ Random) ("#\." monad)] + ["." random {"+" [Random]} ("#\." monad)] [number ["n" nat]]]]] [\\library - ["." / (#+ Set) + ["." / {"+" [Set]} ["." //]]]) (def: size diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index a6aa8c1dc..4fca1cb85 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,12 +1,12 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] - ["$." functor (#+ Injection)]]] + ["$." functor {"+" [Injection]}]]] [control ["." maybe]] [data diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 826e2500d..66607cc37 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - ["." monad (#+ do)] + ["." monad {"+" [do]}] [\\specification ["$." equivalence] ["$." mix] @@ -13,11 +13,11 @@ [collection ["." list ("#\." functor mix)]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library - ["." / (#+ Tree)]]) + ["." / {"+" [Tree]}]]) (def: .public (tree gen_value) (All (_ a) (-> (Random a) (Random [Nat (Tree a)]))) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 5ec0569bb..754d1b20b 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." maybe ("#\." functor)]] [data @@ -14,7 +14,7 @@ ["." random] [number ["n" nat]]] - [type (#+ :by_example)]]] + [type {"+" [:by_example]}]]] [\\library ["." /]]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index d134be2ca..8e3d064bc 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." functor] @@ -22,7 +22,7 @@ ["n" nat]]]]] ["." //] [\\library - ["." / (#+ Zipper) + ["." / {"+" [Zipper]} ["tree" //]]]) (def: move diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 2665beb41..25d103c12 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." hash] @@ -14,7 +14,7 @@ [macro ["." template]] ["." math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat] ["." int] diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 4e400e99c..c907a5cae 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [data [collection ["." list] @@ -11,7 +11,7 @@ [macro ["." template]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index 842186da7..6b0242605 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [equivalence (#+ Equivalence)] - [monad (#+ do)] + [equivalence {"+" [Equivalence]}] + [monad {"+" [do]}] [\\specification ["$." monoid]]] [data ["." binary ("#\." equivalence)]] [math - ["." random (#+ Random)]]]] + ["." random {"+" [Random]}]]]] [\\library ["." /]]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 9b885e9de..1da99c230 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] ["." meta] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." codec]]] @@ -14,22 +14,22 @@ ["." product] ["." bit] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." row] ["." dictionary] ["." set] ["." list ("#\." functor)]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat] ["." frac]]] ["." macro - ["." syntax (#+ syntax:)] + ["." syntax {"+" [syntax:]}] ["." code]]]] [\\library - ["." / (#+ JSON) ("\." equivalence)]]) + ["." / {"+" [JSON]} ("\." equivalence)]]) (def: .public random (Random /.JSON) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index a3fa4fa3f..2550c8836 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." maybe] ["." try] @@ -14,22 +14,22 @@ ["." product] ["." binary ("#\." equivalence monoid)] ["." text ("#\." equivalence) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]] - ["." unicode #_ + ["." unicode "_" ["#" set] ["#/." block]]] [collection ["." row] ["." list ("#\." mix)]] - ["." format #_ + ["." format "_" ["#" binary]]] [time - ["." instant (#+ Instant)] + ["." instant {"+" [Instant]}] ["." duration]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 0d9f9ead4..8ef920a57 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- char) - ["_" test (#+ Test)] + [lux {"-" [char]} + ["_" test {"+" [Test]}] [abstract - [monad (#+ Monad do)] + [monad {"+" [Monad do]}] [\\specification ["$." equivalence] ["$." codec]]] @@ -16,16 +16,16 @@ [data ["." name] ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." list ("#\." functor)]]] [math - ["." random (#+ Random) ("#\." monad)] + ["." random {"+" [Random]} ("#\." monad)] [number ["n" nat]]]]] [\\library - ["." / (#+ XML)]]) + ["." / {"+" [XML]}]]) (def: char_range Text diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index f9a4e3a76..39b385da3 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification - ["$." functor (#+ Injection Comparison)] + ["$." functor {"+" [Injection Comparison]}] ["$." apply] ["$." monad] ["$." comonad]]]]] [\\library - ["." / (#+ Identity)]]) + ["." / {"+" [Identity]}]]) (def: injection (Injection Identity) diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index ef4057d1c..538645e61 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." hash] @@ -14,7 +14,7 @@ [data ["." text ("#\." equivalence)]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index b779678af..636ac785a 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence]]] [math diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 44588b3b6..8fd3fa194 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence]]] [control diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index aa30ee356..509cb5769 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- char) - ["_" test (#+ Test)] + [lux {"-" [char]} + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." hash] @@ -20,13 +20,13 @@ ["." random] [number ["n" nat]]]]] - ["." / #_ + ["." / "_" ["#." buffer] ["#." encoding] ["#." format] ["#." regex] ["#." escape] - ["#." unicode #_ + ["#." unicode "_" ["#" set]]] [\\library ["." /]]) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index aa88a2ac3..28e82be88 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [data ["." text ("#\." equivalence) - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index c17b7ce36..8ebeb97f6 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." codec]]] [control @@ -17,12 +17,12 @@ [macro ["." template]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] [\\library ["." /]] - ["." / #_ + ["." / "_" ["#." utf8]]) (with_expansions [<encodings> (as_is [all/a diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index ef75a174a..b046a0dff 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract [\\specification ["$." codec]]] [data ["." text]] [math - ["." random (#+ Random)]]]] + ["." random {"+" [Random]}]]]] [\\library ["." /]]) diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 855064059..18c60e2f3 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] ["." debug] ["." meta] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." try] ["." exception] @@ -13,22 +13,22 @@ ["<.>" code]]] [data ["." bit ("#\." equivalence)] - ["." text (#+ Char) ("#\." equivalence) - ["%" format (#+ format)]] + ["." text {"+" [Char]} ("#\." equivalence) + ["%" format {"+" [format]}]] [collection - ["." set (#+ Set)]]] + ["." set {"+" [Set]}]]] [macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code] ["." template]] [math - ["." random (#+ Random)] - [number (#+ hex) + ["." random {"+" [Random]}] + [number {"+" [hex]} ["n" nat]]]]] [\\library ["." / [// - ["." unicode #_ + ["." unicode "_" ["#" set]]]]]) (def: (range max min) diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index a6a9aae06..e5b6968e0 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}] [functor [\\specification ["$." contravariant]]]] @@ -26,7 +26,7 @@ ["." duration] ["." date]] [math - ["." random (#+ Random) ("#\." monad)] + ["." random {"+" [Random]} ("#\." monad)] ["." modulus] ["." modular] [number @@ -40,7 +40,7 @@ [meta ["." location]] ["." type]]] - ["$." /// #_ + ["$." /// "_" [format ["#." xml] ["#." json]] diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 041f22d9e..26ce416ff 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,23 +1,23 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control pipe ["." try] [parser - ["<.>" text (#+ Parser)] + ["<.>" text {"+" [Parser]}] ["<.>" code]]] [data ["." text ("#\." equivalence) - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex)] + [number {"+" [hex]}] ["." random]]]] [\\library ["." /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 3c006d6d8..4f9f27295 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence] ["$." hash] @@ -16,8 +16,8 @@ [macro ["." template]] [math - ["." random (#+ Random)] - [number (#+ hex) + ["." random {"+" [Random]}] + [number {"+" [hex]} ["n" nat]]]]] [\\library ["." /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index 2ff6ade86..db18d9b7d 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* - ["_" test (#+ Test)] + [lux "*" + ["_" test {"+" [Test]}] [abstract - [monad (#+ do)] + [monad {"+" [do]}] [\\specification ["$." equivalence]]] [data @@ -12,11 +12,11 @@ [collection ["." set ("#\." equivalence)]]] [math - ["." random (#+ Random)] + ["." random {"+" [Random]}] [number ["n" nat]]]]] - ["." / #_ - ["/#" // #_ + ["." / "_" + ["/#" // "_" ["#." block]]] [\\library ["." / |