ocaml 3.09 transition

[helm.git] / helm / ocaml / thread / threadSafe.mli

diff --git a/helm/ocaml/thread/threadSafe.mli b/helm/ocaml/thread/threadSafe.mli
index 0023c89e6775778dbf2d6283d5c73c33f0bade37..78166abccda74fd31dde70131eb2f496b5b57f1e 100644 (file)
--- a/helm/ocaml/thread/threadSafe.mli
+++ b/helm/ocaml/thread/threadSafe.mli
@@ -30,15 +30,15 @@ class threadSafe:
   object
 
       (** execute 'action' in mutual exclusion between all other threads *)
-    method private doCritical: 'a lazy_t -> 'a
+    method private doCritical: 'a. 'a lazy_t -> 'a
 
       (** execute 'action' acting as a 'reader' i.e.: multiple readers can act
       at the same time but no writer can act until no readers are acting *)
-    method private doReader: 'a lazy_t -> 'a
+    method private doReader: 'a. 'a lazy_t -> 'a
 
       (** execute 'action' acting as a 'writer' i.e.: when a writer is acting,
       no readers or writer can act, beware that writers can starve *)
-    method private doWriter: 'a lazy_t -> 'a
+    method private doWriter: 'a. 'a lazy_t -> 'a
 
   end