Details about wide-character support about compcert HOT 3 OPEN

I'm afraid CompCert's support for multi-byte characters in string and char literals is nonexistent at the moment, while support for wide strings and wide chars is flaky... None of that stuff was exercised by our current users.

There are two issues that can easily be fixed: the crash and the wrong initialization of c by L'\x3b1'.

I don't know yet how to go about UTF8 chars in string and wide string literals, though.

from compcert.

Fixed the two easy issues in commit [master d3959ce].

Chapter 5 of the CompCert manual does document that multi-byte characters are not supported.

I leave this support as a feature wish.

from compcert.

Excellent, thank you very much.

I do not have much use for wide strings, so it's probably not worth spending more time on it. The fixed crash is already more than enough for my needs.

from compcert.