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/python/procedure/common.jvm.lux   | 13 -------------
 1 file changed, 13 deletions(-)

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

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