From f9e33ae96aec4741385a576719786092c9e68043 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 4 Jun 2022 19:34:42 -0400 Subject: De-sigil-ification: # --- stdlib/source/specification/compositor/generation/structure.lux | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/structure.lux') diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index d914c309f..86054b07e 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -31,8 +31,8 @@ (def: (variant run) (-> Runner Test) (do [! r.monad] - [num_tags (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) - tag_in (|> r.nat (# ! each (n.% num_tags))) + [num_tags (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) + tag_in (|> r.nat (at ! each (n.% num_tags))) .let [last?_in (|> num_tags -- (n.= tag_in))] value_in r.i64] (_.property (%.symbol (symbol synthesis.variant)) @@ -67,7 +67,7 @@ (def: (tuple run) (-> Runner Test) (do [! r.monad] - [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) tuple_in (r.list size r.i64)] (_.property (%.symbol (symbol synthesis.tuple)) (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in)) -- cgit v1.2.3