caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Lin <mysnowls@163.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] is there a more concise way to write this?
Date: Fri, 20 Jan 2012 16:52:30 +0800	[thread overview]
Message-ID: <4F192B4E.9000406@163.com> (raw)
In-Reply-To: <CAFrFfuEk3-Y7Gd4aSp7-xXWyceaBZCVtWUKg9AD8DoZXgTVEoA@mail.gmail.com>

What about:

let a = List.filter (fun x -> x)  [out; value]

Lin


On 01/20/2012 02:38 PM, Martin DeMello wrote:
>        let a = match (out, value) with
>          (true, true)  ->  [o; v]
>        | (false, true) ->  [v]
>        | (true, false) ->  [o]
>        | (false, false) ->  []
>



  parent reply	other threads:[~2012-01-20  8:50 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-01-20  6:38 Martin DeMello
2012-01-20  6:46 ` Valentin ROBERT
2012-01-20  6:58   ` Martin DeMello
2012-01-20  8:37   ` David Allsopp
2012-01-20 13:29     ` Edgar Friendly
2012-01-20 13:50       ` Fabrice Le Fessant
2012-01-20 13:58       ` oliver
2012-01-20 14:05         ` Edgar Friendly
2012-01-20 14:12       ` David Allsopp
2012-01-20 14:23         ` Fabrice Le Fessant
2012-01-20 14:23         ` Edgar Friendly
2012-01-20  8:37   ` Sebastien Ferre
2012-01-20  9:11     ` Jerome Vouillon
2012-01-20  9:34       ` Fabrice Le Fessant
2012-01-20 10:27         ` Arnaud Spiwack
2012-01-20  8:52 ` Lin [this message]
2012-01-20  9:08   ` Valentin ROBERT
2012-01-20  9:19     ` Lin
2012-01-20 10:21     ` Martin DeMello
2012-01-20  9:38 ` oliver
2012-01-20 13:59   ` Edgar Friendly
2012-01-20 14:42     ` oliver
2012-01-20 15:31     ` Fabrice Le Fessant
2012-01-20 21:04     ` oliver
2012-01-20 21:09       ` oliver
2012-01-20 20:40 ` oliver
2012-01-20 21:07   ` Martin DeMello

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=4F192B4E.9000406@163.com \
    --to=mysnowls@163.com \
    --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).