From 00d5ccbc043960037f644d4ff09b6a46fd0093d0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Oct 2020 20:22:31 -0400
Subject: Type-checking macros via the Macro' type from the standard library.

---
 lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 383415c0a..0388c5c7f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -53,8 +53,8 @@
       (phase.throw extension.invalid-syntax [extension-name %synthesis input]))))
 
 (import: java/lang/Double
-  (#static MIN_VALUE Double)
-  (#static MAX_VALUE Double))
+  (#static MIN_VALUE java/lang/Double)
+  (#static MAX_VALUE java/lang/Double))
 
 (def: $String (type.class "java.lang.String" (list)))
 (def: $CharSequence (type.class "java.lang.CharSequence" (list)))
@@ -164,9 +164,9 @@
      (Nullary Inst)
      (|>> <const> (_.wrap <type>)))]
 
-  [f64::smallest (_.double (Double::MIN_VALUE))            type.double]
-  [f64::min      (_.double (f.* -1.0 (Double::MAX_VALUE))) type.double]
-  [f64::max      (_.double (Double::MAX_VALUE))            type.double]
+  [f64::smallest (_.double (java/lang/Double::MIN_VALUE))            type.double]
+  [f64::min      (_.double (f.* -1.0 (java/lang/Double::MAX_VALUE))) type.double]
+  [f64::max      (_.double (java/lang/Double::MAX_VALUE))            type.double]
   )
 
 (template [<name> <type> <op>]
-- 
cgit v1.2.3