1 files changed, 0 insertions, 13 deletions
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)))))