diff options
author | Eduardo Julian | 2020-11-28 19:45:56 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-11-28 19:45:56 -0400 |
commit | a02b7bf8ff358ccfa35b03272d28537aeac723ae (patch) | |
tree | 66f27c97f192d31d7cbee6b87be5ac6546640253 /stdlib/source/spec/compositor/generation/case.lux | |
parent | 889139602b77e4387a6e8bfbedacc2a08703e976 (diff) |
Added "private" macro to lux/debug.
Diffstat (limited to 'stdlib/source/spec/compositor/generation/case.lux')
-rw-r--r-- | stdlib/source/spec/compositor/generation/case.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/spec/compositor/generation/case.lux b/stdlib/source/spec/compositor/generation/case.lux index 764d7351b..908fef201 100644 --- a/stdlib/source/spec/compositor/generation/case.lux +++ b/stdlib/source/spec/compositor/generation/case.lux @@ -7,13 +7,13 @@ [pipe (#+ case>)] ["." try (#+ Try)]] [data - ["." text ("#@." equivalence) + ["." text ("#\." equivalence) ["%" format (#+ format)]] [number ["n" nat] ["f" frac]] [collection - ["." list ("#@." fold)]]] + ["." list ("#\." fold)]]] [math ["r" random (#+ Random)]] [tool @@ -152,7 +152,7 @@ (function (_ head tail) (synthesis.variant [0 #1 (synthesis.tuple (list head tail))]))) _list_ (: (-> (List Synthesis) Synthesis) - (list@fold _cons_ _nil_))] + (list\fold _cons_ _nil_))] (let [__tuple__ (: (-> (List Synthesis) Synthesis) (|>> list.reverse _list_ [9 #0] synthesis.variant _code_)) __form__ (: (-> (List Synthesis) Synthesis) @@ -169,7 +169,7 @@ (_code_ (synthesis.variant [7 #0 (synthesis.tuple (list (synthesis.text module) (synthesis.text short)))])))) __list__ (: (-> (List Synthesis) Synthesis) - (list@fold (function (_ head tail) + (list\fold (function (_ head tail) (__form__ (list (__tag__ ["" "Cons"]) head tail))) (__tag__ ["" "Nil"]))) __apply__ (: (-> Synthesis Synthesis Synthesis) @@ -247,7 +247,7 @@ (-> Runner Test) ($_ _.and (_.test "===" - (and (text@= (synthesis.%path special-path) + (and (text\= (synthesis.%path special-path) (synthesis.%path special-pattern-path)) (:: synthesis.path-equivalence = special-path special-pattern-path))) (_.test "CODE" |