From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA25194 for caml-redistribution@pauillac.inria.fr; Mon, 6 Mar 2000 14:33:09 +0100 (MET) Resent-Message-Id: <200003061333.OAA25194@pauillac.inria.fr> 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 KAA16221 for ; Mon, 6 Mar 2000 10:08:04 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id KAA20140; Mon, 6 Mar 2000 10:07:59 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA31074; Mon, 6 Mar 2000 10:07:58 +0100 (MET) Message-ID: <20000306100758.45639@pauillac.inria.fr> Date: Mon, 6 Mar 2000 10:07:58 +0100 From: Xavier Leroy To: Jean-Yves Moyen , caml-list@inria.fr, luther@dpt-info.u-strasbg.fr Subject: Re: probleme de parsing ? References: <20000301181950.A3021@dpt-info.u-strasbg.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: <20000301181950.A3021@dpt-info.u-strasbg.fr>; from Sven LUTHER on Wed, Mar 01, 2000 at 06:19:50PM +0100 Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 6 Mar 2000 14:33:09 +0100 Resent-To: caml-redistribution@pauillac.inria.fr > et au passage est-ce normal que caml-light 0.74 plante pour 1./.0. mais pour > 1/0 l'exception est proprement attraper par le toplevel ? Comme la plupart des langages modernes, Caml Light et Objective Caml suivent la norme IEEE pour les flottants, norme dans laquelle 1.0 /. 0.0 n'est pas une erreur, mais est égal à +infini. En revanche, une division entière par 0 est une erreur et lève une exception. Si vous observez un plantage pour 1.0 /. 0.0, c'est que votre hardware ou le compilateur C utilisé pour compiler le runtime Caml Light ne sont pas conformes aux flottants IEEE. Par exemple, l'Alpha n'implémente pas entièrement les flottants IEEE en hardware (mais on peut obtenir le comportement IEEE via une couche software supplémentaire: il suffit de passer l'option "-ieee" au compilateur C lors de la compilation du runtime Caml). - Xavier Leroy