]> matita.cs.unibo.it Git - helm.git/commitdiff
cosmetic changes (no longer open Neturl)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:20:29 +0000 (22:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:20:29 +0000 (22:20 +0000)
helm/DEVEL/ocaml-http/http_parser_sanity.ml

index f65b5b1690ee47c010460012c8d1a99524d18671..ef7555c7bb234a1002fad6e8c4cd84bff80e61c9 100644 (file)
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-open Neturl;;
-open Printf;;
+open Printf
 
-open Http_types;;
-open Http_constants;;
+open Http_types
+open Http_constants
 
 (*
 type url_syntax_option =
@@ -34,21 +33,22 @@ type url_syntax_option =
 * (1) scheme://user:password@host:port/path;params?query#fragment
 *)
 
-let request_uri_syntax = {
-  url_enable_scheme    = Url_part_not_recognized;
-  url_enable_user      = Url_part_not_recognized;
-  url_enable_user_param= Url_part_not_recognized;
-  url_enable_password  = Url_part_not_recognized;
-  url_enable_host      = Url_part_not_recognized;
-  url_enable_port      = Url_part_not_recognized;
-  url_enable_path      = Url_part_required;
-  url_enable_param     = Url_part_not_recognized;
-  url_enable_query     = Url_part_allowed;
-  url_enable_fragment  = Url_part_not_recognized;
-  url_enable_other     = Url_part_not_recognized;
-  url_accepts_8bits    = false;
-  url_enable_relative  = true;
-  url_is_valid         = (fun _ -> true);
+let request_uri_syntax =
+{
+  Neturl.url_enable_scheme  = Neturl.Url_part_not_recognized;
+  url_enable_user           = Neturl.Url_part_not_recognized;
+  url_enable_user_param     = Neturl.Url_part_not_recognized;
+  url_enable_password       = Neturl.Url_part_not_recognized;
+  url_enable_host           = Neturl.Url_part_not_recognized;
+  url_enable_port           = Neturl.Url_part_not_recognized;
+  url_enable_path           = Neturl.Url_part_required;
+  url_enable_param          = Neturl.Url_part_not_recognized;
+  url_enable_query          = Neturl.Url_part_allowed;
+  url_enable_fragment       = Neturl.Url_part_not_recognized;
+  url_enable_other          = Neturl.Url_part_not_recognized;
+  url_accepts_8bits         = false;
+  url_enable_relative       = true;
+  url_is_valid              = (fun _ -> true);
 }
 
   (* convention:
@@ -108,7 +108,8 @@ let heal_header (name, value) =
  
 let url_of_string s =
   try
-    url_of_string request_uri_syntax s
+    Neturl.url_of_string request_uri_syntax s
   with Neturl.Malformed_URL -> raise (Malformed_URL s)
+
 let string_of_url = Neturl.string_of_url