From b8ee29b22fbaa7a01f2754b4d6dd9af52e02017c Mon Sep 17 00:00:00 2001
From: Joel Martin <github@martintribe.org>
Date: Thu, 18 Dec 2014 20:33:49 -0600
Subject: All: add keywords.

Also, fix nth and count to match cloure.
---
 php/printer.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'php/printer.php')

diff --git a/php/printer.php b/php/printer.php
index 3839931..130d31b 100644
--- a/php/printer.php
+++ b/php/printer.php
@@ -23,7 +23,9 @@ function _pr_str($obj, $print_readably=True) {
         }
         return "{" . implode(" ", $ret) . "}";
     } elseif (is_string($obj)) {
-        if ($print_readably) {
+        if (strpos($obj, chr(0x7f)) === 0) {
+            return ":".substr($obj,1);
+        } elseif ($print_readably) {
             $obj = preg_replace('/"/', '\\"', preg_replace('/\\\\/', '\\\\\\\\', $obj));
             return '"' . $obj . '"';
         } else {
-- 
cgit v1.2.3