Version française
Home     About     Download     Resources     Contact us    
Browse thread
Type equalities in sub modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Hendrik Tews <H.Tews@c...>
Subject: Re: [Caml-list] Type equalities in sub modules
Daniel Bünzli <daniel.buenzli@epfl.ch> writes:

   In the example below, is there any way to achieve M.B.t = M.t without
   introducing the intermediate mt type ?

   > module M = struct
   >   type t = int
   >   module B = struct
   >     type mt = t
   >     type t = mt
   >   end
   > end

How about

module M = struct
  type t = int
  module BF(T : sig type mt end) = struct
    type t = T.mt
  end
  module B = BF(struct type mt = t end)
end

??

Hendirk