From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0K8ovFR024345
	for <caml-list@sympa-roc.inria.fr>; Fri, 20 Jan 2012 09:50:57 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtYLACAqGU97fTKEY2dsb2JhbABDgw2qbhgXCgoHFSaBcgEBBScRCAEBOA8LGAkWDwkDAgECAUUTCAEBrieEIQGOJAeJCoMciD6ETk2NGI0D
X-IronPort-AV: E=Sophos;i="4.71,541,1320620400"; 
   d="scan'208";a="128189118"
Received: from m50-132.163.com ([123.125.50.132])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Jan 2012 09:50:50 +0100
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=163.com;
	s=s110527; h=Received:Message-ID:Date:From:User-Agent:
	MIME-Version:To:Subject:References:In-Reply-To:Content-Type:
	Content-Transfer-Encoding; bh=MoUJKEdpoz7to86RzRytRIxn90OP0ixFdm
	NPzc9sWOQ=; b=YPeAYaupBbhgZd3lSXe/md14un/n91I5VQRTlXU3390+niyGlq
	V/cMuDYy4vm/BK/ywVZv2RZmVvF+nZOUQQapexj/uK3pY4yF6YotmJCDZx+93+xs
	hv3FSitODd/tBPaZJrS4x5Fi/IObtUXZ5FcC2U105lEdWMm6nj4a8m9aA=
Received: from [192.168.1.102] (unknown [182.146.31.7])
	by smtp2 (Coremail) with SMTP id DNGowEBJ2UPhKhlPsiw0BQ--.43225S2;
	Fri, 20 Jan 2012 16:50:46 +0800 (CST)
Message-ID: <4F192B4E.9000406@163.com>
Date: Fri, 20 Jan 2012 16:52:30 +0800
From: Lin <mysnowls@163.com>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.17) Gecko/20110808 Thunderbird/3.1.10
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAFrFfuEk3-Y7Gd4aSp7-xXWyceaBZCVtWUKg9AD8DoZXgTVEoA@mail.gmail.com>
In-Reply-To: <CAFrFfuEk3-Y7Gd4aSp7-xXWyceaBZCVtWUKg9AD8DoZXgTVEoA@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-CM-TRANSID: DNGowEBJ2UPhKhlPsiw0BQ--.43225S2
X-Coremail-Antispam: 1Uf129KBjDUn29KB7ZKAUJUUUUU529EdanIXcx71UUUUU7v73
	VFW2AGmfu7bjvjm3AaLaJ3UbIYCTnIWIevJa73UjIFyTuYvjxUYnmRUUUUU
X-CM-SenderInfo: xp1v00xzovqiywtou0bp/1tbiOQQ7bkjh+6pBGAAAsJ
Subject: Re: [Caml-list] is there a more concise way to write this?

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) ->  []
>