diff options
| author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
| commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
| tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/specification/compositor/generation/structure.lux | |
| parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) | |
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/specification/compositor/generation/structure.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/structure.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 1b98fc558..9045c60e1 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -11,11 +11,11 @@ [number ["n" nat] ["i" int]] - ["[0]" text ("[1]\[0]" equivalence) + ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" [format]}]] [collection ["[0]" array {"+" [Array]}] - ["[0]" list ("[1]\[0]" functor)]]] + ["[0]" list ("[1]#[0]" functor)]]] [math ["r" random]] ["[0]" ffi {"+" [import:]}] @@ -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 (# ! each (|>> (n.% 10) (n.max 2)))) + tag_in (|> r.nat (# ! each (n.% num_tags))) .let [last?_in (|> num_tags -- (n.= tag_in))] value_in r.i64] (_.test (%.name (name_of synthesis.variant)) @@ -51,7 +51,7 @@ same_tag? (|> tag_out ffi.int_to_long (:as Nat) (n.= tag_in)) same_flag? (case last?_out {.#Some last?_out'} - (and last?_in (text\= "" (:as Text last?_out'))) + (and last?_in (text#= "" (:as Text last?_out'))) {.#None} (not last?_in)) @@ -66,10 +66,10 @@ (def: (tuple run) (-> Runner Test) (do [! r.monad] - [size (|> r.nat (\ ! each (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) tuple_in (r.list size r.i64)] (_.test (%.name (name_of synthesis.tuple)) - (|> (synthesis.tuple (list\each (|>> synthesis.i64) tuple_in)) + (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in)) (run "tuple") (case> {try.#Success tuple_out} (let [tuple_out (:as (Array Any) tuple_out)] |