diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/case.lux | 24 |
1 files changed, 10 insertions, 14 deletions
diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index ec9a36675..6206fa3a1 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -156,18 +156,14 @@ (let [__tuple__ (: (-> (List Synthesis) Synthesis) (|>> list.reversed _list_ [9 #0] synthesis.variant _code_)) __form__ (: (-> (List Synthesis) Synthesis) - (|>> list.reversed _list_ [8 #0] synthesis.variant _code_)) + (|>> list.reversed _list_ [7 #0] synthesis.variant _code_)) __text__ (: (-> Text Synthesis) (function (_ value) (_code_ (synthesis.variant [5 #0 (synthesis.text value)])))) - __identifier__ (: (-> Symbol Synthesis) - (function (_ [module short]) - (_code_ (synthesis.variant [6 #0 (synthesis.tuple (list (synthesis.text module) - (synthesis.text short)))])))) - __tag__ (: (-> Symbol Synthesis) - (function (_ [module short]) - (_code_ (synthesis.variant [7 #0 (synthesis.tuple (list (synthesis.text module) - (synthesis.text short)))])))) + __symbol__ (: (-> Symbol Synthesis) + (function (_ [module short]) + (_code_ (synthesis.variant [6 #0 (synthesis.tuple (list (synthesis.text module) + (synthesis.text short)))])))) __list__ (: (-> (List Synthesis) Synthesis) (list#mix (function (_ head tail) (__form__ (list (__tag__ ["" "Item"]) head tail))) @@ -176,13 +172,13 @@ (function (_ func arg) (__form__ (list func arg))))] (|> _end_ - (_item_ (__apply__ (__identifier__ ["" "form$"]) - (__list__ (list (__apply__ (__identifier__ ["" "tag$"]) + (_item_ (__apply__ (__symbol__ ["" "form$"]) + (__list__ (list (__apply__ (__symbol__ ["" "tag$"]) (__tuple__ (list (__text__ .prelude_module) (__text__ "Item")))) - (__identifier__ ["" "export?-meta"]) - (__identifier__ ["" "tail"]))))) - (_item_ (__tuple__ (list (__identifier__ ["" "tail"])))) + (__symbol__ ["" "export?-meta"]) + (__symbol__ ["" "tail"]))))) + (_item_ (__tuple__ (list (__symbol__ ["" "tail"])))) )))) (def: special_path |