From: "Matej Košík" <mail@matej-kosik.net>
To: caml-list@inria.fr
Subject: Re: [Caml-list] beginner question about pattern matching
Date: Thu, 19 Oct 2017 16:40:57 +0200 [thread overview]
Message-ID: <efed075f-ef2c-e9f5-6df5-481ed52ec646@matej-kosik.net> (raw)
In-Reply-To: <CAPFanBF3DXnpOPOjZyKQnHRQR_9gmzqn=woawJ_F5MdkUqm8Sg@mail.gmail.com>
[-- Attachment #1.1: Type: text/plain, Size: 1415 bytes --]
Ok. Thank you all. I suspected as much but I wanted to check with someone else.
(Adding a note about n+1-st note about Ocaml quirks and moving on.)
(* NOTE: This looks bad, but Ocaml (4.06 beta) does not allow me to do any better *)
| [Rtag (f1,f2,f3,f4)] ->
f1,f2,f3,f4
On 10/19/2017 04:34 PM, Gabriel Scherer wrote:
> This is a small hiccup with the OCaml (non-revised) syntax:
>
> | Foo of bar * baz * blah
>
> and
>
> | Foo of (bar * baz * blah)
>
> are not equivalent, and only the latter allows to do what you want.
>
>
> On Thu, Oct 19, 2017 at 3:38 PM, Matej Košík <mail@matej-kosik.net> 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.)
>>
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
next prev parent reply other threads:[~2017-10-19 14:41 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-19 13:38 Matej Košík
2017-10-19 14:16 ` vrotaru.md
2017-10-19 14:24 ` Matej Košík
2017-10-19 14:29 ` vrotaru.md
2017-10-19 14:30 ` Olivier Nicole
2017-10-19 14:31 ` Alan Schmitt
2017-10-19 14:34 ` Gabriel Scherer
2017-10-19 14:40 ` Matej Košík [this message]
2017-10-19 14:44 ` vrotaru.md
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=efed075f-ef2c-e9f5-6df5-481ed52ec646@matej-kosik.net \
--to=mail@matej-kosik.net \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).