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
This archive was generated by hypermail 2b29 : Tue Apr 11 2000 - 19:56:01 MET DST