From 7d2607a34183662bb640644888fb52281a2d3ab4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Oct 2019 00:58:36 -0400
Subject: The new compiler can compile & run the stdlib's test suite.

---
 new-luxc/source/luxc/lang/translation/jvm/extension/host.lux | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/jvm/extension/host.lux')

diff --git a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux
index ca6e31bfd..ea7ba6d33 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/extension/host.lux
@@ -11,9 +11,9 @@
    [data
     ["." product]
     ["." maybe]
+    ["." text ("#@." equivalence)]
     [number
      ["." nat]]
-    ["." text ("#@." equivalence)]
     [collection
      ["." list ("#@." monad)]
      ["." dictionary (#+ Dictionary)]
@@ -921,7 +921,8 @@
     (#.Left returnT)
     (case (type.primitive? returnT)
       (#.Left returnT)
-      _.ARETURN
+      (|>> (_.CHECKCAST returnT)
+           _.ARETURN)
       
       (#.Right returnT)
       (cond (or (:: type.equivalence = type.boolean returnT)
@@ -994,7 +995,8 @@
                                                            self-name arguments returnT exceptionsT
                                                            bodyS])
                                                (do @
-                                                 [bodyG (generate bodyS)]
+                                                 [bodyG (generation.with-specific-context class-name
+                                                          (generate bodyS))]
                                                  (wrap (_def.method #$.Public
                                                                     (if strict-fp?
                                                                       ($_ $.++M $.finalM $.strictM)
-- 
cgit v1.2.3