From 068f80f3e62ff9b54a29608b0d62f6c135125159 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Fri, 28 Jun 2013 02:34:58 -0400 Subject: [PATCH] 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. --- src/Dyna/Term/TTerm.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 {{{ -- 2.50.1