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
This archive was generated by hypermail 2b29 : Mon Mar 06 2000 - 14:35:37 MET