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 C07F57F7C2 for ; Thu, 6 Feb 2014 20:05:29 +0100 (CET) Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 129.104.30.34 is permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=XoBB=XL=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=XoBB=XL=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=XoBB=XL=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=XoBB=XL=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=XoBB=XL=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAPvb81KBaB4inGdsb2JhbABZhxy8fRYOAQEBAQEICwkJFCiCJQEBBAEjBFIQCyEhAgIPBUmIEAisHqB+F5FwgUkEmCqVUA X-IPAS-Result: AoUBAPvb81KBaB4inGdsb2JhbABZhxy8fRYOAQEBAQEICwkJFCiCJQEBBAEjBFIQCyEhAgIPBUmIEAisHqB+F5FwgUkEmCqVUA X-IronPort-AV: E=Sophos;i="4.95,795,1384297200"; d="scan'208";a="57210242" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 06 Feb 2014 20:05:29 +0100 Received: from emmental.inria.fr (emmental.inria.fr [128.93.0.14]) (using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id DC73F140912EF; Thu, 6 Feb 2014 20:05:28 +0100 (CET) Date: Thu, 6 Feb 2014 20:05:27 +0100 From: Simon Cruanes To: Gabriel Scherer Cc: =?utf-8?B?TcOhcmlvIEpvc8Op?= Parreira Pereira , Lukasz Stafiniak , "caml-list@inria.fr" Message-ID: <20140206190527.GL11278@emmental.inria.fr> References: <52F3C3A1.8060500@gmail.com> <52F3C710.4020500@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="BOY+hQj86lETlGFu" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Thu Feb 6 20:05:29 2014 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000000, queueID=08632140912FA X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Type of term --BOY+hQj86lETlGFu Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le Thu, 06 Feb 2014, Gabriel Scherer a =C3=A9crit : > > I was just simply wandering if there wasn't any OCaml function that wou= ld > > work like: > > type_of(let f x =3D x) =3D 'a->'a >=20 > No, there is not. >=20 > What are you trying to do? Sounds like another use-case for the long-awaited Ocaml-ty extension ;-) my NaN cents --=20 Simon --BOY+hQj86lETlGFu Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJS89z3AAoJEErAHQhJqmK2XtYP/jaScRmUrMwdOEWDqEsdr11D L6lElIZ4VjfX7HnM/qj3vgY/Ks8cMRNdt2H0QpqHJYsT23rgDwfyBzAGDS6hqRWU g4L0qxMqQBNgf6Tf0HGgZ8G++FIETphM7R2DRbrPsL/YvXMgmA3egNsTruvI72Et nYXRC8PyeWHcyg8EAHnZigWuDMUXHdFVlpYfYzSIMj+v9xw0Ia9UpOpvm+B1J1VO SkAYDJ/I+oqNe2iKY2MIfCwIbqhJkrlUt8k5Dp7QN7DNCSyg+hF2enDAwdByTp1C IIJXTWLo6EJVeYlKGcmmI2t9qDLaCSH3KV69RyXstj8s7TR1cATUF238aa7Ux7De cjBznjlvu3oKuIFuGXtf3oMVzB5untP/9dq3ahPK4v6e/Y4W4cOeYVRvoeSHFgjp 4h4wI3iwmUmuHXUAyGzq6T3LEncou3lax7/fELRmKcnjYzrquxvbwQYOjrgKuP1f j7tyB4Q6F3xvIl18XCxqxTer45xLshsYncqeeNpuw9Qe47ZK0PjTCFRtf+gaTNVT 6Nz0JDe9vk9GA8z6weTVckyxxJjAqqR7lYLst/P2vhJTlJ/WwLYU/kcwekTDHc7E JiyINZRS6CeWrj59hEjuEvFSFRY/VjKxEFffbUJMYipEQQfb+QmlYZSuwaQwtGnq tZ0aKNzBI70R/379BDGD =BysK -----END PGP SIGNATURE----- --BOY+hQj86lETlGFu--