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 RAA27539; Tue, 3 Aug 2004 17:09:19 +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 RAA27165 for ; Tue, 3 Aug 2004 17:09:18 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i73F9HEV008675 for ; Tue, 3 Aug 2004 17:09:17 +0200 Received: from loupiac.inria.fr (loupiac.inria.fr [128.93.11.82]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA24851 for ; Tue, 3 Aug 2004 17:09:17 +0200 (MET DST) From: Yann Regis-Gianas To: caml-list@inria.fr Subject: Re: [Caml-list] let () = Date: Tue, 3 Aug 2004 17:09:16 +0200 User-Agent: KMail/1.6.2 References: <86hdrkth3f.fsf@paul.rtelekom.ru> In-Reply-To: <86hdrkth3f.fsf@paul.rtelekom.ru> MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Message-Id: <200408031709.16842.Yann.Regis-Gianas@inria.fr> X-Miltered: at nez-perce with ID 410FAA9D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; yann:01 regis-gianas:01 yann:01 regis-gianas:01 caml-list:01 2004:99 expr:01 exprn:01 expr:01 'let:01 htmlman:01 htmlman:01 ecrit:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le mardi 3 Ao=FBt 2004 16:46, Paul Argentoff a =E9crit=A0: > Hello World! > > Can anyone answer my silly question: what does "let () =3D bla" really me= an? from http://caml.inria.fr/ocaml/htmlman/manual015.html#s:localdef : let pattern1 =3D expr1 and ... and patternn =3D exprn in expr=20 from http://caml.inria.fr/ocaml/htmlman/manual014.html : pattern ::=3D value-name | ... and given that '()' is the unique value of type unit, 'let () =3D bla' mean= s "do=20 a must-succeed-match between the expression bla and ()'. Thus, this also=20 means "do nothing but evaluate (reduce) bla'. Regards, =2D- Y. ------------------- 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