open System
printfn "Code Point / UTF-32 via \\U: \U0001F47E";
// The line below (using value that works in gmcs 4.6.2) raises error (as it should):
// "FS1245: \U80000041 is not a valid Unicode character escape sequence"
//printfn "Code Point / UTF-32 via \\U: \U80000041";
// The line below (using the surrogate pair for U+1F47E) raises error (as it should):
// "FS1245: \UD83DDC7E is not a valid Unicode character escape sequence"
printfn "Code Point / UTF-32 via \\U: \UD83DDC7E";
b3BlbiBTeXN0ZW0KCnByaW50Zm4gIkNvZGUgUG9pbnQgLyBVVEYtMzIgdmlhIFxcVTogXFUwMDAxRjQ3RSI7CgovLyBUaGUgbGluZSBiZWxvdyAodXNpbmcgdmFsdWUgdGhhdCB3b3JrcyBpbiBnbWNzIDQuNi4yKSByYWlzZXMgZXJyb3IgKGFzIGl0IHNob3VsZCk6Ci8vICJGUzEyNDU6IFxVODAwMDAwNDEgaXMgbm90IGEgdmFsaWQgVW5pY29kZSBjaGFyYWN0ZXIgZXNjYXBlIHNlcXVlbmNlIgovL3ByaW50Zm4gIkNvZGUgUG9pbnQgLyBVVEYtMzIgdmlhIFxcVTogXFU4MDAwMDA0MSI7CgoKLy8gVGhlIGxpbmUgYmVsb3cgKHVzaW5nIHRoZSBzdXJyb2dhdGUgcGFpciBmb3IgVSsxRjQ3RSkgcmFpc2VzIGVycm9yIChhcyBpdCBzaG91bGQpOgovLyAiRlMxMjQ1OiBcVUQ4M0REQzdFIGlzIG5vdCBhIHZhbGlkIFVuaWNvZGUgY2hhcmFjdGVyIGVzY2FwZSBzZXF1ZW5jZSIKcHJpbnRmbiAiQ29kZSBQb2ludCAvIFVURi0zMiB2aWEgXFxVOiBcVUQ4M0REQzdFIjsK