From 2a1ba8d02665168aeb6c301188f21d98e4f40730 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 5 Aug 2004 13:17:52 +0000 Subject: [PATCH] fixed .mli syntax for polymorphic methods (apparently changed between ocaml 3.07 and ocaml 3.08) --- helm/ocaml/thread/threadSafe.mli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.39.2