fork download
  1. open System
  2.  
  3. printfn "Code Point / UTF-32 via \\U: \U0001F47E";
  4.  
  5. // The line below (using value that works in gmcs 4.6.2) raises error (as it should):
  6. // "FS1245: \U80000041 is not a valid Unicode character escape sequence"
  7. //printfn "Code Point / UTF-32 via \\U: \U80000041";
  8.  
  9.  
  10. // The line below (using the surrogate pair for U+1F47E) raises error (as it should):
  11. // "FS1245: \UD83DDC7E is not a valid Unicode character escape sequence"
  12. printfn "Code Point / UTF-32 via \\U: \UD83DDC7E";
  13.  
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
/home/xJWlSQ/prog.fs(12,9): error FS1245: \UD83DDC7E is not a valid Unicode character escape sequence
stdout
Standard output is empty