diff options
Diffstat (limited to 'stdlib/source/test/lux/data')
10 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux index 6ee71541c..9ab46a991 100644 --- a/stdlib/source/test/lux/data/binary.lux +++ b/stdlib/source/test/lux/data/binary.lux @@ -43,7 +43,7 @@ (\ random.monad in output))))) (def: (throws? exception try) - (All [e a] (-> (Exception e) (Try a) Bit)) + (All (_ e a) (-> (Exception e) (Try a) Bit)) (case try (#try.Failure error) (exception.match? exception error) diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux index 739756640..f409a55d9 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux @@ -24,7 +24,7 @@ ["." /]]) (def: .public (dictionary order gen_key gen_value size) - (All [k v] + (All (_ k v) (-> (Order k) (Random k) (Random v) Nat (Random (/.Dictionary k v)))) (case size 0 diff --git a/stdlib/source/test/lux/data/collection/dictionary/plist.lux b/stdlib/source/test/lux/data/collection/dictionary/plist.lux index f83e4cf82..a4ca3d573 100644 --- a/stdlib/source/test/lux/data/collection/dictionary/plist.lux +++ b/stdlib/source/test/lux/data/collection/dictionary/plist.lux @@ -22,7 +22,7 @@ ["." /]]) (def: .public (random size gen_key gen_value) - (All [v] + (All (_ v) (-> Nat (Random Text) (Random v) (Random (/.PList v)))) (do random.monad [keys (random.set text.hash size gen_key) diff --git a/stdlib/source/test/lux/data/collection/row.lux b/stdlib/source/test/lux/data/collection/row.lux index b5ba88171..168fd9397 100644 --- a/stdlib/source/test/lux/data/collection/row.lux +++ b/stdlib/source/test/lux/data/collection/row.lux @@ -115,7 +115,7 @@ (and (/.within_bounds? sample good_index) (not (/.within_bounds? sample bad_index)))) (_.cover [/.index_out_of_bounds] - (let [fails! (: (All [a] (-> (Try a) Bit)) + (let [fails! (: (All (_ a) (-> (Try a) Bit)) (function (_ situation) (case situation (#try.Success member) diff --git a/stdlib/source/test/lux/data/collection/sequence.lux b/stdlib/source/test/lux/data/collection/sequence.lux index ace5fa0cb..4c349854b 100644 --- a/stdlib/source/test/lux/data/collection/sequence.lux +++ b/stdlib/source/test/lux/data/collection/sequence.lux @@ -22,7 +22,7 @@ ["." /]]) (implementation: (equivalence super) - (All [a] (-> (Equivalence a) (Equivalence (/.Sequence a)))) + (All (_ a) (-> (Equivalence a) (Equivalence (/.Sequence a)))) (def: (= reference subject) (\ (list.equivalence super) = @@ -30,7 +30,7 @@ (/.first 100 subject)))) (def: (iterations step) - (All [a] + (All (_ a) (-> (-> a a) (-> a (/.Sequence a)))) (/.iterations diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index 55928932f..6b03b9416 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -26,7 +26,7 @@ (\ random.monad each (|>> (n.% 10) ++) random.nat)) (def: .public (random size hash count element) - (All [a] (-> Nat (Hash a) (Random Nat) (Random a) (Random (/.Set a)))) + (All (_ a) (-> Nat (Hash a) (Random Nat) (Random a) (Random (/.Set a)))) (do {! random.monad} [elements (random.set hash size element) element_counts (random.list size ..count)] diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux index 31b8b0405..a9b171d11 100644 --- a/stdlib/source/test/lux/data/collection/set/ordered.lux +++ b/stdlib/source/test/lux/data/collection/set/ordered.lux @@ -24,7 +24,7 @@ (\ random.monad each (n.% 100) random.nat)) (def: .public (random size &order gen_value) - (All [a] (-> Nat (Order a) (Random a) (Random (Set a)))) + (All (_ a) (-> Nat (Order a) (Random a) (Random (Set a)))) (case size 0 (random\in (/.empty &order)) diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux index d48a8d208..35b43bb9b 100644 --- a/stdlib/source/test/lux/data/collection/tree.lux +++ b/stdlib/source/test/lux/data/collection/tree.lux @@ -20,7 +20,7 @@ ["." / (#+ Tree)]]) (def: .public (tree gen_value) - (All [a] (-> (Random a) (Random [Nat (Tree a)]))) + (All (_ a) (-> (Random a) (Random [Nat (Tree a)]))) (do {! random.monad} [value gen_value num_children (\ ! each (n.% 2) random.nat) diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index 5f604f1f8..a6a9aae06 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -53,14 +53,14 @@ ["." /]]) (implementation: (equivalence example) - (All [a] (-> a (Equivalence (/.Format a)))) + (All (_ a) (-> a (Equivalence (/.Format a)))) (def: (= reference subject) (text\= (reference example) (subject example)))) (def: random_contravariant - (Random (Ex [a] [(/.Format a) - (Random a)])) + (Random (Ex (_ a) [(/.Format a) + (Random a)])) ($_ random.either (random\in [/.bit random.bit]) (random\in [/.nat random.nat]) diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index 1e77a7904..041f22d9e 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -43,7 +43,7 @@ false))) (def: (should_fail regex input) - (All [a] (-> (Parser a) Text Bit)) + (All (_ a) (-> (Parser a) Text Bit)) (|> input (<text>.result regex) (case> (#try.Failure _) |