From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1I9ADMi017158
	for <caml-list@sympa-roc.inria.fr>; Fri, 18 Feb 2011 10:10:13 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmgCAPrFXU3RVdK2mGdsb2JhbACYFo4CCBUBAQEBAQgJDAcRJKF+jDSEUYkJAQEDBYVZBIUJhwiEKYQdOoET
X-IronPort-AV: E=Sophos;i="4.62,186,1297033200"; 
   d="scan'208";a="88254009"
Received: from mail-iy0-f182.google.com ([209.85.210.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Feb 2011 10:10:08 +0100
Received: by mail-iy0-f182.google.com with SMTP id 26so3537885iyb.27
        for <caml-list@inria.fr>; Fri, 18 Feb 2011 01:10:07 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:sender:subject:mime-version:content-type:from
         :in-reply-to:date:cc:content-transfer-encoding:message-id:references
         :to:x-mailer;
        bh=8UUaZXwpTijUbhOyF9yNnBU1HkIwj2V1UoZP7pfZV1Y=;
        b=x1PmwO90s13CazNa5UdKv5it5I9LDbQ9ciGNilirz3obGKMabP2ZHKzROAa4E9QttY
         IpLGsBU+ZGivANpXvMqrpHJ38VCledEXxdM4S2ScawIovcSk1w+DFF2x3LetiPjsgVIK
         +k1H4ZYdOwa+ii0vf/UqaaHuRRHvEKiygrQyA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        b=A+6ePeKR569P3YFt/0LoeG/WJyMpt6bics729v7AxNb6jAmpfugdXRRjz9S9KZ0E2N
         uHvcjkWwFyQDIXbtntOxVf2bYSDGabBJ2aYkX8IgU+L6ZQaUb0umwYWwnyD1nRj77wzT
         RIZyvva11w1tO0BZahEVMXkWsrK4WjWtMp0kY=
Received: by 10.42.173.198 with SMTP id s6mr578142icz.362.1298020207679;
        Fri, 18 Feb 2011 01:10:07 -0800 (PST)
Received: from tet.garrigue.jp (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157])
        by mx.google.com with ESMTPS id k38sm1354374ick.21.2011.02.18.01.10.05
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 18 Feb 2011 01:10:07 -0800 (PST)
Sender: Jacques Garrigue <jacques.garrigue@gmail.com>
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: text/plain; charset=us-ascii
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
In-Reply-To: <81B704C0-2971-47D8-BB9E-3F259016AB92@x9c.fr>
Date: Fri, 18 Feb 2011 18:10:03 +0900
Cc: caml-list users <caml-list@inria.fr>
Message-Id: <6C3CFF1F-DD4B-4BE3-BF3E-C78DCFE6200D@math.nagoya-u.ac.jp>
References: <81B704C0-2971-47D8-BB9E-3F259016AB92@x9c.fr>
To: forum@x9c.fr
X-Mailer: Apple Mail (2.1082)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p1I9ADMi017158
Subject: Re: [Caml-list] Definition of module synonyms

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.

Jacques Garrigue