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 p2PGxr4A027241 for ; Fri, 25 Mar 2011 17:59:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlkAAJDJjE2LEwExkWdsb2JhbAClagEBAQEJCwsHFAUgtToBjjgFhWk X-IronPort-AV: E=Sophos;i="4.63,244,1299452400"; d="scan'208";a="103548061" Received: from infao0809.mpi-sb.mpg.de (HELO hera.mpi-sb.mpg.de) ([139.19.1.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 25 Mar 2011 17:59:48 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=From:To:In-Reply-To:Subject: References:Message-Id:Content-Type:Content-Transfer-Encoding: Mime-Version:Date:Cc; bh=0gc5a4gg1bbEof1bzescXTOGBPTjGcr15NcW0ia 1zbU=; b=WjcQIm3qxj2k2HQkcbj2p8QGe1OrBCUliiXRUej1upId3SueudZut18 229yKrvTueu6MbVakxcV7Mx7fPsH9vaIvjDHY+b0dVzX93Ui8BZKgQrorcYjM4uy tjNQYbXmiKGfx7Kn5wsf8qh1KJwwOLEWSenfsG3Y2vlWT5m9KQvY= Received: from infao0710.mpi-klsb.mpg.de ([139.19.1.27]:50924 helo=zak.mpi-klsb.mpg.de) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1Q3AMR-0003Ni-Oy; Fri, 25 Mar 2011 17:59:46 +0100 Received: from mnch-5d87b711.pool.mediaways.net ([93.135.183.17]:53773 helo=[192.168.178.21]) by zak.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.69) id 1Q3AMR-0006OU-57; Fri, 25 Mar 2011 17:59:43 +0100 From: Andreas Rossberg To: Guillaume Yziquel In-Reply-To: <20110325164240.GT10028@localhost> References: <89643D7F-B0F9-4452-BBAF-0445D9D3CA4E@gmail.com> <639CCD2C-402F-4754-B942-B460FD908A95@gmail.com> <63968844-AD95-4359-80F0-E9E071CF6518@mpi-sws.org> <20110325164240.GT10028@localhost> Message-Id: <46B666E2-4575-4E79-ACF1-FE0789C0C76B@mpi-sws.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Mime-Version: 1.0 (Apple Message framework v936) Date: Fri, 25 Mar 2011 17:59:41 +0100 Cc: Joel Reymont , caml-list X-Mailer: Apple Mail (2.936) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p2PGxr4A027241 Subject: Re: [Caml-list] Re: module typing issue On Mar 25, 2011, at 17.42 h, Guillaume Yziquel wrote: > Le Friday 25 Mar 2011 à 16:46:47 (+0100), Andreas Rossberg a écrit : >> I don't think it ever makes sense to define private type >> abbreviations in a structure - they are intended for use in >> signatures. Just drop the private from your example. > > Uuh... It does make some sense, sometimes: In bindings, as output of > external stubs, and as phantom type arguments for instance... 'ever' > is > somewhat too restrictive. Well, fully abstract type definitions are sometimes handy for these purposes. But how do private type abbreviations help there? /Andreas