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 E298B7F617 for ; Fri, 5 May 2017 14:54:35 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andre@digirati.com.br; spf=Pass smtp.mailfrom=andre@digirati.com.br; spf=Pass smtp.helo=postmaster@mta112.f1.k8.com.br Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andre@digirati.com.br) identity=pra; client-ip=187.73.32.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of andre@digirati.com.br designates 187.73.32.184 as permitted sender) identity=mailfrom; client-ip=187.73.32.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mta112.f1.k8.com.br designates 187.73.32.184 as permitted sender) identity=helo; client-ip=187.73.32.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="postmaster@mta112.f1.k8.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A85Yl8B+bkEDeev9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?0e8cTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgL2hi?= =?us-ascii?q?cJNzA382/ZhcJ/g61ZvB2svBN/z5LObY+SKPZzcKHQcNUHTmRBRMZRUClBD5ug?= =?us-ascii?q?YosJEuUBJ/hXpJTlqVQUsRu+BROjBOXywTJPnHD227A10/4/HgzdwQMgHt0OsH?= =?us-ascii?q?XOrNrvKKcSUPq5w7XPzTXGdf9Zwi395ZHOfxs8ov+MRap9fdfSxEQtDQ/IjFud?= =?us-ascii?q?pZbrMj+LzOgBrmuW4uV4We6xl2Irtht9rzquy8s2l4XEhYEYxkra+Sh3z4s4I8?= =?us-ascii?q?CzRlRhbt6+CpRQsjmXN4toTcMmRGFloCM6yqEctpKmYSQG1o4rxxDCZ/CdcIiF?= =?us-ascii?q?4QjvW/qWITd9nn5qY6i/iw6z8Uim1OL8StG53EtJoydHiNXBtH4A2wbd58SZUP?= =?us-ascii?q?dx40Ss1DmX2wDW8O5EIEQ0laTBK54mx749joAcsULeES/shkr7l7KZdkQr+uip?= =?us-ascii?q?8eToeKnmpp6GO4BojQH+N74ildelAeggKAgBQ3Cb+fig1L3k5UD2XK9Fjvgykq?= =?us-ascii?q?XAtJDaJN8bprKiDg9O0ocj7g6/AC283NQZm3kHNlNFdwidg4jnIVGdaMz/WPy2?= =?us-ascii?q?hlDplDZw29jHOKfgC9PDNCvtirDkKJ9751RRgCw60dBW4doAA7cNOv/bVk7+tc?= =?us-ascii?q?bREh5/OAuxhez9XoYunrgCUH6CV/fKeJjZtkWFs7oi?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0BwBQdQxZYLggSbtcHQYMGAYMgyyBb?= =?us-ascii?q?oNos24Hhh0ChEdDFAEBAQEBAQEBAQEBBRoLCTAvgjMggkMGIx0BATgPC0ICAiA?= =?us-ascii?q?LAgEpEgEIAQGKHrBha4ImgwkBAQWHVSMHCIhognCFL4IADC6CX510hA2CE40TU?= =?us-ascii?q?IEAAYh/FIEShVaUNzaBKy4gCBgWRocMXIh1AQEB?= X-IPAS-Result: =?us-ascii?q?A0A0BwBQdQxZYLggSbtcHQYMGAYMgyyBboNos24Hhh0ChEd?= =?us-ascii?q?DFAEBAQEBAQEBAQEBBRoLCTAvgjMggkMGIx0BATgPC0ICAiALAgEpEgEIAQGKH?= =?us-ascii?q?rBha4ImgwkBAQWHVSMHCIhognCFL4IADC6CX510hA2CE40TUIEAAYh/FIEShVa?= =?us-ascii?q?UNzaBKy4gCBgWRocMXIh1AQEB?= X-IronPort-AV: E=Sophos;i="5.38,292,1491256800"; d="asc'?scan'208";a="222599931" Received: from mta112.f1.k8.com.br ([187.73.32.184]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 May 2017 14:54:34 +0200 Received: from [10.200.12.21] (unknown [201.76.188.234]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtpz.f1.k8.com.br (Postfix) with ESMTPSA id 01D058003C for ; Fri, 5 May 2017 12:54:30 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.6.8 smtpz.f1.k8.com.br 01D058003C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=digirati.com.br; s=default; t=1493988871; bh=d0JMw85EOYE/QYOnf7DBjLYbTaY7pxKCm4O5QMPQvr0=; h=Subject:To:References:From:Date:In-Reply-To; b=xpu1EAzrdaAVgs2nQaldJTTwSQp2l9M9A8YeXSPPNnYOtnKPzcHEFSPtcWQ0O1jgi H7GudLlnipm/TvKOc55y5wQ9jnbNQU2CcWMU9iZcAjCw5oLrGElss9wZ//Gx3Kxea7 Oybze+ggxjtBpNi/7L2wIw7U24SMErBy9L3MqWp4= To: caml-list@inria.fr References: <57d0397e-7e96-455f-5c33-b951f7678585@digirati.com.br> <78fcf5fa-fe83-03f6-7644-561915956d15@polychoron.fr> From: Andre Nathan Message-ID: Date: Fri, 5 May 2017 09:54:27 -0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 In-Reply-To: <78fcf5fa-fe83-03f6-7644-561915956d15@polychoron.fr> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="nFFooioHQQqG2NCXW7nuFCatxjowdGnMp" Subject: Re: [Caml-list] First class module syntax This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --nFFooioHQQqG2NCXW7nuFCatxjowdGnMp Content-Type: multipart/mixed; boundary="a1sQ7Sosu2jtruUgwFB11RUslKQkhnMOT"; protected-headers="v1" From: Andre Nathan To: caml-list@inria.fr Message-ID: Subject: Re: [Caml-list] First class module syntax References: <57d0397e-7e96-455f-5c33-b951f7678585@digirati.com.br> <78fcf5fa-fe83-03f6-7644-561915956d15@polychoron.fr> In-Reply-To: <78fcf5fa-fe83-03f6-7644-561915956d15@polychoron.fr> --a1sQ7Sosu2jtruUgwFB11RUslKQkhnMOT Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 05/05/2017 09:42 AM, octachron wrote: (* module type names do not need to start with a capital *) I didn't know that! Thanks, Andre --a1sQ7Sosu2jtruUgwFB11RUslKQkhnMOT-- --nFFooioHQQqG2NCXW7nuFCatxjowdGnMp Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCAAGBQJZDHYDAAoJED4JW1qwFY2cEfQH/1BSmGBUZr+T1vhED1dCR1ts +H6weCIzFqX+eD14a4yGfgbyUL37kuSlC6pnNJftj5rVUGbwPdXzoIQAaGmnIGyl MKNkowpZL1WYGqagxz2K7Sx6wqa4gp884OHgVx03xoZbR7TqUoDI7uwVTjW3/eZC bdNBVUvlmAqei3jAcNp/mBNht4c3qbAbSvRaSM3z0z7Qd4Bzh1lShkus1JnvJTAb ksau0j1R0TW3W9tMnB/v6X00LsuRPr7BoB6tRpMeE+i6aDwH5JRk9QwD9UvJS/Ry djfiM5bEWTsLDQ3jaVoPzRiJPqZ0s0kAX9OJjtJDeOWJVKaciK563avqWvkBgDs= =9o8O -----END PGP SIGNATURE----- --nFFooioHQQqG2NCXW7nuFCatxjowdGnMp--