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 WAA03817; Wed, 7 Apr 2004 22:24:53 +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 WAA03998 for ; Wed, 7 Apr 2004 22:24:52 +0200 (MET DST) Received: from pedigree.cs.ubc.ca (pedigree.cs.ubc.ca [142.103.6.50]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i37KOoYM015993 for ; Wed, 7 Apr 2004 22:24:51 +0200 Received: from cascade.cs.ubc.ca (cascade.cs.ubc.ca [142.103.7.7]) by pedigree.cs.ubc.ca (8.12.10/8.11.4) with ESMTP id i37KOnXd029882; Wed, 7 Apr 2004 13:24:49 -0700 (PDT) Date: Wed, 7 Apr 2004 13:24:49 -0700 (PDT) From: Christopher Dutchyn To: skaller cc: Remi Vanicat , caml-list Subject: Re: [Caml-list] Function forward declaration? In-Reply-To: <1081366059.19232.864.camel@pelican> Message-ID: References: <60532B15DF92FD4693AA89B2F7E01D8F013F29EC@tmex02> <00cf01c41bd6$391b53a0$0203a8c0@hoedic> <20040406175320.GA19840@redhat.com> <1081279717.16531.6.camel@qrnik> <002901c41c65$b53e4c50$19b0e152@warp> <1081345936.19232.579.camel@pelican> <20040407141519.GA6618@redhat.com> <1081353080.19232.678.camel@pelican> <20040407164122.GA9247@redhat.com> <87r7uzhezt.dlv@vanicat.homelinux.org> <1081366059.19232.864.camel@pelican> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ubc:99 caml-list:01 failwith:01 ubc:99 chris:01 complex:03 wrote:03 seems:05 color:94 naive:08 function:09 declaration:09 something:09 isn't:11 wed:12 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 109 On Wed, 8 Apr 2004, skaller wrote: > A more complex error check might look like this: > > if A then > if B then error > ; Color me naive, but isn't that just if A and B then error else ... assuming there's something else to do than check A and B. Eliding else in a failwith/throw seems common. Chris Dutchyn cdutchyn@cs.ubc.ca ------------------- 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