Re: String != [Char]

...

...

...

...

"Gabriel" == Gabriel Dos Reis 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