- Implemented not-a-number and both infinities in pure Lux.

8 files changed, 2 insertions, 98 deletions

diff --git a/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
index b7dd1b58a..3f878319b 100644
--- a/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/common-lisp/procedure/common.jvm.lux
@@ -229,16 +229,6 @@
   [int//max ("lux int max")]
   )
 
-(do-template [<name> <frac>]
-  [(def: (<name> _)
-     Nullary
-     (_.double <frac>))]
-
-  [frac//not-a-number      number.not-a-number]
-  [frac//positive-infinity number.positive-infinity]
-  [frac//negative-infinity number.negative-infinity]
-  )
-
 (do-template [<name> <op>]
   [(def: (<name> [subjectO paramO])
      Binary
@@ -304,9 +294,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary _.floor/1)))))
 
 ## ## [[Text]]
diff --git a/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux
index 1d4e0e5c4..d9e64d4a1 100644
--- a/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/js/procedure/common.jvm.lux
@@ -192,10 +192,7 @@
 
 (host.import: java/lang/Double
   (#static MIN_VALUE Double)
-  (#static MAX_VALUE Double)
-  (#static NaN Double)
-  (#static POSITIVE_INFINITY Double)
-  (#static NEGATIVE_INFINITY Double))
+  (#static MAX_VALUE Double))
 
 (do-template [<name> <const> <encode>]
   [(def: (<name> _)
@@ -208,9 +205,6 @@
   [frac//smallest          Double::MIN_VALUE            runtimeT.frac]
   [frac//min               (f/* -1.0 Double::MAX_VALUE) runtimeT.frac]
   [frac//max               Double::MAX_VALUE            runtimeT.frac]
-  [frac//not-a-number      Double::NaN                  runtimeT.frac]
-  [frac//positive-infinity Double::POSITIVE_INFINITY    runtimeT.frac]
-  [frac//negative-infinity Double::NEGATIVE_INFINITY    runtimeT.frac]
   )
 
 (do-template [<name> <op>]
@@ -458,9 +452,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary frac//to-int))
           (install "encode" (unary frac//encode))
           (install "decode" (unary frac//decode)))))
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
index db92bc413..c60c424f5 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
@@ -32,10 +32,7 @@
 
 (host.import: java/lang/Double
   (#static MIN_VALUE Double)
-  (#static MAX_VALUE Double)
-  (#static NaN Double)
-  (#static POSITIVE_INFINITY Double)
-  (#static NEGATIVE_INFINITY Double))
+  (#static MAX_VALUE Double))
 
 ## [Types]
 (type: #export Translator
@@ -267,9 +264,6 @@
   [frac//smallest          ($i.double Double::MIN_VALUE)            #$.Double]
   [frac//min               ($i.double (f/* -1.0 Double::MAX_VALUE)) #$.Double]
   [frac//max               ($i.double Double::MAX_VALUE)            #$.Double]
-  [frac//not-a-number      ($i.double Double::NaN)                  #$.Double]
-  [frac//positive-infinity ($i.double Double::POSITIVE_INFINITY)    #$.Double]
-  [frac//negative-infinity ($i.double Double::NEGATIVE_INFINITY)    #$.Double]
   )
 
 (do-template [<name> <type> <op>]
@@ -598,9 +592,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary frac//to-int))
           (install "encode" (unary frac//encode))
           (install "decode" (unary frac//decode)))))
diff --git a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
index 21baddcfc..b54829a62 100644
--- a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
@@ -203,16 +203,6 @@
   [int//max "math.maxinteger"]
   )
 
-(do-template [<name> <expression>]
-  [(def: (<name> _)
-     Nullary
-     <expression>)]
-
-  [frac//not-a-number      (lua./ (lua.int 0) (lua.int 0))]
-  [frac//positive-infinity "math.huge"]
-  [frac//negative-infinity (lua.* (lua.int -1) "math.huge")]
-  )
-
 (do-template [<name> <op>]
   [(def: (<name> [subjectO paramO])
      Binary
@@ -447,9 +437,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary frac//to-int))
           (install "encode" (unary frac//encode))
           (install "decode" (unary frac//decode)))))
diff --git a/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux
index 8ce6fe1ef..73185ff66 100644
--- a/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux
@@ -236,16 +236,6 @@
   [int//max (|> (_.int 2) (_.** (_.int 63)) (_.- (_.int 1)))]
   )
 
-## (do-template [<name> <label>]
-##   [(def: (<name> _)
-##      Nullary
-##      (_.apply (list (_.string <label>)) (_.global "float")))]
-
-##   [frac//not-a-number      "nan"]
-##   [frac//positive-infinity "inf"]
-##   [frac//negative-infinity "-inf"]
-##   )
-
 (do-template [<name> <op>]
   [(def: (<name> [subjectO paramO])
      Binary
@@ -314,9 +304,6 @@
 ##           (install "smallest" (nullary frac//smallest))
 ##           (install "min" (nullary frac//min))
 ##           (install "max" (nullary frac//max))
-##           (install "not-a-number" (nullary frac//not-a-number))
-##           (install "positive-infinity" (nullary frac//positive-infinity))
-##           (install "negative-infinity" (nullary frac//negative-infinity))
 ##           (install "to-int" (unary (apply1 (_.global "int"))))
 ##           (install "encode" (unary (apply1 (_.global "repr"))))
 ##           (install "decode" (unary runtimeT.frac//decode)))))
diff --git a/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux
index f63371bd1..e2ab5113c 100644
--- a/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/python/procedure/common.jvm.lux
@@ -236,16 +236,6 @@
   [int//max (|> (python.int 2) (python.** (python.int 63)) (python.- (python.int 1)))]
   )
 
-(do-template [<name> <label>]
-  [(def: (<name> _)
-     Nullary
-     (python.apply (list (python.string <label>)) (python.global "float")))]
-
-  [frac//not-a-number      "nan"]
-  [frac//positive-infinity "inf"]
-  [frac//negative-infinity "-inf"]
-  )
-
 (do-template [<name> <op>]
   [(def: (<name> [subjectO paramO])
      Binary
@@ -334,9 +324,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary (apply1 (python.global "int"))))
           (install "encode" (unary (apply1 (python.global "repr"))))
           (install "decode" (unary runtimeT.frac//decode)))))
diff --git a/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux
index 022e1ea16..9d4fdce2a 100644
--- a/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/procedure/common.jvm.lux
@@ -227,16 +227,6 @@
   [int//max runtimeT.int//max]
   )
 
-(do-template [<name> <frac>]
-  [(def: (<name> _)
-     Nullary
-     (r.float <frac>))]
-
-  [frac//not-a-number      number.not-a-number]
-  [frac//positive-infinity number.positive-infinity]
-  [frac//negative-infinity number.negative-infinity]
-  )
-
 (do-template [<name> <op>]
   [(def: (<name> [subjectO paramO])
      Binary
@@ -316,9 +306,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary (apply1 (r.global "as.integer"))))
           (install "encode" (unary frac//encode))
           (install "decode" (unary runtimeT.frac//decode)))))
diff --git a/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux
index 7a9dfcb08..1b90e322a 100644
--- a/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/ruby/procedure/common.jvm.lux
@@ -237,16 +237,6 @@
   [int//max (|> (ruby.int 2) (ruby.pow (ruby.int 63)) (ruby.- (ruby.int 1)))]
   )
 
-(do-template [<name> <expression>]
-  [(def: (<name> _)
-     Nullary
-     <expression>)]
-
-  [frac//not-a-number      (ruby./ (ruby.float 0.0) (ruby.float 0.0))]
-  [frac//positive-infinity (ruby./ (ruby.float 0.0) (ruby.float 1.0))]
-  [frac//negative-infinity (ruby./ (ruby.float 0.0) (ruby.float -1.0))]
-  )
-
 (do-template [<name> <op>]
   [(def: (<name> [subjectO paramO])
      Binary
@@ -339,9 +329,6 @@
           (install "smallest" (nullary frac//smallest))
           (install "min" (nullary frac//min))
           (install "max" (nullary frac//max))
-          (install "not-a-number" (nullary frac//not-a-number))
-          (install "positive-infinity" (nullary frac//positive-infinity))
-          (install "negative-infinity" (nullary frac//negative-infinity))
           (install "to-int" (unary (ruby.send "floor" (list))))
           (install "encode" (unary frac//encode))
           (install "decode" (unary frac//decode)))))