]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/examples/obj_foo.ml
- merged "post" branch
[helm.git] / helm / DEVEL / ocaml-http / examples / obj_foo.ml
index c36ea3ec3b6811ee4ef8b7f47f2327974aca291e..2786218530ccf7e8ef4b20966e928d40ab9713bf 100644 (file)
@@ -19,7 +19,9 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
-let callback req outchan =
+open Http_types;;
+
+let callback (req: request) outchan =
   Http_daemon.respond_error ~body:(req#param "foo") outchan
 in
 Http_daemon.start' ~port:9999 callback