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 OAA00462 for caml-redistribution@pauillac.inria.fr; Mon, 6 Mar 2000 14:33:32 +0100 (MET) Resent-Message-Id: <200003061333.OAA00462@pauillac.inria.fr> 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 KAA09184 for ; Mon, 6 Mar 2000 10:40:36 +0100 (MET) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id KAA28766; Mon, 6 Mar 2000 10:40:35 +0100 (MET) Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.75.49]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id KAA21112; Mon, 6 Mar 2000 10:40:35 +0100 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.12 #1 (Debian)) id 12Ru3S-0003nT-00; Mon, 06 Mar 2000 10:43:58 +0100 Date: Mon, 6 Mar 2000 10:43:58 +0100 From: Sven LUTHER To: Xavier Leroy Cc: Jean-Yves Moyen , caml-list@inria.fr Subject: Re: probleme de parsing ? Message-ID: <20000306104357.C14523@dpt-info.u-strasbg.fr> Reply-To: luther@dpt-info.u-strasbg.fr Mail-Followup-To: Xavier Leroy , Jean-Yves Moyen , caml-list@inria.fr References: <20000301181950.A3021@dpt-info.u-strasbg.fr> <20000306100758.45639@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.0.1i In-Reply-To: <20000306100758.45639@pauillac.inria.fr>; from Xavier.Leroy@inria.fr on Mon, Mar 06, 2000 at 10:07:58AM +0100 Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 6 Mar 2000 14:33:32 +0100 Resent-To: caml-redistribution@pauillac.inria.fr On Mon, Mar 06, 2000 at 10:07:58AM +0100, Xavier Leroy wrote: > > 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). Oui, effectivement il s'agit d'une station ALPHA. il faut donc recompiler caml light, en mettant -ieee comme option du compilateur. y a-t-il une variable du makefile particuliere ou mettre cette option ? Merci, ... Amicalement, Sven LUTHER