diff options
Diffstat (limited to '')
40 files changed, 198 insertions, 231 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 11d4a8889..ba5e36662 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -4,10 +4,9 @@ [abstract ["." monad (#+ do)] ["." enum] - {[0 #spec] - [/ - ["$." equivalence] - ["$." monoid]]}] + [\spec + ["$." equivalence] + ["$." monoid]]] [control ["." try (#+ Try)] ["." exception (#+ Exception)]] @@ -19,8 +18,8 @@ [number ["." i64] ["n" nat]]]] - {1 - ["." / (#+ 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 8fa84d273..341da9beb 100644 --- a/stdlib/source/test/lux/data/bit.lux +++ b/stdlib/source/test/lux/data/bit.lux @@ -5,16 +5,15 @@ ["." random]] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." codec]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." monoid] + ["$." codec]]] [control ["." function]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export test Test diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index b2757b863..e99478ee8 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -3,12 +3,11 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." monoid] - ["$." fold] - ["$." functor (#+ Injection)]]}] + [\spec + ["$." equivalence] + ["$." monoid] + ["$." fold] + ["$." functor (#+ Injection)]]] [data ["." bit] ["." maybe] @@ -19,8 +18,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / (#+ 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 f4b780864..258c84107 100644 --- a/stdlib/source/test/lux/data/collection/bits.lux +++ b/stdlib/source/test/lux/data/collection/bits.lux @@ -4,15 +4,14 @@ [abstract [monad (#+ do)] ["." predicate] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [math ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / (#+ 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 d4ba74ed7..d68b421d9 100644 --- a/stdlib/source/test/lux/data/collection/dictionary.lux +++ b/stdlib/source/test/lux/data/collection/dictionary.lux @@ -4,10 +4,9 @@ [abstract [hash (#+ Hash)] [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." functor (#+ Injection)]]}] + [\spec + ["$." equivalence] + ["$." functor (#+ Injection)]]] [control ["." try] ["." exception]] @@ -20,8 +19,8 @@ ["." random] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: injection (Injection (/.Dictionary Nat)) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 778726329..a004e5c97 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -5,9 +5,8 @@ [monad (#+ do)] [equivalence (#+ Equivalence)] [order (#+ Order)] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [data ["." product] ["." bit ("#\." equivalence)] @@ -19,8 +18,8 @@ ["." random (#+ Random) ("#\." monad)] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export (dictionary order gen_key gen_value size) (All [k v] diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index 7473aec04..4811b1162 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -3,9 +3,8 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [data ["." bit ("#\." equivalence)] ["." maybe ("#\." monad)] @@ -17,8 +16,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export (random size gen_key gen_value) (All [v] diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux index 3efc42254..625ce2bad 100644 --- a/stdlib/source/test/lux/data/collection/list.lux +++ b/stdlib/source/test/lux/data/collection/list.lux @@ -4,15 +4,14 @@ [abstract [monad (#+ do)] ["." enum] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." fold] - ["$." functor] - ["$." apply] - ["$." monad]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." monoid] + ["$." fold] + ["$." functor] + ["$." apply] + ["$." monad]]] [control pipe ["." io] @@ -29,8 +28,8 @@ [number ["n" nat] ["." int]]]] - {1 - ["." / ("#\." monad)]}) + [\\ + ["." / ("#\." 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 b246f8187..8ddd0533a 100644 --- a/stdlib/source/test/lux/data/collection/queue.lux +++ b/stdlib/source/test/lux/data/collection/queue.lux @@ -3,10 +3,9 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." functor (#+ Injection)]]}] + [\spec + ["$." equivalence] + ["$." functor (#+ Injection)]]] [data ["." bit ("#\." equivalence)] [collection @@ -16,8 +15,8 @@ ["." random] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: injection (Injection /.Queue) diff --git a/stdlib/source/test/lux/data/collection/queue/priority.lux b/stdlib/source/test/lux/data/collection/queue/priority.lux index 4e99d2a3a..653e0ca52 100644 --- a/stdlib/source/test/lux/data/collection/queue/priority.lux +++ b/stdlib/source/test/lux/data/collection/queue/priority.lux @@ -10,8 +10,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / (#+ Queue)]}) + [\\ + ["." / (#+ Queue)]]) (def: #export (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 55d9492ff..e523fd656 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -3,14 +3,13 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." monoid] - ["$." fold] - ["$." functor (#+ Injection)] - ["$." apply] - ["$." monad]]}] + [\spec + ["$." equivalence] + ["$." monoid] + ["$." fold] + ["$." functor (#+ Injection)] + ["$." apply] + ["$." monad]]] [control ["." try (#+ Try)] ["." exception]] @@ -23,8 +22,8 @@ ["." random] [number ["n" nat]]]] - {1 - ["." / ("#\." monad)]}) + [\\ + ["." / ("#\." monad)]]) (def: signatures Test diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index d10ee90cc..1d5e111af 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -5,10 +5,9 @@ [monad (#+ do)] [equivalence (#+ Equivalence)] ["." enum] - {[0 #spec] - [/ - ["$." functor] - ["$." comonad]]}] + [\spec + ["$." functor] + ["$." comonad]]] [data ["." text ["%" format (#+ format)]] @@ -18,8 +17,8 @@ ["." random] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (implementation: (equivalence super) (All [a] (-> (Equivalence a) (Equivalence (/.Sequence a)))) diff --git a/stdlib/source/test/lux/data/collection/set.lux b/stdlib/source/test/lux/data/collection/set.lux index a0d7e446b..f577ce59f 100644 --- a/stdlib/source/test/lux/data/collection/set.lux +++ b/stdlib/source/test/lux/data/collection/set.lux @@ -4,11 +4,10 @@ [abstract [hash (#+ Hash)] [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." monoid]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] [data ["." bit ("#\." equivalence)] [collection @@ -17,8 +16,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / ("\." equivalence)]}) + [\\ + ["." / ("\." equivalence)]]) (def: gen_nat (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index feea35e2f..4e1cd4f48 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -5,10 +5,9 @@ [hash (#+ Hash)] [monad (#+ do)] ["." predicate] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash]]}] + [\spec + ["$." equivalence] + ["$." hash]]] [data ["." bit ("#\." equivalence)] [collection @@ -18,8 +17,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: count (Random Nat) diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index daf924012..385bc3c4a 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -4,9 +4,8 @@ [abstract [monad (#+ do)] [order (#+ Order)] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [data ["." bit ("#\." equivalence)] [collection @@ -15,9 +14,9 @@ ["." random (#+ Random) ("#\." monad)] [number ["n" nat]]]] - {1 + [\\ ["." / (#+ Set) - ["." //]]}) + ["." //]]]) (def: size (random.Random Nat) diff --git a/stdlib/source/test/lux/data/collection/stack.lux b/stdlib/source/test/lux/data/collection/stack.lux index ae6fbabf6..317911b6b 100644 --- a/stdlib/source/test/lux/data/collection/stack.lux +++ b/stdlib/source/test/lux/data/collection/stack.lux @@ -3,10 +3,9 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." functor (#+ Injection)]]}] + [\spec + ["$." equivalence] + ["$." functor (#+ Injection)]]] [data ["." maybe] ["." bit ("#\." equivalence)]] @@ -14,8 +13,8 @@ ["." random] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: (injection value) (Injection /.Stack) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index b7fea5e4f..91817180d 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -3,11 +3,10 @@ ["_" test (#+ Test)] [abstract ["." monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." fold] - ["$." functor]]}] + [\spec + ["$." equivalence] + ["$." fold] + ["$." functor]]] [data ["." product] [collection @@ -16,8 +15,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / (#+ Tree)]}) + [\\ + ["." / (#+ Tree)]]) (def: #export (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 55c3d9118..2c4c83466 100644 --- a/stdlib/source/test/lux/data/collection/tree/finger.lux +++ b/stdlib/source/test/lux/data/collection/tree/finger.lux @@ -13,8 +13,8 @@ [number ["n" nat]]] [type (#+ :by_example)]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: builder (/.builder text.monoid)) diff --git a/stdlib/source/test/lux/data/collection/tree/zipper.lux b/stdlib/source/test/lux/data/collection/tree/zipper.lux index 929572a37..6a7832736 100644 --- a/stdlib/source/test/lux/data/collection/tree/zipper.lux +++ b/stdlib/source/test/lux/data/collection/tree/zipper.lux @@ -3,11 +3,10 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." functor] - ["$." comonad]]}] + [\spec + ["$." equivalence] + ["$." functor] + ["$." comonad]]] [control pipe] [data @@ -21,9 +20,9 @@ [number ["n" nat]]]] ["." //] - {1 + [\\ ["." / (#+ Zipper) - ["tree" //]]}) + ["tree" //]]]) (def: move Test diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux index 50b1c1fd6..2877af081 100644 --- a/stdlib/source/test/lux/data/color.lux +++ b/stdlib/source/test/lux/data/color.lux @@ -3,11 +3,10 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." monoid]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] [data [collection ["." list]]] @@ -20,8 +19,8 @@ ["." int] ["f" frac] ["r" rev]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export random (Random /.Color) diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux index 14ec96329..bddd74593 100644 --- a/stdlib/source/test/lux/data/color/named.lux +++ b/stdlib/source/test/lux/data/color/named.lux @@ -13,9 +13,9 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 + [\\ ["." / - ["/#" //]]}) + ["/#" //]]]) (with_expansions [<colors> (as_is [letter/a [/.alice_blue diff --git a/stdlib/source/test/lux/data/format/binary.lux b/stdlib/source/test/lux/data/format/binary.lux index c667c6070..8912ae845 100644 --- a/stdlib/source/test/lux/data/format/binary.lux +++ b/stdlib/source/test/lux/data/format/binary.lux @@ -4,15 +4,14 @@ [abstract [equivalence (#+ Equivalence)] [monad (#+ do)] - {[0 #spec] - [/ - ["$." monoid]]}] + [\spec + ["$." monoid]]] [data ["." binary ("#\." equivalence)]] [math ["." random (#+ Random)]]] - {1 - ["." /]}) + [\\ + ["." /]]) (implementation: equivalence (Equivalence /.Specification) diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux index 091f64b67..5e425db79 100644 --- a/stdlib/source/test/lux/data/format/json.lux +++ b/stdlib/source/test/lux/data/format/json.lux @@ -4,10 +4,9 @@ ["." meta] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." codec]]}] + [\spec + ["$." equivalence] + ["$." codec]]] [control ["." try ("#\." functor)]] [data @@ -28,8 +27,8 @@ ["." macro ["." syntax (#+ syntax:)] ["." code]]] - {1 - ["." / (#+ JSON) ("\." equivalence)]}) + [\\ + ["." / (#+ JSON) ("\." equivalence)]]) (def: #export random (Random /.JSON) diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux index c7250a025..540eb2af1 100644 --- a/stdlib/source/test/lux/data/format/tar.lux +++ b/stdlib/source/test/lux/data/format/tar.lux @@ -32,8 +32,8 @@ [number ["n" nat] ["i" int]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: path Test diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index bd3b45216..95a06127f 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -3,10 +3,9 @@ ["_" test (#+ Test)] [abstract [monad (#+ Monad do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." codec]]}] + [\spec + ["$." equivalence] + ["$." codec]]] [control pipe ["." try] @@ -24,8 +23,8 @@ ["." random (#+ Random) ("#\." monad)] [number ["n" nat]]]] - {1 - ["." / (#+ 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 a68e11511..918eb10f6 100644 --- a/stdlib/source/test/lux/data/identity.lux +++ b/stdlib/source/test/lux/data/identity.lux @@ -3,14 +3,13 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad] - ["$." comonad]]}]] - {1 - ["." / (#+ Identity)]}) + [\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad] + ["$." comonad]]]] + [\\ + ["." / (#+ Identity)]]) (def: injection (Injection Identity) diff --git a/stdlib/source/test/lux/data/lazy.lux b/stdlib/source/test/lux/data/lazy.lux index 86d28d753..87d77ca68 100644 --- a/stdlib/source/test/lux/data/lazy.lux +++ b/stdlib/source/test/lux/data/lazy.lux @@ -3,20 +3,19 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." functor (#+ Injection Comparison)] - ["$." apply] - ["$." monad] - ["$." equivalence]]}] + [\spec + ["$." functor (#+ Injection Comparison)] + ["$." apply] + ["$." monad] + ["$." equivalence]]] [data ["." product]] [math ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / (#+ Lazy)]}) + [\\ + ["." / (#+ Lazy)]]) (def: injection (Injection Lazy) diff --git a/stdlib/source/test/lux/data/maybe.lux b/stdlib/source/test/lux/data/maybe.lux index 017d0799b..eea0e3f32 100644 --- a/stdlib/source/test/lux/data/maybe.lux +++ b/stdlib/source/test/lux/data/maybe.lux @@ -3,14 +3,13 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." monoid] - ["$." functor] - ["$." apply] - ["$." monad]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." monoid] + ["$." functor] + ["$." apply] + ["$." monad]]] [control ["." io ("#\." monad)] pipe] @@ -22,8 +21,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." / ("#\." monoid monad)]}) + [\\ + ["." / ("#\." monoid monad)]]) (def: #export test Test diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/data/name.lux index e413afc95..8c2722466 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/data/name.lux @@ -3,12 +3,11 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." codec]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." codec]]] [control pipe] [data @@ -17,8 +16,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export (random module_size short_size) (-> Nat Nat (Random Name)) diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index c20e7f5e9..3e8124dde 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -3,16 +3,15 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [math ["." random] [number ["n" nat] ["i" int]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export test Test diff --git a/stdlib/source/test/lux/data/sum.lux b/stdlib/source/test/lux/data/sum.lux index 3b37382ae..6725a7a24 100644 --- a/stdlib/source/test/lux/data/sum.lux +++ b/stdlib/source/test/lux/data/sum.lux @@ -3,9 +3,8 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [control pipe] [data @@ -17,8 +16,8 @@ [number ["n" nat] ["i" int]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export test Test diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux index 345dbdc26..1838206a8 100644 --- a/stdlib/source/test/lux/data/text.lux +++ b/stdlib/source/test/lux/data/text.lux @@ -3,12 +3,11 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." order] - ["$." monoid]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." order] + ["$." monoid]]] [control pipe] [data @@ -28,8 +27,8 @@ ["#." escape] ["#." unicode #_ ["#" set]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: bounded_size (random.Random Nat) diff --git a/stdlib/source/test/lux/data/text/buffer.lux b/stdlib/source/test/lux/data/text/buffer.lux index 852a3c951..551d7943f 100644 --- a/stdlib/source/test/lux/data/text/buffer.lux +++ b/stdlib/source/test/lux/data/text/buffer.lux @@ -10,8 +10,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: part (Random Text) diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux index b4e47d7ee..981fb2d22 100644 --- a/stdlib/source/test/lux/data/text/encoding.lux +++ b/stdlib/source/test/lux/data/text/encoding.lux @@ -3,9 +3,8 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." codec]]}] + [\spec + ["$." codec]]] [control ["." try]] [data @@ -20,8 +19,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." /]} + [\\ + ["." /]] ["." / #_ ["#." utf8]]) diff --git a/stdlib/source/test/lux/data/text/encoding/utf8.lux b/stdlib/source/test/lux/data/text/encoding/utf8.lux index 3d376811d..7f83f745d 100644 --- a/stdlib/source/test/lux/data/text/encoding/utf8.lux +++ b/stdlib/source/test/lux/data/text/encoding/utf8.lux @@ -2,15 +2,14 @@ [lux #* ["_" test (#+ Test)] [abstract - {[0 #spec] - [/ - ["$." codec]]}] + [\spec + ["$." codec]]] [data ["." text]] [math ["." random (#+ Random)]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export test Test diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux index e7f31f9d7..7cef235cd 100644 --- a/stdlib/source/test/lux/data/text/escape.lux +++ b/stdlib/source/test/lux/data/text/escape.lux @@ -24,11 +24,11 @@ ["." random (#+ Random)] [number (#+ hex) ["n" nat]]]] - {1 + [\\ ["." / [// ["." unicode #_ - ["#" set]]]]}) + ["#" set]]]]]) (def: (range max min) (-> Char Char (Random Char)) diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 1f0c2c9e6..db1615631 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -5,9 +5,8 @@ [monad (#+ do)] [equivalence (#+ Equivalence)] [functor - {[0 #spec] - [/ - ["$." contravariant]]}]] + [\spec + ["$." contravariant]]]] [control ["." try]] [data @@ -47,8 +46,8 @@ ["#." type] [macro ["#." code]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (implementation: (equivalence example) (All [a] (-> a (Equivalence (/.Format a)))) diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index fd82fdee5..481dcd17f 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -17,8 +17,8 @@ ["." random]] ["." macro [syntax (#+ syntax:)]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: (should_pass regex input) (-> (Parser Text) Text Bit) diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux index 7f77aa34f..8a41eeca2 100644 --- a/stdlib/source/test/lux/data/text/unicode/block.lux +++ b/stdlib/source/test/lux/data/text/unicode/block.lux @@ -3,11 +3,10 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash] - ["$." monoid]]}] + [\spec + ["$." equivalence] + ["$." hash] + ["$." monoid]]] [data ["." text] [collection @@ -19,8 +18,8 @@ ["." random (#+ Random)] [number (#+ hex) ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: #export random (Random /.Block) diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux index c63239cad..0fc394a63 100644 --- a/stdlib/source/test/lux/data/text/unicode/set.lux +++ b/stdlib/source/test/lux/data/text/unicode/set.lux @@ -3,9 +3,8 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence]]}] + [\spec + ["$." equivalence]]] [data ["." product] ["." bit ("#\." equivalence)] @@ -18,10 +17,10 @@ ["." / #_ ["/#" // #_ ["#." block]]] - {1 + [\\ ["." / [// - ["." block]]]}) + ["." block]]]]) (def: #export random (Random /.Set) |