[mercury-users] Quotation marks

[Nicholas Nethercote]

Hi,

I've noticed that Mercury uses pairs of apostrophes and backticks around 
words, like `this':

   zinc.m:032: Syntax error at token 'main': operator or `.' expected.

   zinc.m:001:   warning: module `io' is imported in the interface, but is not

I'm seeing it in G12 also.  I've seen an opinion that this should be 
avoided, and either proper Unicode or single apostrophes should be 
preferred, like 'this':

   http://www.cl.cam.ac.uk/~mgk25/ucs/quotes.html

Any thoughts about this?

Nick
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------