From e8bbadc69fa0828c14605bda8cae60df10948f08 Mon Sep 17 00:00:00 2001 From: simonmar Date: Mon, 9 Aug 2004 10:04:33 +0000 Subject: [PATCH] [project @ 2004-08-09 10:04:33 by simonmar] quotes: use an appostrophe at both ends rather than a grave accent at the front and an apostrophe at the end. Previously `quotes' now 'quotes' the latter is more correct. See http://www.cl.cam.ac.uk/~mgk25/ucs/quotes.html fpr details. --- Text/PrettyPrint/HughesPJ.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Text/PrettyPrint/HughesPJ.hs b/Text/PrettyPrint/HughesPJ.hs index a18fc32..2b983a5 100644 --- a/Text/PrettyPrint/HughesPJ.hs +++ b/Text/PrettyPrint/HughesPJ.hs @@ -413,7 +413,7 @@ rational n = text (show n) -- SIGBJORN wrote instead: -- rational n = text (show (fromRationalX n)) -quotes p = char '`' <> p <> char '\'' +quotes p = char '\'' <> p <> char '\'' doubleQuotes p = char '"' <> p <> char '"' parens p = char '(' <> p <> char ')' brackets p = char '[' <> p <> char ']' -- 1.7.10.4