From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 43130BC0A for ; Wed, 3 Jan 2007 00:29:57 +0100 (CET) Received: from mail12.bluewin.ch (mail12.bluewin.ch [195.186.19.61]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l02NTuw4007152 for ; Wed, 3 Jan 2007 00:29:57 +0100 Received: from [10.0.1.3] (85.2.80.130) by mail12.bluewin.ch (Bluewin 7.3.118) id 457D68B3005776B1; Tue, 2 Jan 2007 23:29:56 +0000 In-Reply-To: <9d3ec8300701021456q5a8475bbkc5165ee5572ae7eb@mail.gmail.com> References: <9d3ec8300701021456q5a8475bbkc5165ee5572ae7eb@mail.gmail.com> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: quoted-printable From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Subject: Re: [Caml-list] Type equalities in sub modules Date: Wed, 3 Jan 2007 00:31:29 +0100 To: Till Varoquaux X-Mailer: Apple Mail (2.752.2) X-Miltered: at discorde with ID 459AEAF4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 sig:01 sig:01 struct:01 struct:01 rec:01 caml-list:01 int:01 int:01 modules:02 epfl:02 module:03 module:03 daniel:04 You are right, that's one way to solve the problem I didn't think about. > module rec M : sig > type t =3D int > module B : sig type t =3D M.t end > end =3D struct > type t =3D int > module B =3D struct type t =3D M.t end=13 > end ;; Thanks, Daniel