aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/language/lux/generation.lux')
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/generation.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index 1499d8081..42ad80162 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -190,7 +190,7 @@
(def: .public (symbol prefix)
(All (_ anchor expression directive)
(-> Text (Operation anchor expression directive Text)))
- (# phase.monad each (|>> %.nat (format prefix)) ..next))
+ (at phase.monad each (|>> %.nat (format prefix)) ..next))
(def: .public (enter_module module)
(All (_ anchor expression directive)
@@ -206,7 +206,7 @@
(All (_ anchor expression directive)
(-> unit.ID [(Maybe unit.ID) expression] (Operation anchor expression directive Any)))
(function (_ (^.let state+ [bundle state]))
- (case (# (the #host state) evaluate label code)
+ (case (at (the #host state) evaluate label code)
{try.#Success output}
{try.#Success [state+ output]}
@@ -217,7 +217,7 @@
(All (_ anchor expression directive)
(-> directive (Operation anchor expression directive Any)))
(function (_ (^.let state+ [bundle state]))
- (case (# (the #host state) execute code)
+ (case (at (the #host state) execute code)
{try.#Success output}
{try.#Success [state+ output]}
@@ -228,7 +228,7 @@
(All (_ anchor expression directive)
(-> unit.ID (Maybe Text) [(Maybe unit.ID) expression] (Operation anchor expression directive [Text Any directive])))
(function (_ (^.let stateE [bundle state]))
- (case (# (the #host state) define context custom code)
+ (case (at (the #host state) define context custom code)
{try.#Success output}
{try.#Success [stateE output]}