diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/meta/annotation.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux index c9a0f6946..772a403ad 100644 --- a/stdlib/source/test/lux/meta/annotation.lux +++ b/stdlib/source/test/lux/meta/annotation.lux @@ -34,13 +34,13 @@ (random.ascii/alpha 1))) (def: (random_sequence random) - (All [a] (-> (Random a) (Random (List a)))) + (All (_ a) (-> (Random a) (Random (List a)))) (do {! random.monad} [size (|> random.nat (\ ! each (nat.% 3)))] (random.list size random))) (def: (random_record random) - (All [a] (-> (Random a) (Random (List [a a])))) + (All (_ a) (-> (Random a) (Random (List [a a])))) (do {! random.monad} [size (|> random.nat (\ ! each (nat.% 3)))] (random.list size (random.and random random)))) |