On Wed, Mar 10, 2010 at 1:10 PM, Jonathan S. Shapiro <[email protected]> wrote:
> Once again: string representation is not the issue at hand. The
> question is only what the size of the "char" data type should be.
Are strings arrays of char and is that exposed by the API?
If not, then just make char as large as ever necessary (uint32?). The
only way to get a char from a string is with things like:
char c = string.getCharacter(i)
If the language does not expose the string representation in any way,
why would you not make char the largest you ever need?
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
