From 82486a5f51266171590ebe02bdd79b3ab209faf1 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Wed, 4 Jun 2014 06:55:34 -0700
Subject: [PATCH] prettyprint.backend: fix pprint for new escape codes.

---
 basis/prettyprint/backend/backend.factor | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/basis/prettyprint/backend/backend.factor b/basis/prettyprint/backend/backend.factor
index ec76a79d3c..b5709dbc1c 100644
--- a/basis/prettyprint/backend/backend.factor
+++ b/basis/prettyprint/backend/backend.factor
@@ -99,10 +99,13 @@ M: f pprint* drop \ f pprint-word ;
 : ch>ascii-escape ( ch -- ch' ? )
     H{
         { CHAR: \a CHAR: a  }
+        { CHAR: \b CHAR: b  }
         { CHAR: \e CHAR: e  }
+        { CHAR: \f CHAR: f  }
         { CHAR: \n CHAR: n  }
         { CHAR: \r CHAR: r  }
         { CHAR: \t CHAR: t  }
+        { CHAR: \v CHAR: v  }
         { CHAR: \0 CHAR: 0  }
         { CHAR: \\ CHAR: \\ }
         { CHAR: \" CHAR: \" }