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