From 374ccf07246484eb7beb2cd87f3fc88396373ee1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 20 Aug 2021 03:12:49 -0400
Subject: More fixes.

---
 lux-python/commands.md        | 5 +++++
 lux-python/source/program.lux | 8 ++++----
 2 files changed, 9 insertions(+), 4 deletions(-)

(limited to 'lux-python')

diff --git a/lux-python/commands.md b/lux-python/commands.md
index 7ea35927c..2e816d319 100644
--- a/lux-python/commands.md
+++ b/lux-python/commands.md
@@ -32,6 +32,11 @@ cd ~/lux/lux-python/ \
 # Try
 
 ```
+cd ~/lux/stdlib/ \
+&& lein clean \
+&& java -jar ~/lux/lux-python/target/program.jar build --source ~/lux/stdlib/source --target ~/lux/stdlib/target --module test/lux \
+&& python3 ~/lux/stdlib/target/program.py
+
 ## Compile Lux's Standard Library's tests using a JVM-based compiler.
 cd ~/lux/stdlib/ \
 && lein clean \
diff --git a/lux-python/source/program.lux b/lux-python/source/program.lux
index 2949fa54e..1d75f0e98 100644
--- a/lux-python/source/program.lux
+++ b/lux-python/source/program.lux
@@ -429,7 +429,7 @@
                                            (exception.except ..invaid_phase_application [partial_application (array.size inputs)])))))))
                                
                                (def: (extender phase_wrapper)
-                                 (-> platform.Phase_Wrapper Extender)
+                                 (-> phase.Wrapper Extender)
                                  ... TODO: Stop relying on coercions ASAP.
                                  (<| (:as Extender)
                                      (function (_ handler))
@@ -457,14 +457,14 @@
 
         @.python
         (def: (extender phase_wrapper handler)
-          (-> platform.Phase_Wrapper Extender)
+          (-> phase.Wrapper Extender)
           (:expected handler))}))
 
 (def: (phase_wrapper archive)
-  (-> Archive (runtime.Operation platform.Phase_Wrapper))
+  (-> Archive (runtime.Operation phase.Wrapper))
   (do phase.monad
     []
-    (in (:as platform.Phase_Wrapper
+    (in (:as phase.Wrapper
              (..host_phase (list))))))
 
 (def: platform
-- 
cgit v1.2.3