English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Catching exceptions into strings
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-06-17 (12:31)
From: Xavier Leroy <xavier.leroy@i...>
Subject: Re: [Caml-list] Catching exceptions into strings
> I don't see the problem with translating SIGFPE into an exception.
> The same technique is used for bounds checking.  On SPARC/Solaris
> SIGILL becomes an array bounds error.

Correct; same thing for the PowerPC.  However, this is implemented
correctly for 5 Unix variants out of 7 supported for these processors
(I haven't figured out how to do it for SPARC/Linux and SPARC/BSD),
and the implementation is further simplified by the assumption that C
code doesn't contain "trap" instructions.

For division by zero, you need to distinguish between SIGFPE generated
inside or outside Caml code, and get the thing working for about 20
different Unix variants.  Go ahead.

- Xavier Leroy
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