From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA24468 for caml-redistribution@pauillac.inria.fr; Tue, 11 Apr 2000 19:53:55 +0200 (MET DST)
Resent-Message-Id: <200004111753.TAA24468@pauillac.inria.fr>
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA14666 for <caml-list@pauillac.inria.fr>; Tue, 11 Apr 2000 16:40:59 +0200 (MET DST)
Received: from cremant.inria.fr (cremant.inria.fr [128.93.8.143])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id QAA07313
	for <caml-list@inria.fr>; Tue, 11 Apr 2000 16:40:59 +0200 (MET DST)
Received: (from lefessan@localhost)
	by cremant.inria.fr (8.9.3/8.9.3) id QAA14951;
	Tue, 11 Apr 2000 16:40:59 +0200
X-Authentication-Warning: cremant.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f
From: Fabrice Le Fessant <fabrice.le_fessant@inria.fr>
Message-ID: <14579.14714.513681.588011@cremant.inria.fr>
Date: Tue, 11 Apr 2000 16:40:58 +0200 (CEST)
To: caml-list@inria.fr
Subject: Affichage des exceptions
X-Mailer: VM 6.75 under Emacs 20.3.1
Reply-To: fabrice.le_fessant@inria.fr
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=iso-8859-1
Resent-From: weis@pauillac.inria.fr
Resent-Date: Tue, 11 Apr 2000 19:53:55 +0200
Resent-To: caml-redistribution@pauillac.inria.fr


Bonjour,

   Une petite suggestion pour le module Printexc: Ajouter une fonction

val add_printer: (exn -> string option) -> unit

qui permet d'ajouter une fonction de pretty-print pour une
exception. Ces fonctions seraient alors utilisées lors de l'appel a 
Printexc.to_string, et permet a chaque librairie de definir ses
propres pretty-printer pour ses propres exceptions.

a+

- Fabrice