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 AD69480211 for ; Thu, 19 Oct 2017 16:30:51 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=olivier.th.nicole@gmail.com; spf=Pass smtp.mailfrom=olivier.th.nicole@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f54.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of olivier.th.nicole@gmail.com) identity=pra; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olivier.th.nicole@gmail.com"; x-sender="olivier.th.nicole@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of olivier.th.nicole@gmail.com designates 74.125.82.54 as permitted sender) identity=mailfrom; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olivier.th.nicole@gmail.com"; x-sender="olivier.th.nicole@gmail.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@mail-wm0-f54.google.com) identity=helo; client-ip=74.125.82.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="olivier.th.nicole@gmail.com"; x-sender="postmaster@mail-wm0-f54.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AYr7rpBM/b6rvLyze2A4l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/r9rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6a8TWO6msZExD7cA50?= =?us-ascii?q?PfjdG4jIjs3x2frh1YfUZlBvgDujYL5oZDO3pgLVu4FCho9jNKc80F3Voj1Oeu?= =?us-ascii?q?9RwW5AKleanhK67cC1qs0wux9Msu4sopYTGZ7xeL41GORV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AGAgDptehZfzZSfUpdHgYMGQYMhBiBF?= =?us-ascii?q?YN6mViBephHCiOFGAKFCUMUAQEBAQEBAQEBAQESAQEJCwsIJjGCOCKCQwEBAQM?= =?us-ascii?q?BIwQLAQ0BGx4DDAYDAgsNAgIjAwICIQIRAQUBCxETBgIBAYoDAQMNCBCNGJEbQ?= =?us-ascii?q?IwMgW0YBQEcgwkFg2UKGScNWIMBAQEBAQYBAQEBARsCAQUJAQh9giCCB4NmgwO?= =?us-ascii?q?CXoIHAQFqgkiCYQWKH5Z4PIdhiBWEeYQIh00RhzONBohBAgQCBAUCBhQkgRU2g?= =?us-ascii?q?Xw0ISVeNYIvgk2CFHSIMYI1AQEB?= X-IPAS-Result: =?us-ascii?q?A0AGAgDptehZfzZSfUpdHgYMGQYMhBiBFYN6mViBephHCiO?= =?us-ascii?q?FGAKFCUMUAQEBAQEBAQEBAQESAQEJCwsIJjGCOCKCQwEBAQMBIwQLAQ0BGx4DD?= =?us-ascii?q?AYDAgsNAgIjAwICIQIRAQUBCxETBgIBAYoDAQMNCBCNGJEbQIwMgW0YBQEcgwk?= =?us-ascii?q?Fg2UKGScNWIMBAQEBAQYBAQEBARsCAQUJAQh9giCCB4NmgwOCXoIHAQFqgkiCY?= =?us-ascii?q?QWKH5Z4PIdhiBWEeYQIh00RhzONBohBAgQCBAUCBhQkgRU2gXw0ISVeNYIvgk2?= =?us-ascii?q?CFHSIMYI1AQEB?= X-IronPort-AV: E=Sophos;i="5.43,402,1503352800"; d="scan'208";a="297021911" Received: from mail-wm0-f54.google.com ([74.125.82.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Oct 2017 16:30:51 +0200 Received: by mail-wm0-f54.google.com with SMTP id l68so16786598wmd.5 for ; Thu, 19 Oct 2017 07:30:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:references:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=sVt3NbXupzWis8ZC1REsmQrNwWQZ5cQ7zjcG9pKJ5+s=; b=vF9ejYnudsCFcqFdFj3jXMpjUU1ZYeQ4HIDyGCCqAQ5SQJ2NWkTaSvsBsE8O8GDnq0 JRQcNMTxTyO60SR0uGjYhPcwRm1fxeRJ1AdWP6ecJNkj9vvCgPzqdObeGIxnVmMqXUI/ 4SUtN0G7NrLAhp2XZg1d3CcWJeUuz0Rtr3rsUYBFg2Fu6xhYgmS+hKYtfp2/0Ik9UCEf mZzUkh1L9XEZcFv8LRzqppyQ2Hkhoa5GWxfsCWRIGcPnPtDdxitLC7yBJdz8JvkqbND0 NKk1W/Rr7N20vlXpDsanfhMwekM0ndeF0J1bOWePX5KhG1304pTaw3FkRLO5UT78sbJQ CYfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:references:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=sVt3NbXupzWis8ZC1REsmQrNwWQZ5cQ7zjcG9pKJ5+s=; b=gyQZjk8Np9rX6nAUrFg33yLUXjsMicaek7nBqg8DDL70X6l3IsIWLQHSeXUqSntsDc 9duAYGRouAWTHG0mif0y/t550ARnnHt1Qrqetj6/Ly2W3bSRWg2HTP8Tnr/6R/1UfQlC Z7oZoqiFM+LTE6Ca28Lj6k4mDdEI2syDjORo6FbltOJIHkXf8wdojZ4L06+spl38URrw gqDks8XzwfXw6ykk+u5PjNALx2h1N048vna7jYYEw7sGjomJAk2A0V0i/aTAXjhQt2Y+ TftXeHxEloDqQ5yafKZCfOyjCYu6gfW+BjlWjRX5SyMpjBZ/aqKcqpLW4ZnmIX7ABdNH GlPw== X-Gm-Message-State: AMCzsaWG9c4aFlZ2//LIwVfo1GLm4OC8yvocPYK4dbLAgAqKjrEFP9xt v4GmM2Luewsd8OHtd6wQsLbrdifX X-Google-Smtp-Source: ABhQp+ROECe9u/ISUatJvgpxAaPb49+abCYqcEngQgEgoyrDYe7v1jny5zlsp/GHLKeu86yTfEwsWQ== X-Received: by 10.28.208.129 with SMTP id h123mr2052339wmg.25.1508423450457; Thu, 19 Oct 2017 07:30:50 -0700 (PDT) Received: from [147.250.223.168] ([147.250.223.168]) by smtp.gmail.com with ESMTPSA id l73sm1648416wmd.47.2017.10.19.07.30.49 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 19 Oct 2017 07:30:49 -0700 (PDT) From: Olivier Nicole X-Google-Original-From: Olivier Nicole To: caml-list@inria.fr References: <72565dd8-08e0-0fd3-a3df-6742e1957ec3@matej-kosik.net> <2a85acfe-9154-fc07-6265-a1847f883d00@matej-kosik.net> Message-ID: <1111d3bb-bab0-d2e9-17cb-d1dac13d9908@gmail.com> Date: Thu, 19 Oct 2017 16:30:49 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Validation-by: olivier.th.nicole@gmail.com Subject: Re: [Caml-list] beginner question about pattern matching Hello, On 10/19/2017 04:29 PM, vrotaru.md@gmail.com wrote: > Rtag ((_,_,_,_) as t4) -> t4 > > Will this work? Writing from the phone No, this will complain that the Rtag constructor expects 4 arguments. I would say that what you are trying to do is not possible, but I'm not absolutely certain. > > > On Thu, Oct 19, 2017, 17:24 Matej Košík > wrote: > > On 10/19/2017 04:16 PM, vrotaru.md@gmail.com > wrote: > > [ Rtag (_,_,_,_) as rtag] -> rtag > > That is certainly possible. > It is equivalent to: > > | [rtag] -> rtag > > but that's not what I am trying to do. :-/ > > Instead of the whole > > Rtag (something1, something2, something3, something4) > > I would like to bind just the 4-tuple > (without the Rtag label). > > > > > > > On Thu, Oct 19, 2017, 16:39 Matej Košík >> wrote: > > > > Hi, > > > > I am trying to do simple pattern matching of these values: > > > https://github.com/ocaml/ocaml/blob/trunk/parsing/parsetree.mli#L145 > > > > What I would like to do is: > > > > | [Rtag the_whole_4_tuple] -> > > the_whole_4_tuple > > > > However, when I try to do that, I am getting: > > > > Error: The constructor Rtag expects 4 argument(s), > > but is applied here to 1 argument(s) > > > > This: > > > > | [Rtag (f1,f2,f3,f4)] -> > > f1,f2,f3,f4 > > > > of course works but (regardless of the chosen bound variable > names), it looks amateurish. > > > > What's the right way to do this? > > (I would like just to bind a 4-tuple and then return it) > > > > (Apologies in advance for a stupid question.) > > >