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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 12020BC69 for ; Mon, 24 Sep 2007 13:09:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CACI490aBrw8E/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.20,290,1186351200"; d="scan'208";a="16687533" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2007 13:09:16 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8OB9Fio018448 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 24 Sep 2007 13:09:16 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CACI490aBrw8E/2dsb2JhbAA X-IronPort-AV: E=Sophos;i="4.20,290,1186351200"; d="scan'208";a="16687525" Received: from ext.lri.fr ([129.175.15.4]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Sep 2007 13:09:07 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id 63230A46CB; Mon, 24 Sep 2007 13:09:07 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ubom-9PtOy4R; Mon, 24 Sep 2007 13:09:07 +0200 (CEST) Received: from smtp.lri.fr (vhost3-23 [129.175.3.23]) by ext.lri.fr (Postfix) with ESMTP id 4C712A46C9; Mon, 24 Sep 2007 13:09:07 +0200 (CEST) Received: from serveur9-10.lri.fr (serveur9-10 [129.175.9.10]) by smtp.lri.fr (Postfix) with ESMTP id 52DA4E0503; Mon, 24 Sep 2007 13:09:07 +0200 (CEST) Received: from localhost ([127.0.0.1] ident=signoles) by serveur9-10.lri.fr with esmtp (Exim 3.36 #1 (Debian)) id 1IZloJ-0002lr-00; Mon, 24 Sep 2007 13:09:07 +0200 Date: Mon, 24 Sep 2007 13:09:07 +0200 (CEST) From: Julien Signoles To: Pietro Abate Cc: ocaml ml Subject: Re: [Caml-list] include in rec module definition In-Reply-To: <20070924100558.GA3943@pulp.rsise.anu.edu.au> Message-ID: References: <20070924100558.GA3943@pulp.rsise.anu.edu.au> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Miltered: at discorde with ID 46F79ADB.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; signoles:01 signoles:01 lri:01 sig:01 sig:01 struct:01 bug:01 ocaml:01 ocaml:01 bug:01 cheers:01 lri:01 unbound:01 rec:01 rec:01 Hello, > the following piece of code works as expected, but if I specify module > B1 as module rec B1 : sig ... end I get "Unbound type constructor s" > > module type A1 = sig > type t > end > > module B1 : sig > type s = int > include A1 with type t = s > end = struct > type s = int > type t = int > end > > This was a bug in Ocaml 3.07. Is this supposed to work in Ocaml 3.10 ? > I was unable to find a reference in the bug tracking system. The following BTS's entry seems to indicate that this is still a bug in ocaml 3.10: http://caml.inria.fr/mantis/view.php?id=4353 Cheers, Julien -- mailto:Julien.Signoles@lri.fr ; http://www.lri.fr/~signoles "In theory, practice and theory are the same, but in practice they are different" (Larry McVoy)