add space in application

igorw · igorw · commit 9b156632184b · 2013-12-28T19:55:01.000+01:00
diff --git a/src/dumper.php b/src/dumper.php
@@ -14,7 +14,7 @@ function dump($exp)
     }
 
     list($f, $arg) = $exp;
-    return dump($f).(is_application($arg) ? '('.dump($arg).')' : dump($arg));
+    return dump($f).' '.(is_application($arg) ? '('.dump($arg).')' : dump($arg));
 }
 
 function is_application($exp)

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ function dump($exp)`
`14`	`14`	`}`
`15`	`15`
`16`	`16`	`list($f, $arg) = $exp;`
`17`		`- return dump($f).(is_application($arg) ? '('.dump($arg).')' : dump($arg));`
	`17`	`+ return dump($f).' '.(is_application($arg) ? '('.dump($arg).')' : dump($arg));`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`function is_application($exp)`