From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 776B17EE20 for ; Mon, 19 Nov 2012 07:03:48 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@googlemail.com) identity=pra; client-ip=209.85.212.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of wojciech.meyer@googlemail.com designates 209.85.212.180 as permitted sender) identity=mailfrom; client-ip=209.85.212.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f180.google.com) identity=helo; client-ip=209.85.212.180; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="postmaster@mail-wi0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQCAJnKqVDRVdS0jWdsb2JhbABFhVm9WwgjAQEBAQkJCwkSBiOCHgEBBAFAATgBAwELBgULFiUPAQQgAQUBIhOHegEDCQYEoUqPK4QRCkANiU4BBQyRNQOVfIEcjUY/hBE X-IronPort-AV: E=Sophos;i="4.83,276,1352070000"; d="scan'208";a="182079979" Received: from mail-wi0-f180.google.com ([209.85.212.180]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Nov 2012 07:03:48 +0100 Received: by mail-wi0-f180.google.com with SMTP id hn14so744889wib.9 for ; Sun, 18 Nov 2012 22:03:47 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=9pxqkVmdU2EojVwNQHZ/gQt5eN1pZk7fKbDXOazddF0=; b=DJ45GcBR9LlAD52FfWImzshdBhN1BVuq+LKV+Mk1ukmNTODn87z8u1FynFGJoY/4yW ClYN2sxirOWDV1fx/nHhid+h4QEzROA1o4yw2z66DRrf0Ev0FW3azchOMHlOCknA2k1I WcVOlu8tCFleOD4C8Lf2NuBBpFiIre9lALZHoI8WEvTlGiZPkiphPeeD0ycuGhIg/4f6 aB9Kpb2JS+eavJ93I7mhfMdkMw1e8ixZ6VtKitDDkCPRet18E7W9k26It6ZWf2ADrgH4 +HZ4V/2XhYUfiM1v/N60c5dA6Qk32D83JSag2wyTG+p+CaBswOAAfIrFN37yjCULOjGs cRLw== Received: by 10.216.50.200 with SMTP id z50mr4405587web.9.1353305027603; Sun, 18 Nov 2012 22:03:47 -0800 (PST) Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202]) by mx.google.com with ESMTPS id i2sm11826353wiw.3.2012.11.18.22.03.46 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 18 Nov 2012 22:03:46 -0800 (PST) From: Wojciech Meyer To: Francois Berenger Cc: caml-list@inria.fr References: <50A9C3BB.2050900@riken.jp> Date: Mon, 19 Nov 2012 06:03:49 +0000 In-Reply-To: <50A9C3BB.2050900@riken.jp> (Francois Berenger's message of "Mon, 19 Nov 2012 14:29:31 +0900") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] module alias in a .mli file module V3 : module type of Vector3 Francois Berenger writes: > Hello, > > Here is my stupid question of the day: > can't I declare the following in a .mli file? > > module V3 = Vector3 > > Thanks a lot, > F. -- Wojciech Meyer http://danmey.org