diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2006-01-12 03:24:56 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2006-01-12 03:24:56 +0000 |
| commit | e6940c4f8daa3e1fec0fe68bc73fc58d276a1ef3 (patch) | |
| tree | 3ffa1f2ae48b711e672a23bf634a47be6bf118b6 | |
| parent | 9179680cabacd6770ea53ad9c8ad646c68a365aa (diff) | |
event is a covariant type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/systhreads/event.mli | 2 | ||||
| -rw-r--r-- | 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] |