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: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: [Caml-list] Type equalities in sub modules
You are right, that's one way to solve the problem I didn't think about.

> module rec M : sig
>   type t = int
>   module B : sig type t = M.t end
> end = struct
>   type t = int
>   module B = struct type t = M.t end
> end ;;

Thanks,

Daniel