From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alan.schmitt@polytechnique.org>
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 3919B80211
	for <caml-list@sympa.inria.fr>; Thu, 19 Oct 2017 16:31:58 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.43,402,1503352800"; 
   d="asc'?scan'208";a="241665586"
Received: from charm-wifi.irisa.fr ([131.254.66.86])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 19 Oct 2017 16:31:57 +0200
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: Matej =?utf-8?B?S2/FocOtaw==?= <mail@matej-kosik.net>
Cc: "vrotaru.md\@gmail.com" <vrotaru.md@gmail.com>,  caml-list@inria.fr
References: <72565dd8-08e0-0fd3-a3df-6742e1957ec3@matej-kosik.net>
	<CAJgjwejNKmdtzKAdAsVdjFmwDM3f11RQrWT0b8-wiyJvALtgtA@mail.gmail.com>
	<2a85acfe-9154-fc07-6265-a1847f883d00@matej-kosik.net>
Date: Thu, 19 Oct 2017 16:31:57 +0200
In-Reply-To: <2a85acfe-9154-fc07-6265-a1847f883d00@matej-kosik.net> ("Matej
	\=\?utf-8\?B\?S2\/FocOtayIncw\=\=\?\= message of "Thu, 19 Oct 2017 16:24:44 +0200")
Message-ID: <m260bbqkde.fsf@charm-wifi.irisa.fr>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-=";
	micalg=pgp-sha512; protocol="application/pgp-signature"
Subject: Re: [Caml-list] beginner question about pattern matching

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On 2017-10-19 16:24, Matej Ko=C5=A1=C3=ADk <mail@matej-kosik.net> writes:

> Instead of the whole
>
>   Rtag (something1, something2, something3, something4)
>
> I would like to bind just the 4-tuple
> (without the Rtag label).

I think it is not possible because the memory layout is not the same
(you need to destructure the Rtag block and create a new block for the
tuple).

Best,

Alan

--=20
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO=E2=82=82, Mauna Loa Obs. 2017-09: 403.38, 2016-09: =
401.03

--=-=-=
Content-Type: application/pgp-signature; name="signature.asc"

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAlnot10ACgkQBA0KO07S
5cehdAgA0PbC9YCQg8BnOsnF7zLQh2d6gfIpkxUYWe8iGR5ZeTa34ZYNlMaUGqlz
MbLJR1Nlsq4Baj1ObXQ4ihCTn2YuMNNcOH684iwHIv30wZkFJ304fwtVBZxM43I1
RC1hQHnzTd0Q+mM+SEB/ylF9m53XoGUyrMIWZq6DgOPRlZ7i5opjWYe8cK2aJ0a6
gHl7MCD8jiNb4XIowqXTlRlzeLJ8TvAQYmitbPWcAcXcnWFKeWDeagV7Gnn0y2R9
DGohKkyxfmWb9FiXub0j0b1U9CyiXEvnSI8XeTfddD9eC//IYYFMuQGIuy6JZcs9
aXaQXvDIqK0nx9n9/iPPK7rqXE8NfA==
=sZMX
-----END PGP SIGNATURE-----
--=-=-=--