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 PAA00635; Sun, 29 Apr 2001 15:06:13 +0200 (MET DST) 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 PAA00611 for ; Sun, 29 Apr 2001 15:06:12 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3TD6BP02872 for ; Sun, 29 Apr 2001 15:06:11 +0200 (MET DST) Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id PAA08818; Sun, 29 Apr 2001 15:03:35 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.22 #1 (Debian)) id 14tqu9-0005Xe-00; Sun, 29 Apr 2001 15:06:25 +0200 Date: Sun, 29 Apr 2001 15:06:25 +0200 To: Pixel Cc: Vitaly Lugovsky , caml-list@inria.fr Subject: Re: [Caml-list] unused variables warning Message-ID: <20010429150625.A21299@lambda.u-strasbg.fr> References: <20010429095822.5E8185725@leia.mandrakesoft.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.17i In-Reply-To: <20010429095822.5E8185725@leia.mandrakesoft.com>; from pixel@mandrakesoft.com on Sun, Apr 29, 2001 at 11:58:22AM +0200 From: Sven LUTHER Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, Apr 29, 2001 at 11:58:22AM +0200, Pixel wrote: > Vitaly Lugovsky writes: > > [...] > > > > let f x = > > > let x' = <...> in > > > x > > > > > > would issue something like > > > > > > File "test.ml", line 2, characters 3-18: > > > Unused variable x' > > > > It's "unused" and can be optimized out only when <...> is a pure > > functional statement (not changing global state). > > even if the <...> is unpure, caml could warn that x' is unused. It doesn't mean > in any way that computing x' is unnecessary. > > and caml should not warn for > > let _x' = <...> in I guess you mean just : let _ = <...> in ? Friendly, Sven Luther ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr