Re: [Caml-list] A global exception handler...

["Jonathan Roewen" <jonathan.roewen@gmail.com>]

> $ camlp4o global_handler.cmo -printer OCaml global_handler_test.ml
> try
>  let module Main =
>    struct
>      open Format
>      let f1 x = printf "f1 %d@." x
>      let f2 x = printf "f2 %f@." x
>      let f3 x = printf "f3 %s@." x
>      let _ = f1 1
>      let _ = f2 1.1
>      let _ = f3 "1.1.1"
>      let _ = raise (Failure "test")
>      let global_handler e =
>        (* Note that I need to give the complete name for eprintf since
>     Format is not opened in the new environment of global_handler. *)
>        Format.eprintf "global_handler: %s@." (Printexc.to_string e)
>    end
>  in ()
> with
> | e ->
>    (fun e -> Format.eprintf "global_handler: %s@." (Printexc.to_string e)) e
>

Ah, defining a module inside a function is a neat trick! I didn't
think of that. Well, I guess it couldn't hurt to do that with all the
modules which could cause trouble at runtime...

Can I build the new camlp4 with 3.09.2 tools?

Jonathan