aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux')
-rw-r--r--stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux
index 60c1309a1..b12c5d271 100644
--- a/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux
+++ b/stdlib/source/library/lux/meta/compiler/language/lux/phase/translation/lua/loop.lux
@@ -3,7 +3,7 @@
(.require
[library
- [lux (.except Label Scope Synthesis)
+ [lux (.except Label Scope)
[abstract
["[0]" monad (.only do)]]
[data
@@ -27,7 +27,7 @@
["[1][0]" reference]
["//[1]" ///
["[0]" phase]
- ["[0]" synthesis (.only Scope Synthesis)]
+ ["[0]" synthesis (.only Scope)]
["[1][0]" translation]
["//[1]" ///
[meta
@@ -56,8 +56,8 @@
body))))
(def .public (scope! statement expression archive as_expression? [start initsS+ bodyS])
- ... (Translator! (Scope Synthesis))
- (-> Phase! Phase Archive Bit (Scope Synthesis)
+ ... (Translator! (Scope synthesis.Term))
+ (-> Phase! Phase Archive Bit (Scope synthesis.Term)
(Operation [(List Expression) Statement]))
(when initsS+
... function/false/non-independent loop
@@ -80,7 +80,7 @@
body!))]))))
(def .public (scope statement expression archive [start initsS+ bodyS])
- (-> Phase! (Translator (Scope Synthesis)))
+ (-> Phase! (Translator (Scope synthesis.Term)))
(when initsS+
... function/false/non-independent loop
{.#End}
@@ -121,7 +121,7 @@
(in (_.apply initsO+ instantiation)))))
(def .public (again! statement expression archive argsS+)
- (Translator! (List Synthesis))
+ (Translator! (List synthesis.Term))
(do [! phase.monad]
[[offset @scope] /////translation.anchor
argsO+ (monad.each ! (expression archive) argsS+)]