From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 10 Jan 2003 09:18:44 +0000 (+0000)
Subject: specified type for Http_types.request objects
X-Git-Tag: v0_3_99~43
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d28d8fa9adb475bff9964a815627f9cad52446b2;p=helm.git

specified type for Http_types.request objects
---

diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/src/ocaml/uwobo.ml
index abe65f47c..2f5e54983 100644
--- a/helm/uwobo/src/ocaml/uwobo.ml
+++ b/helm/uwobo/src/ocaml/uwobo.ml
@@ -125,10 +125,12 @@ let usage_string =
 in
 
   (* thread action *)
-let callback req outchan =
+let callback (req: Http_types.request) outchan =
     (* perform an 'action' that can be applied to a list of keys or, if no
     keys was given, to all keys *)
-  let act_on_keys req styles outchan per_key_action all_keys_action logmsg =
+  let act_on_keys (req: Http_types.request)
+    styles outchan per_key_action all_keys_action logmsg
+    =
     let log = new Uwobo_logger.processingLogger () in
     let keys =
       try