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 0C79780282 for ; Thu, 19 Oct 2017 16:16:32 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vrotaru.md@gmail.com; spf=Pass smtp.mailfrom=vrotaru.md@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vrotaru.md@gmail.com) identity=pra; client-ip=209.85.215.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vrotaru.md@gmail.com"; x-sender="vrotaru.md@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of vrotaru.md@gmail.com designates 209.85.215.44 as permitted sender) identity=mailfrom; client-ip=209.85.215.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vrotaru.md@gmail.com"; x-sender="vrotaru.md@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f44.google.com) identity=helo; client-ip=209.85.215.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vrotaru.md@gmail.com"; x-sender="postmaster@mail-lf0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ae2EUNR/ztGjC7f9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2+kcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV91i78TMQUjb4x492?= =?us-ascii?q?brDwE4/Wp8G+y+2wvp7UeARLwjywfeUhAg+xqFCbqNMRnYJ4N+A0xjPGp3JJf6?= =?us-ascii?q?JdwmYibQaNhRHg792tuptv2ytVsvMlscVHVPOpLOwDUbVEAWF+YCgO78rxuEyb?= =?us-ascii?q?QA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3AQBbsuhZhizXVdFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBg1kBPm4ng3qBNpgigXqJOYc7hT+CFAojhRgChQlBFgEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwgoL4I4IoJEAQQBIwQZARsdAQMBCwYDAgQBBjcCAiIBEQEFARwGE4oHA?= =?us-ascii?q?QMNCBCNGJEbQIwMgW0YBQEcgwkFg2UKGScNWIMBAQEBAQEBAQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEBFQIBBRKDHYIHVH2FGIRlAQFLgmeCYQWhUwKCQwGFG40OkxmVYBQkgRUlA?= =?us-ascii?q?XOBGXpeNYIvgk0fgXNANogxgjUBAQE?= X-IPAS-Result: =?us-ascii?q?A0D3AQBbsuhZhizXVdFdHQEFAQsBGAEFAQsBg1kBPm4ng3q?= =?us-ascii?q?BNpgigXqJOYc7hT+CFAojhRgChQlBFgEBAQEBAQEBAQEBEgEBAQgLCwgoL4I4I?= =?us-ascii?q?oJEAQQBIwQZARsdAQMBCwYDAgQBBjcCAiIBEQEFARwGE4oHAQMNCBCNGJEbQIw?= =?us-ascii?q?MgW0YBQEcgwkFg2UKGScNWIMBAQEBAQEBAQEBAQEBAQEBAQEBAQEBFQIBBRKDH?= =?us-ascii?q?YIHVH2FGIRlAQFLgmeCYQWhUwKCQwGFG40OkxmVYBQkgRUlAXOBGXpeNYIvgk0?= =?us-ascii?q?fgXNANogxgjUBAQE?= X-IronPort-AV: E=Sophos;i="5.43,402,1503352800"; d="scan'208,217";a="241662540" Received: from mail-lf0-f44.google.com ([209.85.215.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Oct 2017 16:16:31 +0200 Received: by mail-lf0-f44.google.com with SMTP id r129so9793946lff.8 for ; Thu, 19 Oct 2017 07:16:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=I6FykTmI079H/DzRIE1V5OEK3KUnGv2IP7OxXQzI8Mo=; b=LxfmaGU6JhAvDLDeA68uZ8SxDdIRm5owfy4yAQi6+InHuT0Q+0+Ox04SDUnM8jKjWj ZrpDbmWMk+wXoUj39IWqONoivh7YYR3NjrcRImm2NvmRkWD6+jgTucS7F7qQwZcaC0U1 W+bI27/FS4q8W2Pj0uS5mDUHuRLw9hm5IufOA0SXYNfqdLPwAVezxTSuYbBbm/L3dVlK 2o/PSo3w4mKboAbGoDuwwLnUglO5iST5DggwrZ1FDUKbvu6KVnbCwhOQx0VuwCSu3LYP fmJwlgsdSwvT1vMKDlFmhFZ+9lyYtCB0miT5WE6/sMK5TongOw6Plxh+kCkTpyX7gQ9R ScEw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=I6FykTmI079H/DzRIE1V5OEK3KUnGv2IP7OxXQzI8Mo=; b=obxwthBsN0C0RkL67k4r4Weiptl/qaDnL5BuYHAzTL/8A0J0FOYCt5xR5qku2ypIrj 1k+QeiQ9x3BsOaVc27F3x69XiswaLqqf09Ni6VlXNbYdGC6ul87f+waqGizioPEEHOww Ez9QmcCcUAt6XJd7a4mEag6Jjp5loWLJBUY8kIdeNv+fx/hEtDOjaxg8t1vIF0p46nj6 0bBbcY87LmbRnkGDwW9hkrn7XjPvvnMfnB63JHrdehzUIWLi7ga69ZHaCr9dzOHikf7N kSLDjaIUPb2sNswBNp6busK3k8i9Cpl6kt2zEb4uDx8Yv4Hx9cyDB3TFnS4dJS9NG/c2 ogUA== X-Gm-Message-State: AMCzsaVOpujtnSJF0wmlk1cehU90axM/OXUzPNiZlGYI2KPLv92L8L3H qv+ltqfEceIIxUx73lSP7c1NTOeP7HJ6h+XPvfI= X-Google-Smtp-Source: ABhQp+QRh9jY1SlxWlxteA7IZ/nPN/9Z+hwn12giX1Gm71mB/fdSMOdGirMNbeIfiBbhdALPMgGyn5qOXSWUATu9RCg= X-Received: by 10.46.29.91 with SMTP id d88mr768298ljd.177.1508422590455; Thu, 19 Oct 2017 07:16:30 -0700 (PDT) MIME-Version: 1.0 References: <72565dd8-08e0-0fd3-a3df-6742e1957ec3@matej-kosik.net> In-Reply-To: <72565dd8-08e0-0fd3-a3df-6742e1957ec3@matej-kosik.net> From: "vrotaru.md@gmail.com" Date: Thu, 19 Oct 2017 14:16:19 +0000 Message-ID: To: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="94eb2c1ab27cace29d055be700ea" Subject: Re: [Caml-list] beginner question about pattern matching --94eb2c1ab27cace29d055be700ea Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [ Rtag (_,_,_,_) as rtag] -> rtag On Thu, Oct 19, 2017, 16:39 Matej Ko=C5=A1=C3=ADk wr= ote: > 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.) > > --94eb2c1ab27cace29d055be700ea Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

[ Rtag (_,_,_,_) as rtag] -> rtag


On Thu, Oct 19, 2017, 16:39= Matej Ko=C5=A1=C3=ADk <mail@mat= ej-kosik.net> wrote:
Hi,

I am trying to do simple pattern matching of these values:
https://github.com/ocaml/ocaml/b= lob/trunk/parsing/parsetree.mli#L145

What I would like to do is:

=C2=A0 =C2=A0| [Rtag the_whole_4_tuple] ->
=C2=A0 =C2=A0 =C2=A0 =C2=A0the_whole_4_tuple

However, when I try to do that, I am getting:

=C2=A0 Error: The constructor Rtag expects 4 argument(s),
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0but is applied here to 1 argument(s)

This:

=C2=A0 =C2=A0 | [Rtag (f1,f2,f3,f4)] ->
=C2=A0 =C2=A0 =C2=A0 =C2=A0 f1,f2,f3,f4

of course works but (regardless of the chosen bound variable names), it loo= ks 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.)

--94eb2c1ab27cace29d055be700ea--