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 F2AEE7EE25 for ; Sat, 26 Oct 2013 03:08:37 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of norm@cap-lore.com) identity=pra; client-ip=66.201.51.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="norm@cap-lore.com"; x-sender="norm@cap-lore.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of norm@cap-lore.com) identity=mailfrom; client-ip=66.201.51.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="norm@cap-lore.com"; x-sender="norm@cap-lore.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@s2.ootbcomp.com designates 66.201.51.50 as permitted sender) identity=helo; client-ip=66.201.51.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="norm@cap-lore.com"; x-sender="postmaster@s2.ootbcomp.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkRAMQVa1JCyTMy/2dsb2JhbABZgkNEOKo6A4waiEeBIRZ0giUBAQQBJ1IFCwsEAUEhNgYTh3UDCQYNrmkNiWuMY4JwB4MfgQ0DiT+MYIMahQyGFYU3g0Y X-IPAS-Result: AhkRAMQVa1JCyTMy/2dsb2JhbABZgkNEOKo6A4waiEeBIRZ0giUBAQQBJ1IFCwsEAUEhNgYTh3UDCQYNrmkNiWuMY4JwB4MfgQ0DiT+MYIMahQyGFYU3g0Y X-IronPort-AV: E=Sophos;i="4.93,574,1378850400"; d="scan'208,217";a="38849294" Received: from s2.ootbcomp.com ([66.201.51.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-CAMELLIA256-SHA; 26 Oct 2013 03:08:36 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by s2.ootbcomp.com (Postfix) with ESMTP id 6F622104D9A; Fri, 25 Oct 2013 18:08:32 -0700 (PDT) X-Virus-Scanned: amavisd-new at ootbcomp.com Received: from s2.ootbcomp.com ([127.0.0.1]) by localhost (s2.ootbcomp.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id rS3FVbaJlo4f; Fri, 25 Oct 2013 18:08:30 -0700 (PDT) Received: from [192.168.1.108] (99-4-121-168.lightspeed.sntcca.sbcglobal.net [99.4.121.168]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: norm) by s2.ootbcomp.com (Postfix) with ESMTPSA id 0B15C104D98; Fri, 25 Oct 2013 18:08:29 -0700 (PDT) Content-Type: multipart/alternative; boundary="Apple-Mail=_AF201064-C3D2-4765-A8DB-251D8031C1A9" Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1816\)) From: Norman Hardy In-Reply-To: Date: Fri, 25 Oct 2013 18:08:29 -0700 Cc: Yaron Minsky , Andreas Rossberg , Gabriel Scherer , Ivan Gotovchits , Roberto Di Cosmo , Jacques Garrigue , OCaML List Mailing Message-Id: <53FD8CDF-0FB3-463A-B2DA-077488CEDC71@cap-lore.com> References: <97627FCD-30E1-45AD-A72B-CD423170C0AC@math.nagoya-u.ac.jp> <20131025082911.GB23798@voyager> <878uxhd62p.fsf@golf.niidar.ru> <526A7F33.6040203@mpi-sws.org> To: Jacques Le Normand X-Mailer: Apple Mail (2.1816) Subject: Re: [Caml-list] Equality between abstract type definitions --Apple-Mail=_AF201064-C3D2-4765-A8DB-251D8031C1A9 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 On 2013 Oct 25, at 13:44 , Jacques Le Normand wrote: > I'm surprised noone has pointed out the new type annotation syntax: >=20 > let id : type s. s -> s =3D fun x -> x >=20 I like that syntax, I think. I suppose that "id : type s. s -> s =3D fun x -> x" is a let-binding and that "id : type s. s -> s" is a pattern, but I cannot get the syntax at http://caml.inria.fr/pub/docs/manual-ocaml/p= atterns.html to produce "id : type s. s -> s=94.= --Apple-Mail=_AF201064-C3D2-4765-A8DB-251D8031C1A9 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252
On 2= 013 Oct 25, at 13:44 , Jacques Le Normand <rathereasy@gmail.com> wrote:

I'm surprised noone has pointed out the new type annotation syntax:
let id : type s. s -> s =3D fun x -> x

I like tha= t syntax, I think.
I suppose that "id : type s. s -> s =3D fun= x -> x" is a let-binding
and that "id : type s. s -> = s" is a pattern,
to produce "id : type = s. s -> s=94.
= --Apple-Mail=_AF201064-C3D2-4765-A8DB-251D8031C1A9--