]> hydra-www.ietfng.org Git - dyna2/commitdiff
ENH: pprint no longer wraps variables in quotes
authorTim Vieira <tim.f.vieira@gmail.com>
Sat, 1 Dec 2012 18:43:55 +0000 (13:43 -0500)
committerTim Vieira <tim.f.vieira@gmail.com>
Sat, 1 Dec 2012 18:43:55 +0000 (13:43 -0500)
src/Dyna/Analysis/NormalizeParse.hs

index a7f131e5a69ec54114bca5afd2333cfcddd409f4..30a24259c42088c183a8a1310b6e184f78c5520a 100644 (file)
@@ -310,6 +310,6 @@ pp ((Rule h a e result), AS {as_evals = evals, as_unifs = unifs}) =
     p (UTerm (TFunctor fn args)) = parens $ hcat $ punctuate (text " ") $ (pretty fn : (map p args))
     p (UTerm (TNumeric (Left x))) = text $ show x
     p (UTerm (TNumeric (Right x))) = text $ show x
-    p (UVar x) = text $ show x
+    p (UVar x) = pretty x
 
     q x = valign $ map (\(x,y)-> parens $ pretty x <+> p y) $ M.toList x