Date: Thu, 05 Dec 1996 11:19:14 +0100
From: Christophe Raffalli <raffalli@logique.jussieu.fr>
To: Renaud Marlet <marlet@irisa.fr>, camllist@inria.fr, caml-list@inria.fr
Subject: Re: debugging/tracing: any?
Renaud Marlet wrote:
> =
> Does any of the SML programming environment have working
> debugging/tracing facilities? And if not, when are such
> functionalities planned to be available?
> =
> What about O'Caml?
> =
> Thanks.
> =
> Renaud
Rigolot de repondre au copain.
OCaml a des "profileur" comptant le nombre d'acces a chaque partie du
code (tres utilies pour detecte les parties jamais utilise lors des test
qui sont donc succeptible de contenir des bugs). Il est tres facile
d'obtenir une trace ou un profileur pour le temps en utilisant le
preprocesseur C avec des trucs du genre:
#ifdef PROFILE
let f =3D profile_3_arguments f
#endif
ou profile_3_arguments fait ce que tu veux
Pour le debugger, Caml_Light en a un tres bon (avec backtracking: tu
laise l'erreur se produire et tu reviens en arriere, c'est genial !)
Si tu n'utilises pas le systeme de module et les truc oo, le code ocaml
se compile en caml-light en grande partie (si tu ajoutes les ;;
maintenant obtionel). (Quelques malheureux changement dans certains
module. Donc c'est faisable. A par ca j'espere que quelqu'un porte ce
debugger a ocaml ...
=
-- =
Christophe Raffalli
D=E9partement d'informatique
Universit=E9 de Paris XII
URL: http://www.logique.jussieu.fr/www.raffalli