[Caml-list] Error: The type abbreviation t is cyclic while defining submodules

["Sébastien Hinderer" <Sebastien.Hinderer@inria.fr>]

Dear all,

Assume the following code in a file points.ml:

type t = float * float

let compare = Pervasives.compare

(* Other functions on points *)

module OrderedPoints : Set.OrderedType with type t = t = struct
  type t = t
  let compare = compare
end

module PointSet : Set.S with type t = t = Set.Make(OrderedPoints)


The line
  type t = t
yields the above mentionned error.

Is there a way to let the compiler know that the t appearing after the
"=" sign refers to the type defined at points.ml top level?

Thanks!

Sébastien.