[Caml-list] module name alias and typing

[Radu Grigore <radugrigore@gmail.com>]

The following code compiles as expected.
  module Int = struct type t = int let compare = compare end
  module Util = struct module IntSet = Set.Make (Int) end
  let a = Util.IntSet.singleton 0
  module U = Util
  let b = U.IntSet.mem 0 a

However, if the definition of Int is moved inside Util then the
type-checker complaints that Util.IntSet.t and U.IntSet.t are
incompatible.
  module Util =
    module Int = struct type t = int let compare = compare end
    struct module IntSet = Set.Make (Int)
  end
  let a = Util.IntSet.singleton 0
  module U = Util
  let b = U.IntSet.mem 0 a

I thought that "module X = Y" makes the names X and Y refer to the
same module. Is this correct?
Could someone explain what is going on in this example?

I tried with 3.11.2 and with 3.13.0+dev4 (2011-06-20).