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 MAA02005; Wed, 4 Aug 2004 12:14:32 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA00672 for ; Wed, 4 Aug 2004 12:14:31 +0200 (MET DST) Received: from mta1.cl.cam.ac.uk (mta1.cl.cam.ac.uk [128.232.0.15]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i74AEUmL021798 for ; Wed, 4 Aug 2004 12:14:30 +0200 Received: from zonule.cl.cam.ac.uk ([128.232.9.23] helo=cl.cam.ac.uk ident=[6oCPiZeMDMpX+t63MT1EPR80X53s59Bg]) by mta1.cl.cam.ac.uk with esmtp (Exim 3.092 #1) id 1BsImz-00084j-00; Wed, 04 Aug 2004 11:14:29 +0100 X-Mailer: exmh version 2.6.3-CL 04/04/2003 with nmh-1.0.4 To: "Nicolas Cannasse" cc: caml-list@inria.fr, "Paul Argentoff" Subject: Re: [Caml-list] let () = In-reply-to: Your message of "Tue, 03 Aug 2004 19:08:37 +0200." <003c01c4797c$8475ba30$ef01a8c0@warp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Wed, 04 Aug 2004 11:14:29 +0100 From: Keith Wansbrough Message-Id: X-Miltered: at nez-perce with ID 4110B706.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bool:01 bool:01 unit:03 unit:03 partial:03 partial:03 let:04 let:04 type:07 type:07 www:91 careful:10 handy:11 returned:88 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Here are the different forms : > > bla; (* warning if partial application or if returned type not unit *) > ignore(bla); (* warning if partial application, ignore returned type *) > let () = bla (* error if partial application or if returned type not unit *) > let _ = bla (* no warning or errors !! be careful if you want to use it *) let (_:bool) = bla (* error if partial application or if returned type not bool *) is also very handy. --KW 8-) -- Keith Wansbrough http://www.cl.cam.ac.uk/users/kw217/ University of Cambridge Computer Laboratory. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners