From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0KKeclE021886 for ; Fri, 20 Jan 2012 21:40:38 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhMBALnQGU/AbSoIkWdsb2JhbABDhQSpBiIBAQEBCQsLBxQEIYFyAQEFIwRSEAsJDwICJgICFBgxiBGnBZFUE4EciWEzYwSNVodCkk0 X-IronPort-AV: E=Sophos;i="4.71,544,1320620400"; d="scan'208";a="140799667" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Jan 2012 21:40:25 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178003192.adsl.alicedsl.de [85.178.3.192]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id q0KKeOM9006268 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Fri, 20 Jan 2012 21:40:24 +0100 Received: by first (Postfix, from userid 1000) id 3F437154036C; Fri, 20 Jan 2012 21:40:24 +0100 (CET) Date: Fri, 20 Jan 2012 21:40:24 +0100 From: oliver To: Martin DeMello Cc: OCaml List Message-ID: <20120120204024.GA2126@siouxsie> References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] is there a more concise way to write this? On Thu, Jan 19, 2012 at 10:38:53PM -0800, Martin DeMello wrote: > let a = match (out, value) with > (true, true) -> [o; v] > | (false, true) -> [v] > | (true, false) -> [o] > | (false, false) -> [] [...] Is there a way to get out and value from o and v? Ciao, Oliver