diff options
author | Eduardo Julian | 2018-07-04 00:03:28 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-04 00:03:28 -0400 |
commit | 971d5d8aceb5087d3b3aef9db45abe9bc9c7c844 (patch) | |
tree | 98a101f7f33451b6d657c4afa548df7e72037e47 /new-luxc/source/luxc/lang/translation/jvm | |
parent | 8bfbd5f1c911bdc3266d08c156bf34de1eb8c759 (diff) |
- Implemented not-a-number and both infinities in pure Lux.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux | 11 |
1 files changed, 1 insertions, 10 deletions
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))))) |