From 451e761c8ea1090473f22e779952ea3aa0d8f267 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 25 Jun 2014 23:34:43 +0200 Subject: [PATCH] fix type mismatch --- core/CCHeap.ml | 6 +++--- core/CCHeap.mli | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/core/CCHeap.ml b/core/CCHeap.ml index b3464cf1..25f9d6f5 100644 --- a/core/CCHeap.ml +++ b/core/CCHeap.ml @@ -26,9 +26,9 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. (** {1 Leftist Heaps} *) type 'a sequence = ('a -> unit) -> unit -type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist] type 'a gen = unit -> 'a option -type 'a tree = unit -> [`Nil | `Node of 'a * 'a tree list] +type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist] +type 'a ktree = unit -> [`Nil | `Node of 'a * 'a ktree list] module type PARTIAL_ORD = sig type t @@ -99,7 +99,7 @@ module type S = sig val of_gen : t -> elt gen -> t val to_gen : t -> elt gen - val to_tree : t -> elt tree + val to_tree : t -> elt ktree end module Make(E : PARTIAL_ORD) = struct diff --git a/core/CCHeap.mli b/core/CCHeap.mli index 30e5b939..169b12fd 100644 --- a/core/CCHeap.mli +++ b/core/CCHeap.mli @@ -26,9 +26,9 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. (** {1 Leftist Heaps} following Okasaki *) type 'a sequence = ('a -> unit) -> unit -type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist] -type 'a tree = unit -> [`Nil | `Node of 'a * 'a tree list] type 'a gen = unit -> 'a option +type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist] +type 'a ktree = unit -> [`Nil | `Node of 'a * 'a ktree list] module type PARTIAL_ORD = sig type t @@ -99,7 +99,7 @@ module type S = sig val of_gen : t -> elt gen -> t val to_gen : t -> elt gen - val to_tree : t -> elt tree + val to_tree : t -> elt ktree end module Make(E : PARTIAL_ORD) : S with type elt = E.t