Type-checking macros via the Macro' type from the standard library.

1 files changed, 5 insertions, 5 deletions

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>]