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 KAA16382; Mon, 30 Aug 2004 10:25:57 +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 KAA17010 for ; Mon, 30 Aug 2004 10:25:52 +0200 (MET DST) Received: from will.iki.fi (will.iki.fi [217.169.64.20]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7U8Pqrn008909 for ; Mon, 30 Aug 2004 10:25:52 +0200 Received: from [10.0.20.162] (fa-3-0-0.fw.exomi.com [217.169.64.99]) by will.iki.fi (Postfix) with ESMTP id DEB8BD4; Mon, 30 Aug 2004 11:25:51 +0300 (EEST) Message-ID: <4132E487.2090606@exomi.com> Date: Mon, 30 Aug 2004 11:25:43 +0300 From: Ville-Pertti Keinonen User-Agent: Mozilla Thunderbird 0.7.3 (X11/20040828) X-Accept-Language: en-us, en MIME-Version: 1.0 To: skaller@users.sourceforge.net Cc: caml-list@pauillac.inria.fr, briand@aracnet.com Subject: Re: Baffeld by manual (Was: [Caml-list] baffled by semicolon) References: <16685.22393.76718.150882@soggy.deldotd.com> <4132D36D.4020104@bik-gmbh.de> <1093853217.9955.44.camel@pelican.wigram> In-Reply-To: <1093853217.9955.44.camel@pelican.wigram> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4132E490.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 baffled:01 semicolon:01 sequencing:01 evaluates:01 side-effects:02 binary:02 unit:03 unit:03 wrote:03 argument:03 type:07 type:07 manual:07 think:11 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk skaller wrote: >The single ; is (usually) left associative binary sequencing >operator of type unit that takes two expressions of >type unit as an argument: > > e1 ; e2 > >evaluates e1, then e2 (for side effects). > > e1 is evaluated for side-effects, the value of e2 is the value of the entire expression, it does not need to be of type unit. You could think of ; as having the type unit -> 'a -> 'a ------------------- 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