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 8BC7B7EEFA for ; Sun, 8 Nov 2015 22:17:25 +0100 (CET) IronPort-PHdr: 9a23:y6OBsBVd2xXhWRIkhTOAn4nJytvV8LGtZVwlr6E/grcLSJyIuqrYZh2Ht8tkgFKBZ4jH8fUM07OQ6PC9HzBZqs/d7zgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2OJVkRz2PhPvtbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrcrkcbBy8tlRdHHxLC9CW+FrLwuSvzu+43kH2fPMb2RL0wHy+l4qh3UhjwoCYBKzM9tmrQj5ojorhcpUePoxtlwofSKL6YNf9zZOuJc8wySWdHU8wXWipQBcWwYt1cXKI6Ie9Eotyl9BM1phykCFzpXbu3xw== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fw@deneb.enyo.de; spf=None smtp.mailfrom=fw@deneb.enyo.de; spf=None smtp.helo=postmaster@albireo.enyo.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fw@deneb.enyo.de) identity=pra; client-ip=46.237.207.196; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fw@deneb.enyo.de"; x-sender="fw@deneb.enyo.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fw@deneb.enyo.de) identity=mailfrom; client-ip=46.237.207.196; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fw@deneb.enyo.de"; x-sender="fw@deneb.enyo.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@albireo.enyo.de) identity=helo; client-ip=46.237.207.196; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fw@deneb.enyo.de"; x-sender="postmaster@albireo.enyo.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CnBQBuuz9W/8TP7S5egztmwHaGEAIIgRQ8EAEBAQEBAQEBgQmCLoIIAQEDAXkFCwshJQ8BRwaIOQwBv2UBAQEBBgEBAQEfhlSEfoVBg3gFlkiPAoc+BI82g3I4K4QFPYYaAQEB X-IPAS-Result: A0CnBQBuuz9W/8TP7S5egztmwHaGEAIIgRQ8EAEBAQEBAQEBgQmCLoIIAQEDAXkFCwshJQ8BRwaIOQwBv2UBAQEBBgEBAQEfhlSEfoVBg3gFlkiPAoc+BI82g3I4K4QFPYYaAQEB X-IronPort-AV: E=Sophos;i="5.20,263,1444687200"; d="scan'208";a="186634268" Received: from albireo.enyo.de ([46.237.207.196]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 08 Nov 2015 22:17:03 +0100 Received: from [172.17.203.2] (helo=deneb.enyo.de) by albireo.enyo.de with esmtps (TLS1.2:RSA_AES_128_CBC_SHA1:128) id 1ZvXKc-0006bG-Rt; Sun, 08 Nov 2015 22:16:58 +0100 Received: from fw by deneb.enyo.de with local (Exim 4.84) (envelope-from ) id 1ZvXKc-0007V4-6E; Sun, 08 Nov 2015 22:16:58 +0100 From: Florian Weimer To: "Soegtrop\, Michael" Cc: "caml-list\@inria.fr" References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3E070@IRSMSX102.ger.corp.intel.com> Date: Sun, 08 Nov 2015 22:16:58 +0100 In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3E070@IRSMSX102.ger.corp.intel.com> (Michael Soegtrop's message of "Fri, 6 Nov 2015 09:33:04 +0000") Message-ID: <87pozk6vjp.fsf@mid.deneb.enyo.de> MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Newbie comment on constructor syntax * Michael Soegtrop: > The one thing I find rather non intuitive is that variant constructors > can take only one argument - or a tuple. Curiously, the argument is not really a tuple. This does not work: type x = X of int * int let c = (1, 2) in X c > Although I know it is wrong, I always write "Constr a b" instead of > "Constr (a, b)". I know syntax is only a minor thing and mostly a > matter of taste, but a large fraction of my syntax errors in new > code are of this kind (when modifying code it is a bit different). Maybe it is possible to teach your editor some semantic syntax highlighting, so that it flags this while typing?