From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <martin.jambon@ens-lyon.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 936247EE20
	for <caml-list@sympa.inria.fr>; Mon, 19 Nov 2012 07:02:17 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  martin.jambon@ens-lyon.org) identity=pra;
  client-ip=66.111.4.28;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="martin.jambon@ens-lyon.org";
  x-sender="martin.jambon@ens-lyon.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  martin.jambon@ens-lyon.org) identity=mailfrom;
  client-ip=66.111.4.28;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="martin.jambon@ens-lyon.org";
  x-sender="martin.jambon@ens-lyon.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@out4-smtp.messagingengine.com) identity=helo;
  client-ip=66.111.4.28;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="martin.jambon@ens-lyon.org";
  x-sender="postmaster@out4-smtp.messagingengine.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApMBAJnKqVBCbwQclGdsb2JhbABFhiC9HCMBAQEBCQsJCRQEI4IeAQEFIxUIOAEBDwsYAgIFFgsCAgkDAgECAUUGDQEHAQGICaxCcINNjjAGgSKLEoN6gROIXZMNjWg
X-IronPort-AV: E=Sophos;i="4.83,276,1352070000"; 
   d="scan'208";a="182079738"
Received: from out4-smtp.messagingengine.com ([66.111.4.28])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Nov 2012 07:02:16 +0100
Received: from compute4.internal (compute4.nyi.mail.srv.osa [10.202.2.44])
	by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id 02695206C7;
	Mon, 19 Nov 2012 01:02:16 -0500 (EST)
Received: from frontend1.nyi.mail.srv.osa ([10.202.2.160])
  by compute4.internal (MEProxy); Mon, 19 Nov 2012 01:02:16 -0500
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=
	messagingengine.com; h=message-id:date:from:mime-version:to:cc
	:subject:references:in-reply-to:content-type
	:content-transfer-encoding; s=smtpout; bh=I9K2EyxgGj8vxHntMPRIbs
	Ir6kg=; b=TiWlDhe0BChy3/o4JwqCuzBL7zBIDAmTEsAp6IZdWY19PSIUve92Tr
	rTevVqQvkb9XqXGdCWgYwp7y5suNpgpYgm4tLkWIqPnAMz+EAp4SlX+FdprUJgrz
	StC3je4+7Ne3emxEBrLEGweoOifwpv/IopYyQELu1Ygkm1SXOCBvM=
X-Sasl-enc: 5URD3aSVuM0zmKWyBDQHvTa7c7NEl570Q4gIijDClID+ 1353304935
Received: from [192.168.2.4] (unknown [98.248.39.171])
	by mail.messagingengine.com (Postfix) with ESMTPA id 6E6C18E0559;
	Mon, 19 Nov 2012 01:02:15 -0500 (EST)
Message-ID: <50A9CB66.1020207@ens-lyon.org>
Date: Sun, 18 Nov 2012 22:02:14 -0800
From: Martin Jambon <martin.jambon@ens-lyon.org>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:16.0) Gecko/20121029 Thunderbird/16.0.2
MIME-Version: 1.0
To: Francois Berenger <berenger@riken.jp>
CC: caml-list@inria.fr
References: <50A9C3BB.2050900@riken.jp>
In-Reply-To: <50A9C3BB.2050900@riken.jp>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] module alias in a .mli file

On Sun 18 Nov 2012 09:29:31 PM PST, Francois Berenger wrote:
> Hello,
>
> Here is my stupid question of the day:
> can't I declare the following in a .mli file?
>
> module V3 = Vector3

No, because "= Vector3" specifies an implementation.
An mli file is a module interface, and module interfaces never contain 
implementations.

However, you may want to do this, which does what it says:

  module V3 : module type of Vector3

("language extension", since ocaml 3.12)


Martin