If the float is infinite, print the INF constant

cwi-swat · May 4, 2014 · ee78214 · ee78214
1 parent fb13b72
commit ee78214
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/lib/Rascal/RascalPrinter.php b/lib/Rascal/RascalPrinter.php
@@ -1002,8 +1002,12 @@ public function pprintParam(\PhpParser\Node\Param $node)
 
     public function pprintDNumberScalar(\PhpParser\Node\Scalar\DNumber $node)
     {
-        $fragment = "float(" . sprintf('%f', $node->value) . ")";
-        $fragment = "scalar(" . $fragment . ")";
+    	if (is_infinite($node->value)) {
+	        $fragment = "fetchConst(name(\"INF\"))";
+	    } else {
+	    	$fragment = "float(" . sprintf('%f', $node->value) . ")";
+	        $fragment = "scalar(" . $fragment . ")";
+	    }
         $fragment .= $this->annotateASTNode($node);
 
         return $fragment;