From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Fri, 28 Jun 2013 06:34:58 +0000 (-0400)
Subject: Fix printout of primitive strings
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=068f80f3e62ff9b54a29608b0d62f6c135125159;p=dyna2

Fix printout of primitive strings

We now rely on Show to do the quotation; this may not be correct for all
backends, but it is less wrong than before.
---

diff --git a/src/Dyna/Term/TTerm.hs b/src/Dyna/Term/TTerm.hs
index c2c63ca..32938e8 100644
--- a/src/Dyna/Term/TTerm.hs
+++ b/src/Dyna/Term/TTerm.hs
@@ -54,7 +54,7 @@ data TBase = TNumeric !(Either Integer Double)
 instance PP.Pretty TBase where
     pretty (TNumeric (Left x))  = PP.pretty x
     pretty (TNumeric (Right x)) = PP.pretty x
-    pretty (TString s)          = PP.dquotes (PP.pretty s)
+    pretty (TString s)          = PP.text $ show s
 
 ------------------------------------------------------------------------}}}
 -- Terms                                                                {{{