String.sub q (pos + 1) (String.length q - pos - 1))
in
debug_print (lazy (Printf.sprintf "QUOTATION = %s; ARG = %s" quotation arg));
- if quotation = "unicode" then
- let text = TXtok (loc, x, expand_unicode_macro arg) in
- {used = []; text = text; styp = STlid (loc, "string")}
+ if quotation = "unicode" then
+ AStok (loc, x, Some (ATexpr (loc, expand_unicode_macro arg)))
else
assert false
]