(* $Id$ * ---------------------------------------------------------------------- * *) open Pxp_types;; open Pxp_lexer_types;; Pxp_lexers.init_utf8 { lex_encoding = `Enc_utf8; scan_document = Pxp_lex_document_utf8.scan_document; scan_content = Pxp_lex_content_utf8.scan_content; scan_within_tag = Pxp_lex_within_tag_utf8.scan_within_tag; scan_document_type = Pxp_lex_document_type_utf8. scan_document_type; scan_declaration = Pxp_lex_declaration_utf8.scan_declaration; scan_content_comment = Pxp_lex_misc_utf8.scan_content_comment; scan_decl_comment = Pxp_lex_misc_utf8.scan_decl_comment; scan_document_comment = Pxp_lex_misc_utf8.scan_document_comment; scan_ignored_section = Pxp_lex_name_string_utf8.scan_ignored_section; scan_xml_pi = Pxp_lex_misc_utf8.scan_xml_pi; scan_dtd_string = Pxp_lex_dtd_string_utf8.scan_dtd_string; scan_content_string = Pxp_lex_content_string_utf8. scan_content_string; scan_name_string = Pxp_lex_name_string_utf8.scan_name_string; scan_only_xml_decl = Pxp_lex_misc_utf8.scan_only_xml_decl; scan_for_crlf = Pxp_lex_misc_utf8.scan_for_crlf; } ;; (* ====================================================================== * History: * * $Log$ * Revision 1.1 2000/11/17 09:57:29 lpadovan * Initial revision * * Revision 1.3 2000/06/04 20:31:44 gerd * Updated. * * Revision 1.2 2000/05/29 21:14:57 gerd * Changed the type 'encoding' into a polymorphic variant. * * Revision 1.1 2000/05/23 00:08:48 gerd * Initial revision. * * *)