Re: [Caml-list] Definition of module synonyms

["forum@x9c.fr" <forum@x9c.fr>]

Le 18 févr. 2011 à 10:10, Jacques Garrigue a écrit :

> On 2011/02/18, at 17:30, forum@x9c.fr wrote:
> 
>> Dear list,
>> 
>> Following the goal of providing module synonyms (e. g. abbreviations for lazy
>> developers), it seemed natural to do something along the following lines:
>> 
>> 	module M : sig
>> 	  type t = A
>> 	  val x : t
>> 	end = struct
>> 	  type t = A
>> 	  let x = A
>> 	end
>> 	module S : sig
>> 	  type t = M.t = A
>> 	  include module type of M with type t := M.t
>> 	end = M
>> 
>> However, this is rejected with the following message:
> [...]
> 
> This was just a bug (or a misfeature) in 3.12.0.
> This has been fixed long ago in the 3.12 branch, and will work in 3.12.1.

Thanks for your quick answer, and sorry for noise.
I have so many versions of Caml installed that I easily mixup things and
forget to test with one given version...


Xavier Clerc