Permalink
Browse files

result and behavior are covariant

  • Loading branch information...
1 parent 6996e97 commit e22f18a09888d69ee2912d328fde5e9c301c63a9 Jake Donham committed May 5, 2010
Showing with 4 additions and 4 deletions.
  1. +2 −2 src/froc/froc.mli
  2. +1 −1 src/froc/froc_ddg.ml
  3. +1 −1 src/froc/froc_ddg.mli
View
@@ -90,14 +90,14 @@
*)
(** Type of values of type ['a] or exception. *)
-type 'a result = Value of 'a | Fail of exn
+type +'a result = Value of 'a | Fail of exn
type cancel
(** Type of handles to listener registrations. *)
(** {2 Behaviors} *)
-type 'a behavior
+type +'a behavior
(** Type of behaviors of type ['a]. *)
val return : 'a -> 'a behavior
View
@@ -35,7 +35,7 @@ let set_debug f =
let handle_exn = ref raise
let set_exn_handler h = handle_exn := h
-type 'a result = Value of 'a | Fail of exn
+type +'a result = Value of 'a | Fail of exn
type 'a changeable = {
id : int;
View
@@ -30,7 +30,7 @@ val make_cancel : (unit -> unit) -> cancel
val no_cancel : cancel
val cancel : cancel -> unit
-type 'a result = Value of 'a | Fail of exn
+type +'a result = Value of 'a | Fail of exn
val changeable : ?eq:('a -> 'a -> bool) -> 'a -> 'a t * 'a u
val return : 'a -> 'a t

0 comments on commit e22f18a

Please sign in to comment.