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 WAA22983; Sat, 27 Oct 2001 22:30:51 +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 WAA23904 for ; Sat, 27 Oct 2001 22:30:51 +0200 (MET DST) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9RKUov03467 for ; Sat, 27 Oct 2001 22:30:50 +0200 (MET DST) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id WAA31082 for caml-list@pauillac.inria.fr; Sat, 27 Oct 2001 22:30:50 +0200 Date: Sat, 27 Oct 2001 22:30:50 +0200 From: Daniel de Rauglaudre To: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] raise extra arg ignored Message-ID: <20011027223050.E29934@verdot.inria.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: ; from pixel@mandrakesoft.com on Sat, Oct 27, 2001 at 09:51:05PM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Sat, Oct 27, 2001 at 09:51:05PM +0200, Pixel wrote: > raise Foo 1 > raise Foo > > same for this. I understand why it typechecks, but couldn't there be > a special check for this since it can't be useful (or can it??) Interesting, but I don't see how to prevent the type checker to give the type 'a to "raise Foo". Or else, you can add a type constraint, but it is constraining... and it depends on where this "raise" statement takes place. I wonder whether there are situations where it could be a problem? Sometimes, a missing semicolon can introduce typing errors or perhaps work with different semantics (what is very bad). But here, I don't see, since, generally, nobody add another statement after a "raise". Does anybody have an example? -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr