X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FqName.ml;fp=src%2FqName.ml;h=0000000000000000000000000000000000000000;hb=30bc0bb1291426e5e26eb2dee1ffc41e4c246349;hp=ca4a5a34783a1e7cfa12e81e964e567d96abd86d;hpb=d9c0e4863807eaf472e875a4bad35cfefe985c95;p=tatoo.git diff --git a/src/qName.ml b/src/qName.ml deleted file mode 100644 index ca4a5a3..0000000 --- a/src/qName.ml +++ /dev/null @@ -1,37 +0,0 @@ -(***********************************************************************) -(* *) -(* TAToo *) -(* *) -(* Kim Nguyen, LRI UMR8623 *) -(* Université Paris-Sud & CNRS *) -(* *) -(* Copyright 2010-2012 Université Paris-Sud and Centre National de la *) -(* Recherche Scientifique. All rights reserved. This file is *) -(* distributed under the terms of the GNU Lesser General Public *) -(* License, with the special exception on linking described in file *) -(* ../LICENSE. *) -(* *) -(***********************************************************************) - -(* - Time-stamp: -*) - -include Hcons.Make (struct - include String - let hash s = Hashtbl.hash s - let equal s1 s2 = s1 = s2 -end) - -let print pp s = Format.fprintf pp "%s" s.node - -let of_string = make -let to_string = node - -let document = of_string "#document" -let text = of_string "#text" -let cdata_section = of_string "#cdata-section" -let comment = of_string "#comment" -let document_fragment = of_string "#document-fragment" -let attribute_map = of_string "#attribute-map" -let nil = of_string "#"