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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DF76B7F617 for ; Sat, 6 May 2017 10:00:20 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Af4y1OxeATYVVpYjBxKHJParIlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcq+ZR7h7PlgxGXEQZ/co6odzbGH7+a4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM37X/ZisJwgqxYrhyuqRNwzIzIb4+aL/d+YqHQcMkGSWZdUMtcVypMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoZTnqVATqha+HhGsCfjoyj9SnXD23LE63P4lEQHI2wwhEMgCv2?= =?us-ascii?q?jTrNXwLaofV/2+wqrQzTjba/5b2S3x5JXKfxw/u/2AQ7x9fdTLxUUxCw/JkFOd?= =?us-ascii?q?opH/MTyPzOQCqW2b4vJgVe2xj24nrBl8oj+1xsg3i4nJmpgaylTK9SV+z4c5P8?= =?us-ascii?q?G3SEl+YdK8EZtQsT+VN5duT84mQ2xkojs2x78YtZKhYiQHxoorywTBZ/CbbYSE?= =?us-ascii?q?+hfjW/yQITd8inJlYrW/hxOq/Ei70u3xTc600ExRoSpEjtnDrHQN1xLU6smIUP?= =?us-ascii?q?dy4kCh2TOX2wDJ9u5EOVw0lbbcK5M53rE/jJ8TsUDaEi/ymUX2l7OWe14/+umo?= =?us-ascii?q?7uTneq/pqoWdN49ykAH+M74hltaxAeQiYUAyWD2Q8OG4kbni5lHRQbNQj/RwnL?= =?us-ascii?q?OKnordIJEgnubtGBd91Zwp6gq2CzmhwJITmnxRfwENQw6Ok4W8YwKGG/v/F/rq?= =?us-ascii?q?21k=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6KgBsgQ1Z/8rorF9cHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgyplgQmfNSGVcoIPhiQCDIQ9QRYBAQEBAQEBAQEBAWooQgEBAwk?= =?us-ascii?q?CgWEggkMBBUABATgPCxguVxMIAQEViguuYoMRgwkBAQWHVgEpCIhoC4JlhS+FH?= =?us-ascii?q?Z1pFZUEAYkWhmmUPiUBMYEKcBVGhGWCDz82gyCBHYRDAQEB?= X-IPAS-Result: =?us-ascii?q?A0A6KgBsgQ1Z/8rorF9cHAEBBAEBCgEBFwEBBAEBCgEBgyp?= =?us-ascii?q?lgQmfNSGVcoIPhiQCDIQ9QRYBAQEBAQEBAQEBAWooQgEBAwkCgWEggkMBBUABA?= =?us-ascii?q?TgPCxguVxMIAQEViguuYoMRgwkBAQWHVgEpCIhoC4JlhS+FHZ1pFZUEAYkWhmm?= =?us-ascii?q?UPiUBMYEKcBVGhGWCDz82gyCBHYRDAQEB?= X-IronPort-AV: E=Sophos;i="5.38,297,1491256800"; d="scan'208";a="222686402" Received: from orbitalfox.com ([95.172.232.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 May 2017 10:00:20 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id EE64FAA005D for ; Sat, 6 May 2017 08:00:18 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1494057619; bh=jMDBeMY08wXMlnRAZobHorb3zVukVZLC9FVoYkISZ3E=; h=Subject:To:References:From:Date:In-Reply-To; b=ulPlOzLsq+vMvFBHglN+u1yULuLy/QrHey2sVwh9wH+5+EOWyHT3pMKDZ+jPx5cPc zVylp95VlQu218A/UaVjKmsMKXt08fNJedkKuFZuRx9RICdJoMEslUQGa4KC8y8VGh mMFTGy8hz2ErsQlKLbSBF3NsGKBd+TzTwJI4mERE= To: caml-list@inria.fr References: <57d0397e-7e96-455f-5c33-b951f7678585@digirati.com.br> <78fcf5fa-fe83-03f6-7644-561915956d15@polychoron.fr> From: SP Message-ID: Date: Sat, 6 May 2017 09:00:24 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] First class module syntax On 05/05/2017 14:08, Max Mouratov wrote: > According to docs, module type names are the only kind of identifiers > that can be either capitalized or not [1]. Why is it so? What is > rationale for this design decision? I'm really curious. Exceptions are the spice of life :P -- SP