X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=7233056fc40152c6cc6c34d90aa5eb57c9bdd372;hb=34a1ea600a101bec4e1cdc40bfbdec93d503fa51;hp=18e2a88ab43851a5be00efc900afbdcc4d7dbd4c;hpb=03166ee15ae4ee854360ba49732015231edb8bb6;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index 18e2a88ab..7233056fc 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -107,6 +107,23 @@ type status =
   | server_error_status
   ]
 
+exception Invalid_header of string
+exception Invalid_HTTP_version of string
+exception Invalid_code of int
+exception Invalid_status of status
+
+exception Malformed_query of string
+exception Malformed_query_part of string * string
+exception Unsupported_method of string
+exception Unsupported_HTTP_version of string
+exception Malformed_request_URI of string
+exception Malformed_request of string
+
+exception Param_not_found of string
+
+exception Invalid_status_line of string
+exception Header_not_found of string
+
 class type response =
   object
     method version: version
@@ -156,6 +173,6 @@ class type request =
     method uri: string
     method path: string
     method param: string -> string
-    method param_all: string -> string list
+    method paramAll: string -> string list
     method params: (string * string) list
   end