From aa42fde49c66d73f41b17d4939a9226671442a8a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 24 Jun 2020 22:31:02 -0400
Subject: Last bug fixes to get the new JVM compiler to fully process the
 standard library and its tests.

---
 lux-jvm/source/luxc/lang/directive/jvm.lux | 23 +++++++++++------------
 1 file changed, 11 insertions(+), 12 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/directive/jvm.lux')

diff --git a/lux-jvm/source/luxc/lang/directive/jvm.lux b/lux-jvm/source/luxc/lang/directive/jvm.lux
index 27b1c8688..23d2fb6d5 100644
--- a/lux-jvm/source/luxc/lang/directive/jvm.lux
+++ b/lux-jvm/source/luxc/lang/directive/jvm.lux
@@ -492,7 +492,7 @@
   (dictionary.new nat.hash))
 
 (def: bytecode
-  (-> (/.Bytecode /.Label) Inst)
+  (-> (/.Bytecode /.Label) jvm.Inst)
   (|>> [..fresh]
        ..relabel-bytecode
        product.right
@@ -500,15 +500,15 @@
        row.to-list
        _.fuse))
 
-(type: Pseudo-Handler
-  (-> Text (List Synthesis) (Try (/.Bytecode /.Label))))
+(type: Handler
+  (generation.Handler jvm.Anchor (/.Bytecode /.Label) jvm.Definition))
 
-(def: (true-handler pseudo)
-  (-> Pseudo-Handler jvm.Handler)
+(def: (true-handler extender pseudo)
+  (-> jvm.Extender Any jvm.Handler)
   (function (_ extension-name phase archive inputs)
-    (|> (pseudo extension-name inputs)
-        (:: try.monad map ..bytecode)
-        phase.lift)))
+    (do phase.monad
+      [bytecode ((extender pseudo) extension-name phase archive inputs)]
+      (wrap (..bytecode (:coerce (/.Bytecode /.Label) bytecode))))))
 
 (def: (def::generation extender)
   (-> jvm.Extender
@@ -518,10 +518,9 @@
       (^ (list nameC valueC))
       (do phase.monad
         [[_ _ name] (lux/.evaluate! archive Text nameC)
-         [_ _ pseudo-handlerV] (lux/.evaluate! archive ..Pseudo-Handler valueC)
-         _ (|> pseudo-handlerV
-               (:coerce ..Pseudo-Handler)
-               ..true-handler
+         [_ handlerV] (lux/.generator archive (:coerce Text name) ..Handler valueC)
+         _ (|> handlerV
+               (..true-handler extender)
                (extension.install extender (:coerce Text name))
                directive.lift-generation)
          _ (directive.lift-generation
-- 
cgit v1.2.3