Re: debugging/tracing: any?

[Christophe Raffalli <raffalli@logique.jussieu.fr>]

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 = 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épartement d'informatique
Université de Paris XII
URL: http://www.logique.jussieu.fr/www.raffalli