From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pAOJXW4L005314 for ; Thu, 24 Nov 2011 20:33:32 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmEBAFmbzk5ZAQjTjmdsb2JhbABDqnMiAQEBAQcNCQkSBSKBcgEBBThAEQshEwMPCQMCAQIBRRMIAogDo0WREYdNgxUElEqSDA X-IronPort-AV: E=Sophos;i="4.69,566,1315173600"; d="scan'208";a="132510783" Received: from cc-smtpout1.netcologne.de ([89.1.8.211]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Nov 2011 20:33:31 +0100 Received: from cc-smtpin3.netcologne.de (cc-smtpin3.netcologne.de [89.1.8.203]) by cc-smtpout1.netcologne.de (Postfix) with ESMTP id 61DC413132 for ; Thu, 24 Nov 2011 20:33:30 +0100 (CET) Received: from llea.celt.neu (xdsl-89-0-129-187.netcologne.de [89.0.129.187]) by cc-smtpin3.netcologne.de (Postfix) with ESMTPA id 5328A11DB9 for ; Thu, 24 Nov 2011 20:33:29 +0100 (CET) Message-ID: <4ECE9C09.3030705@yahoo.fr> Date: Thu, 24 Nov 2011 20:33:29 +0100 From: =?ISO-8859-15?Q?Michael_Gr=FCnewald?= User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:6.0) Gecko/20110818 Firefox/6.0 SeaMonkey/2.3 MIME-Version: 1.0 To: caml-list@inria.fr References: <4ECE725E.7050102@yahoo.fr> In-Reply-To: <4ECE725E.7050102@yahoo.fr> Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Deleting a type alias while including a module As a complement to my previous message, here is a minimal (well, short!) example displaying the behavior I cannot go around: ----8<--- example starts here ---- module type XARRAY = sig type 'a xarray type 'a t = 'a xarray end module XArray : XARRAY = struct type 'a xarray = 'a type 'a t = 'a xarray end module UseXArray = struct include (XArray : XARRAY with type 'a t := 'a XArray.xarray ) end ----8<---- example ends here ---- Trying to compile this file yields the following error: File "include_substitute.ml", line 15, characters 20-61: Error: In this `with' constraint, the new definition of t does not match its original definition in the constrained signature: Type declarations do not match: type 'a t = 'a XArray.xarray is not included in type 'a t = 'a xarray (OCaml 3.12.1 on FreeBSD/amd64)