[project @ 2004-08-09 10:04:33 by simonmar]
authorsimonmar <unknown>
Mon, 9 Aug 2004 10:04:33 +0000 (10:04 +0000)
committersimonmar <unknown>
Mon, 9 Aug 2004 10:04:33 +0000 (10:04 +0000)
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

index a18fc32..2b983a5 100644 (file)
@@ -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 ']'