From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Aug 2004 13:17:52 +0000 (+0000)
Subject: fixed .mli syntax for polymorphic methods (apparently changed between
X-Git-Tag: V_0_6_3_2~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2a1ba8d02665168aeb6c301188f21d98e4f40730;p=helm.git

fixed .mli syntax for polymorphic methods (apparently changed between
ocaml 3.07 and ocaml 3.08)
---

diff --git a/helm/ocaml/thread/threadSafe.mli b/helm/ocaml/thread/threadSafe.mli
index 0023c89e6..78166abcc 100644
--- 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