[r2003-11-24 16:06:22 by szach] use UTF8 for schema syntax

Original author: szach
Date: 2003-11-24 16:06:22+00:00

typing/typed.ml

@@ -41,7 +41,7 @@ and  texpr' =
   | Map of texpr * branches
   | Transform of texpr * branches
   | Xtrans of texpr * branches
-  | Validate of texpr * Schema_types.component_kind * string * string
+  | Validate of texpr * Schema_types.component_kind * U.t * U.t
       (* exp, schema component kind, schema name, element name *)
   | RemoveField of texpr * label
   | Dot of texpr * label