diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
36 files changed, 107 insertions, 71 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index c6514691e..296867c13 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -2,7 +2,6 @@ [library [lux (.except) [ffi (.only)] - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] ["[0]" monad (.only do)] @@ -44,7 +43,9 @@ ["[0]" type] ["[0]" code] [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) (.use "[1]#[0]" equivalence) ["!" \\unsafe] diff --git a/stdlib/source/test/lux/data/bit.lux b/stdlib/source/test/lux/data/bit.lux index a0ee85ca0..edd3fd68b 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [control ["[0]" function]] [math - ["[0]" random]]]] + ["[0]" random]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection.lux b/stdlib/source/test/lux/data/collection.lux index f1fa1792e..3362ee4bb 100644 --- a/stdlib/source/test/lux/data/collection.lux +++ b/stdlib/source/test/lux/data/collection.lux @@ -1,7 +1,8 @@ (.require [library [lux (.except list) - ["_" test (.only Test)]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["[1][0]" array] ["[1][0]" bits] diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 32b189124..f12014f24 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [functor (.only)] [monad (.only do)] @@ -23,7 +22,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Array) ["!" \\unsafe]]]) diff --git a/stdlib/source/test/lux/data/collection/bits.lux b/stdlib/source/test/lux/data/collection/bits.lux index 98d288dc5..379cfd131 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -12,7 +11,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Bits)]]) diff --git a/stdlib/source/test/lux/data/collection/dictionary.lux b/stdlib/source/test/lux/data/collection/dictionary.lux index f9eeb51fe..369bddd2d 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -20,7 +19,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 5cb3bc1c1..7736202d0 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -19,7 +18,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index f915d4316..6bb1808f7 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] ["[0]" enum] @@ -28,7 +27,9 @@ ["[0]" random (.only Random)] [number ["n" nat] - ["[0]" int]]]]] + ["[0]" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" monad)]]) diff --git a/stdlib/source/test/lux/data/collection/list/property.lux b/stdlib/source/test/lux/data/collection/list/property.lux index d8ae753ef..a6e4f0d77 100644 --- a/stdlib/source/test/lux/data/collection/list/property.lux +++ b/stdlib/source/test/lux/data/collection/list/property.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -18,7 +17,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/queue.lux b/stdlib/source/test/lux/data/collection/queue.lux index d047930f2..b1889edc9 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -15,7 +14,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 13e01a0b3..b0ca6a4f9 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)]] [control @@ -11,7 +10,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Queue)]]) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index ac58c3008..dac8c85a5 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -23,7 +22,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" monad)]]) diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index f4544abf4..16d7294d8 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -16,7 +15,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 64b07d09c..16e7986fa 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [hash (.only Hash)] [monad (.only do)] @@ -19,7 +18,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 51688a128..cc68dbb85 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [order (.only Order)] @@ -14,7 +13,9 @@ [math ["[0]" random (.only Random) (.use "[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Set) ["[0]" //]]]) diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index 51dbc5dba..51357230f 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/stream.lux b/stdlib/source/test/lux/data/collection/stream.lux index b8b40e495..df001ce0e 100644 --- a/stdlib/source/test/lux/data/collection/stream.lux +++ b/stdlib/source/test/lux/data/collection/stream.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -17,7 +16,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index 3f560f85d..1193c4e9e 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract ["[0]" monad (.only do)] [\\specification @@ -22,7 +21,9 @@ ["n" nat]]] [meta [macro - ["^" pattern]]]]] + ["^" pattern]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" / (.only Tree) diff --git a/stdlib/source/test/lux/data/collection/tree/finger.lux b/stdlib/source/test/lux/data/collection/tree/finger.lux index 7d9faf595..f291a6e51 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -15,7 +14,9 @@ [number ["n" nat]]] [meta - [type (.only by_example)]]]] + [type (.only by_example)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 19f4d71ed..0da1f808d 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] ["[0]" //] [\\library ["[0]" / (.only Zipper) diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index fa4d1f9d3..e098211cb 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["n" nat] ["f" frac] ["r" rev] - ["[0]" int]]]]] + ["[0]" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 5bb0ca32b..34a5a5a3d 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -14,7 +13,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) ["/[1]" //]]]) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index b64a685a2..d39552093 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except Variant Record) - ["_" test (.only Test)] [abstract [codec (.except)] [monad (.only do)] @@ -45,7 +44,9 @@ ["[0]" instant ["[0]/[1]" \\test]] ["[0]" duration - ["[0]/[1]" \\test]]]]]] + ["[0]/[1]" \\test]]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\polytypic] ["[0]" \\parser] [\\library diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index 5665efaec..1101f9ca1 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -32,7 +31,9 @@ [world [time ["[0]" instant (.only Instant)] - ["[0]" duration]]]]] + ["[0]" duration]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index c1d456cf1..c4cccc987 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except char symbol) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -27,7 +26,9 @@ ["[0]" type (.use "[1]#[0]" equivalence)] [macro ["^" pattern] - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] ["[0]" \\parser] [\\library ["[0]" / (.use "[1]#[0]" equivalence)]]) diff --git a/stdlib/source/test/lux/data/identity.lux b/stdlib/source/test/lux/data/identity.lux index 050117d2d..a27cc32f7 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -1,14 +1,15 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad] - ["$[0]" comonad]]]]] + ["$[0]" comonad]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Identity)]]) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 2bfd265f8..af76cff0c 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -10,7 +9,9 @@ ["[0]" random] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index d4b18571d..11430bb32 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -17,7 +16,9 @@ ["[0]" random] [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 66655823f..dca84b015 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except char) - ["_" test (.only Test)] [abstract [monad (.only do)] [equivalence (.only Equivalence)] @@ -57,7 +56,9 @@ ["[0]" month] ["[0]" instant] ["[0]" duration] - ["[0]" date]]]]] + ["[0]" date]]] + [test + ["_" property (.only Test)]]]] ["$[0]" // [format ["[1][0]" xml] diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 3d8e4b250..54f74359c 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [data @@ -10,7 +9,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index 7464a5934..2e5b0fad9 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -20,7 +19,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]] ["[0]" / diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index e8e4df424..38e57a1b0 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -1,14 +1,15 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [\\specification ["$[0]" codec]]] [data ["[0]" text]] [math - ["[0]" random (.only Random)]]]] + ["[0]" random (.only Random)]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index 7509dcf58..1ac4b1904 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] ["[0]" debug] [abstract [monad (.only do)]] @@ -23,7 +22,9 @@ ["<[1]>" \\parser]] [macro [syntax (.only syntax)] - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only) [// diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 7485c1d05..d5be70ce1 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ ["<[1]>" \\parser]] ["[0]" macro (.only) [syntax (.only syntax)] - ["[0]" expansion]]]]] + ["[0]" expansion]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 34f1ab7cd..75756fd45 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -19,7 +18,9 @@ ["n" nat]]] [meta [macro - ["[0]" template]]]]] + ["[0]" template]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index bdca45423..b5dbad749 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)] [\\specification @@ -14,7 +13,9 @@ [math ["[0]" random (.only Random)] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] ["[0]" / ["/[1]" // ["[1][0]" block]]] |