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 pAOGZrqI001624
	for <caml-list@sympa-roc.inria.fr>; Thu, 24 Nov 2011 17:35:53 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AogCAH1xzk5ZAQjUiWdsb2JhbABDqnMiAQEBCgsJCRMEIoIxQD0TAxgDAgECAVgIAogDlQ+OSZEdh02DFQSUSpIM
X-IronPort-AV: E=Sophos;i="4.69,565,1315173600"; 
   d="scan'208";a="120750410"
Received: from cc-smtpout2.netcologne.de ([89.1.8.212])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Nov 2011 17:35:43 +0100
Received: from cc-smtpin1.netcologne.de (cc-smtpin1.netcologne.de [89.1.8.201])
	by cc-smtpout2.netcologne.de (Postfix) with ESMTP id AB39912661
	for <caml-list@inria.fr>; Thu, 24 Nov 2011 17:35:42 +0100 (CET)
Received: from llea.celt.neu (xdsl-89-0-129-187.netcologne.de [89.0.129.187])
	by cc-smtpin1.netcologne.de (Postfix) with ESMTPA id 9D91A11DC1
	for <caml-list@inria.fr>; Thu, 24 Nov 2011 17:35:42 +0100 (CET)
Message-ID: <4ECE725E.7050102@yahoo.fr>
Date: Thu, 24 Nov 2011 17:35:42 +0100
From: =?ISO-8859-15?Q?Michael_Gr=FCnewald?= <michaelgrunewald@yahoo.fr>
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
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Deleting a type alias while including a module

Dear list,

I am trying to use destructive substitution to remove a type alias in an 
inclusion. Some module XArray has the following signature:

XArray: sig
  type 'a xarray
  type 'a t
end

and I would like to remove the 'a t in the resulting signature. I thought

include (XArray : module type of XArray
   with 'a t := 'a XArray.xarray
)

would do, but it would not:

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

Honestly, I do not really understand why the substitution can not 
happen, despite my careful reading of the documentation.  Any 
suggestions are welcome!
-- 
Michael