Turned all "lux frac ???" extensions to "lux f64 ???".

1 files changed, 7 insertions, 7 deletions

diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux
index cead0848e..e9a72b2f1 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux
@@ -150,11 +150,11 @@
      (Unary Inst)
      (|>> inputI <prepare> <transform>))]
 
-  [int::frac (_.unwrap #_t.Long) (<| (_.wrap #_t.Double) _.L2D)]
+  [int::f64 (_.unwrap #_t.Long) (<| (_.wrap #_t.Double) _.L2D)]
   [int::char (_.unwrap #_t.Long)
    ((|>> _.L2I _.I2C (_.INVOKESTATIC "java.lang.Character" "toString" (_t.method (list _t.char) (#.Some $String) (list)) #0)))]
 
-  [frac::int (_.unwrap #_t.Double) (<| (_.wrap #_t.Long) _.D2L)]
+  [frac::i64 (_.unwrap #_t.Double) (<| (_.wrap #_t.Long) _.D2L)]
   [frac::encode (_.unwrap #_t.Double)
    (_.INVOKESTATIC "java.lang.Double" "toString" (_t.method (list _t.double) (#.Some $String) (list)) #0)]
   [frac::decode ..check-stringI
@@ -276,12 +276,12 @@
           (bundle.install "/" (binary int::/))
           (bundle.install "%" (binary int::%))
           (bundle.install "<" (binary int::<))
-          (bundle.install "frac" (unary int::frac))
+          (bundle.install "f64" (unary int::f64))
           (bundle.install "char" (unary int::char)))))
 
-(def: bundle::frac
+(def: bundle::f64
   Bundle
-  (<| (bundle.prefix "frac")
+  (<| (bundle.prefix "f64")
       (|> (: Bundle bundle.empty)
           (bundle.install "+" (binary frac::+))
           (bundle.install "-" (binary frac::-))
@@ -293,7 +293,7 @@
           (bundle.install "smallest" (nullary frac::smallest))
           (bundle.install "min" (nullary frac::min))
           (bundle.install "max" (nullary frac::max))
-          (bundle.install "int" (unary frac::int))
+          (bundle.install "i64" (unary frac::i64))
           (bundle.install "encode" (unary frac::encode))
           (bundle.install "decode" (unary frac::decode)))))
 
@@ -324,6 +324,6 @@
       (|> bundle::lux
           (dictionary.merge bundle::i64)
           (dictionary.merge bundle::int)
-          (dictionary.merge bundle::frac)
+          (dictionary.merge bundle::f64)
           (dictionary.merge bundle::text)
           (dictionary.merge bundle::io))))