Nils Goesche schrieb am Donnerstag, den 19. Juli 2001:
> Unix.alarm 3 will raise a signal after a few seconds all right.  Now,
> how do I catch it?

See module "Sys" and type "signal_behaviour" and function "set_signal"
in the manual:

  http://caml.inria.fr/ocaml/htmlman/manual063.html

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr