diff options
Diffstat (limited to '')
| -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" |