2013-12-07 04:09:43 +00:00
|
|
|
// Unicode characters are allowed in comments.
|
|
|
|
|
//
|
|
|
|
|
// Latin 1 Supplement: £§¶ÜÞ
|
|
|
|
|
// Latin Extended-A: ĐĦŋœ
|
|
|
|
|
// Latin Extended-B: ƂƢƩǁ
|
|
|
|
|
// Other stuff: ឃᢆ᯽₪ℜ↩⊗┺░
|
|
|
|
|
// Emoji: ☃☺♣
|
|
|
|
|
|
2013-12-14 23:28:18 +00:00
|
|
|
// TODO: What about combining characters?
|
2013-12-07 04:09:43 +00:00
|
|
|
|
2014-01-05 20:27:12 +00:00
|
|
|
IO.print("ok") // expect: ok
|
