
15 Jan
2009
15 Jan
'09
6:35 a.m.
1) In a Python string it is available the \U{name} escape, where name is a character name in the Unicode database.
As an example: foo = u"abc\N{VULGAR FRACTION ONE HALF}"
I think you can use quasi quotation of ghc to achieve this ? Your code would look like this then: let foo = [$mystr|abc\N{VULGAR FRACTION ONE HALF}] Sincerly Marc Weber