aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux')
-rw-r--r--stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux22
1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux b/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux
index af49f8ee1..e4cf0140e 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/statement/lux.lux
@@ -12,7 +12,7 @@
["." maybe]
["." error]
[text
- format]
+ ["%" format (#+ format)]]
[collection
["." list ("#;." functor)]
["." dictionary]]]
@@ -50,7 +50,7 @@
(handler extension-name phase inputs)
(#error.Failure error)
- (////.throw ///.invalid-syntax [extension-name %code inputs]))))
+ (////.throw ///.invalid-syntax [extension-name %.code inputs]))))
## TODO: Inline "evaluate!'" into "evaluate!" ASAP
(def: (evaluate!' generate code//type codeS)
@@ -63,7 +63,7 @@
(do ////.monad
[codeT (generate codeS)
count ////generation.next
- codeV (////generation.evaluate! (format "evaluate" (%n count)) codeT)]
+ codeV (////generation.evaluate! (format "evaluate" (%.nat count)) codeT)]
(wrap [code//type codeT codeV]))))
(def: (evaluate! type codeC)
@@ -157,14 +157,14 @@
[type valueT valueN value] (..definition full-name #.None valueC)
_ (/////statement.lift-analysis
(module.define short-name (#.Right [exported? type annotations value])))
- #let [_ (log! (format "Definition " (%name full-name)))]
+ #let [_ (log! (format "Definition " (%.name full-name)))]
_ (/////statement.lift-generation
(////generation.learn full-name valueN))
_ (..refresh expander host-analysis)]
(wrap /////statement.no-requirements))
_
- (////.throw ///.invalid-syntax [extension-name %code inputsC+]))))
+ (////.throw ///.invalid-syntax [extension-name %.code inputsC+]))))
(def: (def::type-tagged expander host-analysis)
(-> Expander /////analysis.Bundle Handler)
@@ -182,7 +182,7 @@
(do ////.monad
[_ (module.define short-name (#.Right [exported? type annotations value]))]
(module.declare-tags tags exported? (:coerce Type value))))
- #let [_ (log! (format "Definition " (%name full-name)))]
+ #let [_ (log! (format "Definition " (%.name full-name)))]
_ (/////statement.lift-generation
(////generation.learn full-name valueN))
_ (..refresh expander host-analysis)]
@@ -217,9 +217,9 @@
(exception: #export (cannot-alias-an-alias {local Alias} {foreign Alias} {target Name})
(exception.report
- ["Local alias" (%name local)]
- ["Foreign alias" (%name foreign)]
- ["Target definition" (%name target)]))
+ ["Local alias" (%.name local)]
+ ["Foreign alias" (%.name foreign)]
+ ["Target definition" (%.name target)]))
(def: (define-alias alias original)
(-> Text Name (/////analysis.Operation Any))
@@ -268,7 +268,7 @@
(wrap /////statement.no-requirements))
_
- (////.throw ///.invalid-syntax [extension-name %code inputsC+]))))]
+ (////.throw ///.invalid-syntax [extension-name %.code inputsC+]))))]
[def::analysis /////analysis.Handler /////statement.lift-analysis]
[def::synthesis /////synthesis.Handler /////statement.lift-synthesis]
@@ -321,7 +321,7 @@
(wrap /////statement.no-requirements))
_
- (////.throw ///.invalid-syntax [extension-name %code inputsC+]))))
+ (////.throw ///.invalid-syntax [extension-name %.code inputsC+]))))
(def: (bundle::def expander host-analysis program)
(All [anchor expression statement]