String != [Char]

[Colin Paul Adams]

>>>>> "Gabriel" == Gabriel Dos Reis <gdr at integrable-solutions.net> writes:

    Gabriel> On Mon, Mar 26, 2012 at 5:08 AM, Christian Siefkes

    Gabriel> It is not the precision of Char or char that is the issue
    Gabriel> here.  It has been clarified at several points that Char is
    Gabriel> not a Unicode character, but a Unicode code point. 

That's not what the standard says:

6.1.2 Characters and Strings

The character type Char is an enumeration whose values represent Unicode
characters [2]. 

[2]   Unicode Consortium. Unicode
standard. http://unicode.org/standard/standard.html. 

-- 
Colin Adams
Preston Lancashire
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments