From d28d8fa9adb475bff9964a815627f9cad52446b2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 10 Jan 2003 09:18:44 +0000 Subject: [PATCH] specified type for Http_types.request objects --- helm/uwobo/src/ocaml/uwobo.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 -- 2.39.2