From e6940c4f8daa3e1fec0fe68bc73fc58d276a1ef3 Mon Sep 17 00:00:00 2001 From: Jacques Garrigue Date: Thu, 12 Jan 2006 03:24:56 +0000 Subject: [PATCH] event is a covariant type git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/systhreads/event.mli | 2 +- otherlibs/threads/event.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/otherlibs/systhreads/event.mli b/otherlibs/systhreads/event.mli index 21d5459a5..8a5991f77 100644 --- a/otherlibs/systhreads/event.mli +++ b/otherlibs/systhreads/event.mli @@ -27,7 +27,7 @@ type 'a channel val new_channel : unit -> 'a channel (** Return a new channel. *) -type 'a event +type +'a event (** The type of communication events returning a result of type ['a]. *) (** [send ch v] returns the event consisting in sending the value [v] diff --git a/otherlibs/threads/event.mli b/otherlibs/threads/event.mli index 21d5459a5..8a5991f77 100644 --- a/otherlibs/threads/event.mli +++ b/otherlibs/threads/event.mli @@ -27,7 +27,7 @@ type 'a channel val new_channel : unit -> 'a channel (** Return a new channel. *) -type 'a event +type +'a event (** The type of communication events returning a result of type ['a]. *) (** [send ch v] returns the event consisting in sending the value [v]