diff options
| author | Eduardo Julian | 2021-08-23 02:30:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-23 02:30:53 -0400 |
| commit | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (patch) | |
| tree | c730b4ca89af366779b0ad0f46fae705b5c2bcbc /stdlib/source/specification/compositor | |
| parent | 1ea83ecadccc5adee1bdb35bd11527c3982c015e (diff) | |
The Python compiler can now be compiled by the new JVM compiler.
Diffstat (limited to 'stdlib/source/specification/compositor')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/case.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 8508220ed..87fc1a5fc 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -13,7 +13,7 @@ ["n" nat] ["f" frac]] [collection - ["." list ("#\." fold)]]] + ["." list ("#\." mix)]]] [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 _item_ _end_))] + (list\mix _item_ _end_))] (let [__tuple__ (: (-> (List Synthesis) Synthesis) (|>> list.reversed _list_ [9 #0] synthesis.variant _code_)) __form__ (: (-> (List Synthesis) Synthesis) @@ -169,9 +169,9 @@ (_code_ (synthesis.variant [7 #0 (synthesis.tuple (list (synthesis.text module) (synthesis.text short)))])))) __list__ (: (-> (List Synthesis) Synthesis) - (list\fold (function (_ head tail) - (__form__ (list (__tag__ ["" "Item"]) head tail))) - (__tag__ ["" "End"]))) + (list\mix (function (_ head tail) + (__form__ (list (__tag__ ["" "Item"]) head tail))) + (__tag__ ["" "End"]))) __apply__ (: (-> Synthesis Synthesis Synthesis) (function (_ func arg) (__form__ (list func arg))))] |