From 971d5d8aceb5087d3b3aef9db45abe9bc9c7c844 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 4 Jul 2018 00:03:28 -0400
Subject: - Implemented not-a-number and both infinities in pure Lux.

---
 .../luxc/lang/translation/php/procedure/common.jvm.lux      | 13 -------------
 1 file changed, 13 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/php')

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)))))
-- 
cgit v1.2.3