snapshot for camlp5 v5

[helm.git] / components / syntax_extensions / pa_unicode_macro.ml

diff --git a/components/syntax_extensions/pa_unicode_macro.ml b/components/syntax_extensions/pa_unicode_macro.ml
index 436766862b714ba78af312270b60b669ef0c35f3..a0051edfc9290491239f7407305ffaa2edd1e3fa 100644 (file)
--- a/components/syntax_extensions/pa_unicode_macro.ml
+++ b/components/syntax_extensions/pa_unicode_macro.ml
@@ -51,9 +51,12 @@ EXTEND
            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
+        if quotation = "unicode" then 
+          AStok (loc, x, Some (ATexpr (loc, expand_unicode_macro arg)))
+(*
           let text = TXtok (loc, x, expand_unicode_macro arg) in
           {used = []; text = text; styp = STlid (loc, "string")}
+*)
         else
           assert false
       ]