2 * ----------------------------------------------------------------------
6 (* Read a record-list structure and print it *)
15 match n # node_type with
16 T_element "last-name" ->
17 print_endline ("Last name: " ^ n # data)
18 | T_element "first-name" ->
19 print_endline ("First name: " ^ n # data)
20 | T_element "phone" ->
21 print_endline ("Telephone number: " ^ n # data)
26 match n # node_type with
36 let dtd = parse_dtd_entity default_config (from_file "record.dtd") in
38 parse_content_entity default_config (from_channel stdin) dtd default_spec in
42 prerr_endline(string_of_exn x);
49 (* ======================================================================
53 * Revision 1.1 2000/11/17 09:57:32 lpadovan
56 * Revision 1.1 2000/08/22 21:57:43 gerd