aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/compositor/generation/case.lux24
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