From 53704218a3705132dbe807a8ef54f938809f84d5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 1 Oct 2022 16:33:20 -0400
Subject: New format for extensions [part 0]

---
 lux-jvm/source/program.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'lux-jvm/source/program.lux')

diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index 85b517bbd..e87263ce8 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -106,9 +106,9 @@
              (ffi.write! 1 (as java/lang/Object lux)))
          apply_method))))
 
-(def (phase_wrapper archive)
-  (-> Archive (Operation Anchor (Bytecode Any) Definition phase.Wrapper))
-  (at phase.monad in (|>>)))
+(def phase_wrapper
+  phase.Wrapper
+  (|>>))
 
 (def .public platform
   (IO [java/lang/ClassLoader
@@ -127,8 +127,8 @@
           platform.#phase_wrapper ..phase_wrapper
           platform.#write product.right]])))
 
-(def (extender phase_wrapper)
-  (-> phase.Wrapper extension.Extender)
+(def extender
+  extension.Extender
   ... TODO: Stop relying on coercions ASAP.
   (<| (as extension.Extender)
       (function (@self handler))
@@ -175,7 +175,7 @@
                                       (analysis.bundle loader host)
                                       (io.io platform)
                                       generation.bundle
-                                      (|>> ..extender (declaration.bundle loader))
+                                      (declaration.bundle loader ..extender)
                                       (/program.program /runtime.class_name)
                                       /reference.constant
                                       [Anchor (type_literal (Bytecode Any)) Definition]
-- 
cgit v1.2.3