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 c2c63ca6530ddee82dc1e6e227cfbc5f10a6f2a0..32938e8496137daf9bca7cda0832867b9c06ffa5 100644 (file)
--- 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                                                                {{{