Comment author: administrator

Salut,

On Mon, Jul 31, 2000 at 01:57:03PM +0200, fabre.yoann@free.fr wrote:

• pourquoi de ne peut-on pas DONNER UN NOM a un assert:
  eg. assert( foo = true ? "erreur: foo n'est pas a true")

La réponse à ta question pouvant très bien être "C'est une bonne
suggestion, c'est parce qu'on n'y a pas pensé", tu aurais pu la poser,
(à mon avis plus poliment), sous la forme:

"Est-ce qu'on ne pourrait pas modifier assert pour lui associer un
message d'erreur?"

D'un autre côté, tu peux aussi utiliser Camlp4 pour faire ton propre
"assert" qui fait comme tu dis (eh hop! en passant, je vends ma
soupe... :-))

--
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
L'ennui avec les ordinateurs, c'est qu'ils font ce que vous leur dites
de faire, pas ce que vous voulez qu'ils fassent (D. Cohen).

Comment author: administrator

Liste de petits probleme TRES ENERVANT sous Win:

Allons, du CALME! Windows est énervant par nature...

• ocamldep ne donne pas une position correcte pour les erreurs
  de syntax. (decalage etrange de qq lignes)

C'est en effet un bug, et je vais le corriger.

• pouvoir inclure (de facon optionnelle) la ligne dans les exceptions
  (feature deja demande dans la mailing list il y a qq temps)

Pas facile, entre autres pour la raison suivante:

• pourquoi ASSERT() retourne-t-il la position de l'erreur EN NB DE
  CARATERE ????

Parce que, en mode normal, le compilateur OCaml ne calcule pas les
numéros de lignes dans le code source, mais seulement les positions en
nombre de caractères. C'est seulement lorsqu'une erreur est
rencontrée qu'il recalcule les numéros de ligne.

• pourquoi de ne peut-on pas DONNER UN NOM a un assert:
  eg. assert( foo = true ? "erreur: foo n'est pas a true")
  ce qui permetrait d'avoir:
  Assert Failure: "erreur: foo n'est pas a true" Ligne 42
  et non:
  Fatal error: uncaught exception Pervasives.Assert_failure("t.ml", 0,

(toujours ligne 0 sous Win)

Et pourquoi voudrait-on donner un nom à une assertion? La position
dans le source est une info déjà très précise.

On peut toujours faire comme nous faisions avant l'introduction de assert:

  if not (assertion) then raise (Fatal_error "message")

• Xavier Leroy

Comment author: administrator

ocamldep bug fixed 2000-08-04 by XL.
assert/partial_match character vs. line number problem fixed
(and also for backtrace with ocamlrun -b)
-- Damien 2002-11-05