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 NAA14911; Tue, 4 May 2004 13:29:47 +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 NAA15002 for ; Tue, 4 May 2004 13:29:45 +0200 (MET DST) Received: from abel.swapping.umh.ac.be (nat2.umh.ac.be [193.190.193.2]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i44BTgEV028799 for ; Tue, 4 May 2004 13:29:45 +0200 Received: from abel.swapping.umh.ac.be ([127.0.0.1] helo=localhost ident=trch) by abel.swapping.umh.ac.be with esmtp (Exim 3.36 #1 (Debian)) id 1BKy7R-0007ve-00; Tue, 04 May 2004 13:29:49 +0200 Date: Tue, 04 May 2004 13:29:48 +0200 (CEST) Message-Id: <20040504.132948.78017589.Christophe.Troestler@umh.ac.be> To: "O'Caml Mailing List" Subject: [Caml-list] Sys.signal exception From: Christophe TROESTLER Organization: Universite de Mons-Hainaut X-URL: http://www.umh.ac.be/math/an/ X-Spook: FTS2000 dictionary FIPS140 Mossad underground TELINT sweep eavesdropping USCOI rail gun X-Mailer-URL: http://www.mew.org/ X-Operating-System: GNU/Linux (http://www.linux.org/) X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Mailer: Mew version 4.0.61 on Emacs 21.3.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 40977EA6.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; troestler:01 troestler:01 mli:01 chris:01 christophe:01 christophe:01 exception:02 exception:02 sys:03 sys:03 argument:03 unavailable:95 U9:89 nice:12 invalid:15 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, It would be nice if sys.mli was saying that Sys.signal may throw the exception Invalid_argument("Sys.signal: unavailable signal") when the signal is not available on the platform. ChriS ------------------- 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