[Caml-list] syntax suggestion

[Caml-list] syntax suggestion

[rixed]

Wouldnt it be nice if, as a special form of the = operator,
"variable = pattern when condition" were equivalent to
"match variable with pattern when condition -> true | _ -> false" ?

So that one could easily check optional values for instance:

if variable = Some x when x > 15 then blabla

What do you think?

Re: [Caml-list] syntax suggestion

[Gabriel Scherer]

This is a subset of Richard Jones' "matches" syntax extension, turning
an pattern matching on 'a into a ('a -> bool) function:

  if (matches Some x when x > 15) variable then ...

(The original extension did not handle "when", but it would be quite
easy to add.)

On Sat, Apr 27, 2013 at 9:18 AM,  <rixed@happyleptic.org> wrote:
> Wouldnt it be nice if, as a special form of the = operator,
> "variable = pattern when condition" were equivalent to
> "match variable with pattern when condition -> true | _ -> false" ?
>
> So that one could easily check optional values for instance:
>
> if variable = Some x when x > 15 then blabla
>
> What do you think?
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs