aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase/generation/python
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/generation/python')
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/python/case.lux4
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/python/function.lux2
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/python/loop.lux4
-rw-r--r--stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux2
4 files changed, 5 insertions, 7 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux
index d0f887385..80a142b37 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/python/case.lux
@@ -6,7 +6,7 @@
["ex" exception (#+ exception:)]]
[data
["." text
- format]
+ ["%" format (#+ format)]]
[collection
["." list ("#@." functor fold)]
["." set]]]
@@ -206,7 +206,7 @@
(def: (gensym prefix)
(-> Text (Operation SVar))
- (:: ////.monad map (|>> %n (format prefix) _.var) ///.next))
+ (:: ////.monad map (|>> %.nat (format prefix) _.var) ///.next))
(def: #export (case generate [valueS pathP])
(-> Phase [Synthesis Path] (Operation (Expression Any)))
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/function.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/function.lux
index 0cbcdde37..c70ca9c37 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/python/function.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/python/function.lux
@@ -6,8 +6,6 @@
pipe]
[data
["." product]
- [text
- format]
[collection
["." list ("#@." functor fold)]]]
[target
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/loop.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/loop.lux
index a58f02141..f0d75ef29 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/python/loop.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/python/loop.lux
@@ -5,7 +5,7 @@
[data
["." product]
[text
- format]
+ ["%" format (#+ format)]]
[collection
["." list ("#@." functor)]]]
[target
@@ -21,7 +21,7 @@
(def: #export (scope generate [start initsS+ bodyS])
(-> Phase (Scope Synthesis) (Operation (Expression Any)))
(do ////.monad
- [@loop (:: @ map (|>> %n (format "loop") _.var) ///.next)
+ [@loop (:: @ map (|>> %.nat (format "loop") _.var) ///.next)
initsO+ (monad.map @ generate initsS+)
bodyO (///.with-anchor @loop
(generate bodyS))
diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux
index 3fd58ef1b..5524980f6 100644
--- a/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux
+++ b/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux
@@ -10,7 +10,7 @@
[number (#+ hex)
["." i64]]
["." text
- format]
+ ["%" format (#+ format)]]
[collection
["." list ("#@." functor)]]]
["." macro