From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=AWL,RCVD_IN_SORBS_WEB, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 26884BBCA for ; Wed, 27 Feb 2008 23:30:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPtyxUfAXQInh2dsb2JhbACQaAEBAQgKKZVMh3o X-IronPort-AV: E=Sophos;i="4.25,416,1199660400"; d="scan'208";a="8685101" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2008 23:30:27 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m1RMUQ9b031118 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 27 Feb 2008 23:30:26 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CADdzxUfRVcivZmdsb2JhbACQaAoFBAkKEgaVTYd6 X-IronPort-AV: E=Sophos;i="4.25,416,1199660400"; d="scan'208";a="7788012" Received: from wf-out-1314.google.com ([209.85.200.175]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Feb 2008 23:30:26 +0100 Received: by wf-out-1314.google.com with SMTP id 26so3813316wfd.0 for ; Wed, 27 Feb 2008 14:30:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; bh=iHYgGhorjXoS1O0W0yK2mJv4BPf3msgbU/mvxmydXms=; b=l2w2Vs5/0IPGqrQjw1MDIL5HsCYETc9dAL3KvD4r0IGm806L5K5BRSv18Z0KB55Yzp7iXtFZU2C+8Znnqiuu5dXF0yVLaW7Ocbj9KJDokVs/xc3wuahKSDC40ShtBJECd0q+5nIWYzM/1P5KRfCHDBFcfu6mf+PvjQGLmdsAuwM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding; b=QeohNagxNv3SbW8I1EbCk7kD77bu6Dj6IADw9yJYEwyADj/O37BIRs3X+zhrKf1kd7+APtjFsDDU4KPC04SfLL/BTkIsduKHRcdtVehtMpIwVklazPUuw0OAjjV3ukLIQs8SQJRzU5s6Y8osw18T00ymuSztb1C76TutuEu4NFU= Received: by 10.142.14.20 with SMTP id 20mr5881973wfn.2.1204151424823; Wed, 27 Feb 2008 14:30:24 -0800 (PST) Received: from ?192.168.0.16? ( [69.154.33.47]) by mx.google.com with ESMTPS id 39sm13085954wrl.2.2008.02.27.14.30.22 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 27 Feb 2008 14:30:23 -0800 (PST) Message-ID: <47C5E47D.4070107@gmail.com> Date: Wed, 27 Feb 2008 16:30:21 -0600 From: Edgar Friendly User-Agent: Thunderbird 2.0.0.6 (X11/20071022) MIME-Version: 1.0 To: David Teller Cc: OCaml Subject: Re: [Caml-list] "Warning U: this match case is unused." -- Yes, I know References: <1204147958.7005.17.camel@Blefuscu> <47C5DF7C.4010107@gmail.com> <1204150897.7005.44.camel@Blefuscu> In-Reply-To: <1204150897.7005.44.camel@Blefuscu> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 47C5E482.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; one-liner:01 foobar:01 cheers:01 compiler:01 edgar:98 wrote:01 caml-list:01 match:02 match:02 seems:03 specify:06 trick:06 unused:06 reasonable:12 happens:13 David Teller wrote: > So I need to be able to specify what happens in case of match failure. > Doing that is a one-liner, I can just add > | _ -> foobar > after my last match case. Now, I just want to get rid of Warning U. > > Cheers, > David The 'when true' trick seems as reasonable as you'll get to disable that warning, unless you have the ability to pass -Wu to the compiler to disable that warning. E