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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4FE247F617 for ; Fri, 5 May 2017 14:28:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andre@digirati.com.br) identity=pra; client-ip=187.73.32.184; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3AHu22RxRT9TqgZH9TXfp0tE37U9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69ZhWN2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/n/XhMJtj6xVrhyuqBNjzIPPb4GZKOBzcKTBcd4UR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF/YMPeBFoInnuVQFsAOwChOwBOPv0DBIgGL90Kog3OQnDA7GxhIvEskTv3?= =?us-ascii?q?TVo9X1Nb0SXvqpzKnJ1znMc/RW2TLn5IfTaBAsuPeBVq9zf8rJ0UQjCgDIg1eK?= =?us-ascii?q?pYHnMT6ZzOoAv3aB4+Z9Vu+ihHYrpx9trjSy3MshiIjEipgIxl3H9ih12pg5KN?= =?us-ascii?q?O3RUN9fNWqCoFftzuAOItzWs4iQ39nuCI9yrAevJ67YDIFxIk6yxLBcfCHfZWE?= =?us-ascii?q?7gjgVOuSOzt3mHVleLelixmp60is0uz8Vs+q31ZWtidJj9rBu3IX2xHR5MWLUP?= =?us-ascii?q?Vw8lm71TqS1A3e5flIIUUumqraL54hzKQwlp0WsUnbBCD2nlj5jLWIeUg/5+eo?= =?us-ascii?q?6uvnYrT8ppCGK490ixvyPbgpmsy6G+g3KRIOU3CB+eugzL3j4VH5QLJSg/IqiK?= =?us-ascii?q?bZtZTaKd0fpq64GA9Vzp0u6w2/DjejyNQXh2MLLFNDeBKdjojmIUvCIP7iDaT3?= =?us-ascii?q?v1P5mz5uw7XCP6b9KpTLNHnK1rn7Lphn7EsJ4Qw/190XwZtICrgHaKb6XEPruf?= =?us-ascii?q?TUDxA4KQWowqDsD9A73JlICjHHObOQLK6H6QzA3ekoOeTZPII=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AxDAAfbwxZYLggSbtcHAEXAQwBBQEXA?= =?us-ascii?q?QwBgxiBboNos24HimZDFAEBAQEBAQEBAQEBBRoLCTAvgjMggmwdAQE4XAIiCwI?= =?us-ascii?q?BOwEIAQGKHrBga4ImgwkBAQWHeAcIiGiIH4IADC6CX510gVuCMoITjRNQgQABi?= =?us-ascii?q?H8UgRKFVpQ3NmBLLiAIGBaEdQGCXFyIdQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AxDAAfbwxZYLggSbtcHAEXAQwBBQEXAQwBgxiBboNos24?= =?us-ascii?q?HimZDFAEBAQEBAQEBAQEBBRoLCTAvgjMggmwdAQE4XAIiCwIBOwEIAQGKHrBga?= =?us-ascii?q?4ImgwkBAQWHeAcIiGiIH4IADC6CX510gVuCMoITjRNQgQABiH8UgRKFVpQ3NmB?= =?us-ascii?q?LLiAIGBaEdQGCXFyIdQEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,292,1491256800"; d="asc'?scan'208";a="271866183" Received: from mta112.f1.k8.com.br ([187.73.32.184]) by mail2-smtp-roc.national.inria.fr with ESMTP; 05 May 2017 14:28:24 +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 8CDD58010B for ; Fri, 5 May 2017 12:28:19 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.6.8 smtpz.f1.k8.com.br 8CDD58010B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=digirati.com.br; s=default; t=1493987300; bh=a588Cg4d25q871ZTimmVYheBn6f+H9VhSwPZnclF8mo=; h=To:From:Subject:Date; b=xqNFAxcbDa1dxQeVTQ/4c7g+oNzGp7JciOLV7fvogeFMxCINGMil9X812w7R2uVtD ZXAgc6+NuaCQRpwBy74XLSsjD/e4bHVQe2kv4l2PRFgZsFmBGF9t6UxZu4+MP5KkAf SBNtmlJqmB5NyV7L57XngR4mOwfha154lerjUD3I= To: caml-list@inria.fr From: Andre Nathan Message-ID: <57d0397e-7e96-455f-5c33-b951f7678585@digirati.com.br> Date: Fri, 5 May 2017 09:28:15 -0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="3E6BGHvUWs1Mf2wCV7NxvofcavW4HNqGP" Subject: [Caml-list] First class module syntax This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --3E6BGHvUWs1Mf2wCV7NxvofcavW4HNqGP Content-Type: multipart/mixed; boundary="IUSJBMHAa77dN48elVLnOjcg8NrdcP5cN"; protected-headers="v1" From: Andre Nathan To: caml-list@inria.fr Message-ID: <57d0397e-7e96-455f-5c33-b951f7678585@digirati.com.br> Subject: First class module syntax --IUSJBMHAa77dN48elVLnOjcg8NrdcP5cN Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi I was thinking about the syntax for a function taking a module as a parameter, i.e., let f (module M : S) =3D ... Off the top of my head I couldn't think of anything that would prevent the syntax from being like let f (M : S) =3D ... I can't think of ways in which this would be ambiguously parsed, so I was just wondering what led to the choice of requiring the "module" keyword in this case. Cheers, Andre --IUSJBMHAa77dN48elVLnOjcg8NrdcP5cN-- --3E6BGHvUWs1Mf2wCV7NxvofcavW4HNqGP 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 iQEcBAEBCAAGBQJZDG/fAAoJED4JW1qwFY2c8OoH/3eg8RBtB6Fc37pGqEH3uwuV VvBkGC7KdM1LFhXyzBaARZF4Y5Pxld9KhygptzVUOZSHNTyadhSBLYR/SXzkT0Sq 2R4gR/9xPf/vPF4a12MM4D6CPdK2jx70zAJW11KZ0wrp2GtIxVeFkWxrbxsCN1HO ZWEng7vEV8DwLWLFsB1SBmrW3INuy9BJ5aPTtHMIRrv5mdW1OoDlnwt+i843xdh4 1Ok/0WrCk+PBczxTvA6syIYj66h2inB9raSqOM1fK8C5BYT2Ez2Nf8HzEfQeDPKz LMtH0pvptYpsL7yBDxdqlPXyT3dupRVvF+Q9su4VtepjLgbi8IW7ABIHUEUOfNs= =r/HT -----END PGP SIGNATURE----- --3E6BGHvUWs1Mf2wCV7NxvofcavW4HNqGP--