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 4F1BB7EEFA for ; Sun, 8 Nov 2015 23:51:11 +0100 (CET) IronPort-PHdr: 9a23:sfxceh0go0tpLn3VsmDT+DRfVm0co7zxezQtwd8ZsegRKfad9pjvdHbS+e9qxAeQG96LtrQY0qGP7fqocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLrjqvrpcebSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskztSQyV53IaGlobkx9FGUCR4g7SUpr3vyG8u+xs32+WMJulY6ozXGGE6L1uQRmgqC4dOy9xpGfQkMlYh6tD5RamvRE5yInRNtLGfMFid7/QKItJDVFKWdxcAmkYWtux Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=norm@cap-lore.com; spf=Pass smtp.mailfrom=norm@cap-lore.com; spf=None smtp.helo=postmaster@darwin.junkemailfilter.com 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=184.105.182.173; 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 norm@cap-lore.com designates 184.105.182.173 as permitted sender) identity=mailfrom; client-ip=184.105.182.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="norm@cap-lore.com"; x-sender="norm@cap-lore.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@darwin.junkemailfilter.com) identity=helo; client-ip=184.105.182.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="norm@cap-lore.com"; x-sender="postmaster@darwin.junkemailfilter.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BwNgC30D9W/622abhegzuBQqsuBQGBDZFwAQEIgWCGEAKBHz4OAQEBAQEBAQGBCUEPAYFdggcBAQEDATo/BQsLDgouVwYTiCYIBb9lAQEBAQEBAQMBAQEBAQEBARuGDYJXgm6IJIEVBY4RiDepbD0BAQEBIoQlUYNvgXcBAQE X-IPAS-Result: A0BwNgC30D9W/622abhegzuBQqsuBQGBDZFwAQEIgWCGEAKBHz4OAQEBAQEBAQGBCUEPAYFdggcBAQEDATo/BQsLDgouVwYTiCYIBb9lAQEBAQEBAQMBAQEBAQEBARuGDYJXgm6IJIEVBY4RiDepbD0BAQEBIoQlUYNvgXcBAQE X-IronPort-AV: E=Sophos;i="5.20,264,1444687200"; d="scan'208";a="186639382" Received: from darwin.junkemailfilter.com ([184.105.182.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Nov 2015 23:51:09 +0100 Delivery-date: Sun, 08 Nov 2015 14:51:10 -0800 Received: from 99-4-122-65.lightspeed.sntcca.sbcglobal.net ([99.4.122.65] helo=[192.168.1.77]) helo=[192.168.1.77] by darwin.junkemailfilter.com with esmtpsa (TLSv1:ECDHE-RSA-AES256-SHA:256) (Exim 4.86) id 1ZvYnh-0003CX-UM on interface=184.105.182.178; Sun, 08 Nov 2015 14:51:05 -0800 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.0 \(3094\)) From: Norman Hardy In-Reply-To: <87pozk6vjp.fsf@mid.deneb.enyo.de> Date: Sun, 8 Nov 2015 14:50:57 -0800 Cc: "Soegtrop, Michael" , "caml-list@inria.fr" Content-Transfer-Encoding: 7bit Message-Id: References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3E070@IRSMSX102.ger.corp.intel.com> <87pozk6vjp.fsf@mid.deneb.enyo.de> To: Florian Weimer X-Mailer: Apple Mail (2.3094) X-Authenticated: norm@cap-lore.com X-Spamfilter-host: darwin.junkemailfilter.com - http://www.junkemailfilter.com X-Key-ID: Y2FtbC1saXN0QGlucmlhLmZyIG5vcm1AY2FwLWxvcmUuY29tIDIwMTUtMTEtMDggMTQ6NTE6MDUgMVp2WW5oLTAwMDNDWC1VTQ== Subject: Re: [Caml-list] Newbie comment on constructor syntax > On 2015 Nov 8, at 13:16 , Florian Weimer wrote: > > * 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 However the following works: # type x = X of (int * int);; type x = X of (int * int) # let c = (1, 2) in X c;; - : x = X (1, 2)