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 PAA00798; Sun, 29 Apr 2001 15:14:50 +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 PAA00743 for ; Sun, 29 Apr 2001 15:14:50 +0200 (MET DST) Received: from leia.mandrakesoft.com (office.mandrakesoft.com [195.68.114.34]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3TDEnP03019 for ; Sun, 29 Apr 2001 15:14:49 +0200 (MET DST) Received: by leia.mandrakesoft.com (Postfix, from userid 505) id 5A6D55725; Sun, 29 Apr 2001 15:14:49 +0200 (CEST) To: Sven LUTHER Cc: Vitaly Lugovsky , caml-list@inria.fr Subject: Re: [Caml-list] unused variables warning References: <20010429095822.5E8185725@leia.mandrakesoft.com> <20010429150625.A21299@lambda.u-strasbg.fr> From: Pixel In-Reply-To: Sven LUTHER's message of "Sun, 29 Apr 2001 15:06:25 +0200" User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Message-Id: <20010429131449.5A6D55725@leia.mandrakesoft.com> Date: Sun, 29 Apr 2001 15:14:49 +0200 (CEST) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sven LUTHER writes: > > 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 well, no. In fact i thought "_x" and "_" were the same, discarded, non-accessible variables. I'm wrong on this. the manual recommend not to use _xxx variables, otherwise it could have been a way to write things like: let _no_warning_but_meaningful_name = <...> in but it would be another rule to learn: ``no warning for unused variables starting with _'' (which is just what Haskell is doing). ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr