From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA20128; Thu, 8 Nov 2001 16:55:35 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA20035 for ; Thu, 8 Nov 2001 16:55:34 +0100 (MET) Received: from scan2.fhg.de (scan2.fhg.de [153.96.1.37]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA8FtXX26696 for ; Thu, 8 Nov 2001 16:55:33 +0100 (MET) Received: from scan2.fhg.de (localhost [127.0.0.1]) by scan2.fhg.de (8.11.1/8.11.1) with ESMTP id fA8FtWM29094 for ; Thu, 8 Nov 2001 16:55:33 +0100 (MET) Received: from kso.ilt.fhg.de (eeltc2.llt.RWTH-Aachen.DE [137.226.44.2]) by scan2.fhg.de (8.11.1/8.11.1) with ESMTP id fA8FtWD29090 for ; Thu, 8 Nov 2001 16:55:32 +0100 (MET) Received: from ilt.fhg.de (ilt.ilt.fhg.de [153.96.180.2]) by kso.ilt.fhg.de (8.11.1/8.11.1) with ESMTP id fA8FvhD14698 for ; Thu, 8 Nov 2001 16:57:43 +0100 (MET) Received: from eent359 (localhost [127.0.0.1]) by ilt.fhg.de (8.11.1/8.11.1) with ESMTP id fA8Fu2a06487 for ; Thu, 8 Nov 2001 16:56:02 +0100 (MET) From: "Rolf Wester" To: caml-list@inria.fr Date: Thu, 8 Nov 2001 16:55:29 +0200 MIME-Version: 1.0 Content-type: text/plain; charset=US-ASCII Content-transfer-encoding: 7BIT Subject: [Caml-list] Warning: this match case is unused. Message-ID: <3BEAB901.19333.21ACF8D8@localhost> X-mailer: Pegasus Mail for Win32 (v3.12cDE) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, this is probably a trivial question but can someone tell me why: let f l n0 = let n = List.length l in match n with n0 -> 1; | _ -> 0;; Results in: Warning: this match case is unused. Thanks Rolf Wester ------------------------------------- Rolf Wester rolf.wester@ilt.fraunhofer.de ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr