[bitc-dev] bug in character decode routines

[Swaroop Sridhar]

Jonathan S. Shapiro wrote:
>>>Actually, this is not the case. BitC does not make any statement about
>>>execution character encoding (intentionally). The current implementation
>>>is that characters are UCS4, and strings are vectors of UCS4.
>>
>>I'm a bit confused: how can the current compiler use C strings to represent
>>BitC strings in that case?
> 
> 
> It only does this for literal initialization,  IIRC, the emitted code
> includes a call to a helper routine that copies these strings into the
> BitC heap.
> 
> As a practical matter, this will probably need to change, because this
> emission decision was made before I decided to use UCS4 strings in the
> bootstrap runtime. This may be another case where a runtime
> representation decision was not fully carried through into the code
> generator.
> 
> Swaroop: can you double check whether my recollection of the current
> initialization process is right?

This is right.

Swaroop.