[Caml-list] String of '_' (any) exception?

[Caml-list] String of '_' (any) exception?

[Hans Ole Rafaelsen]

Hello,

does it exist a way to get hold of a the string (if any) associated
with an exception, when the exception has been caught with the "_"
(any) exception?  What I am interested in is to get hold of the
information which the run-time normally prints when it exits.

let _ = List.nth [4; 5] 4

itherther [14] [08:30] [~] ./a.out 
Fatal error: exception Failure("nth")

I want to get the string produced, or the information needed to
produce it myself.

The intended usage for this is in a RPC server library, where the
application raise some exception.  It would be convenient to re-raise
this as an remote exception, or at least report it back to the client.


Kindest regards,

Hans Ole Rafaelsen
-------------------
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

Re: [Caml-list] String of '_' (any) exception?

[Markus Mottl]

On Tue, 21 Jan 2003, Hans Ole Rafaelsen wrote:
> does it exist a way to get hold of a the string (if any) associated
> with an exception, when the exception has been caught with the "_"
> (any) exception?  What I am interested in is to get hold of the
> information which the run-time normally prints when it exits.

Just take a look at the "to_string"-function in the "Printexc"-module
of the standard library: it implements what you need.

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
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

Re: [Caml-list] String of '_' (any) exception?

[Luc Maranget]

> 
> Hello,
> 
> does it exist a way to get hold of a the string (if any) associated
> with an exception, when the exception has been caught with the "_"
> (any) exception?  What I am interested in is to get hold of the
> information which the run-time normally prints when it exits.
> 
> let _ = List.nth [4; 5] 4
> 
> itherther [14] [08:30] [~] ./a.out 
> Fatal error: exception Failure("nth")
> 
> I want to get the string produced, or the information needed to
> produce it myself.
> 
> The intended usage for this is in a RPC server library, where the
> application raise some exception.  It would be convenient to re-raise
> this as an remote exception, or at least report it back to the client.
> 
> 
> Kindest regards,

Hello,

Have a look at the Printexc module
<http://caml.inria.fr/ocaml/htmlman/libref/Printexc.html>

As far as I understand your needs, you can write

try
  ...
with e ->
  Printf.printf "Exception: %s\n" (Printexc.to_string e) ;
  raise e

Notice that the << _ >> pattern is changed into a (binding) variable.


Cheers,

> 
> Hans Ole Rafaelsen
> -------------------

--Luc
-------------------
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