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 4F16C7F71A for ; Tue, 22 Apr 2014 01:50:44 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApYBAIqtVVOFBoIFl2dsb2JhbABZhzvBA4E2DgEBAQEBCBYHPIIlAQEFIx0DATUBAQ4LGAICGA4CAlcGiFOodHaDZQKZR4YUEAEGgSmNBjMHgm81gRSJZY8Nlg8 X-IPAS-Result: ApYBAIqtVVOFBoIFl2dsb2JhbABZhzvBA4E2DgEBAQEBCBYHPIIlAQEFIx0DATUBAQ4LGAICGA4CAlcGiFOodHaDZQKZR4YUEAEGgSmNBjMHgm81gRSJZY8Nlg8 X-IronPort-AV: E=Sophos;i="4.97,899,1389740400"; d="scan'208";a="58157281" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Apr 2014 01:50:41 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 04BB463C0; Tue, 22 Apr 2014 08:50:38 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id B60D7411B; Tue, 22 Apr 2014 08:50:37 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s=alpha; bh=MDU2J+3TWzGZqwpnqpaRHZDBBhw=; b=QhxBQeICWO0NxTOPhxHmQEsAtN00 9r3yzZA+S+264Cxp/ISFSzIn7twTL39Hwwl1Jt35pWt7q8O3OTZaUkV+/W5Z9GGt Tw8G1DR6xg5w3YF06Z0uWC07vXTkxPRjlHN5cftBM5CYbG1fCwrueUe4/Mj+JMda 7DoKwqVk4yNOpN8= DomainKey-Signature: a=rsa-sha1; h=Received:Content-Type:Mime-Version:Subject:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=Xqq4hmGVIRV4ec884MvR2XGgxoqa1JpTpSiI8Ybg6NYnwDmKwLnErlEn5yoRJU+5MLw6z6BHgSp06MWlABYT0B0uobfCuZZh7iDBly9vAo6Yb5BRJTBN6pygGmQaWkHQINwjg9JrPtJy1sr4tYCKnQUemzSL/88ySlDXSdQEwzw=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from tet.garrigue.jp (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 7F89D410B; Tue, 22 Apr 2014 08:50:37 +0900 (JST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\)) From: Jacques Garrigue In-Reply-To: <8F9F12A8E9C94118A453E000BC387897@erratique.ch> Date: Tue, 22 Apr 2014 08:50:37 +0900 Cc: OCaML List Mailing Content-Transfer-Encoding: quoted-printable Message-Id: <17AF8444-F297-4584-ADE8-D17974BE6960@math.nagoya-u.ac.jp> References: <8F9F12A8E9C94118A453E000BC387897@erratique.ch> To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Mailer: Apple Mail (2.1874) Subject: Re: [Caml-list] non-optional labels in signatures On 2014/04/22 06:30, Daniel B=C3=BCnzli wrote: >=20 > Hello, >=20 > This is certainly a question for Jacques Garrigue. I'm asking out of pure= curiosity if there's a particular reason why non-optional labels in signat= ures don't have the ~ ? Is to save a keystroke ?=20 This was actually a difficult choice. In O=E2=80=99Labl (and in OCaml 2.99), there was no ~ in expressions either= ; a label was an identifier followed by a colon with no space. However, in OCaml 3.00 we chose to be more conservative, and to preserve co= mpatibility with type annotations (i.e. do not require to add spaces around= the colon). Since the conflict with type annotations was only for expressions, this lef= t the question of what to do with signatures. There the decision was mostly based on esthetics: a ~ after an arrow does n= ot look good. I don=E2=80=99t think that saving a keystroke was part of this decision. Jacques Garrigue=