Comment author: administrator

Bonjour,

$ camlp4o pr_o.cmo foo.ml
module X =
struct
type t =
A
end
let<pr_fun: not impl: patt; tag = 0>= X.A

Je pense avoir trouve et corrige ce bug (dans la version de travail).
Comme je ne suis pas sur de tout comprendre a camlp4, pourriez-vous
tester pr_o.cmo et me signaler toute anomalie ?

Un patch pour 3.06 est disponible a cette adresse:
< http://caml.inria.fr/patches/pr1620-patch.txt >

Merci pour le rapport de bug,

-- Damien

Comment author: administrator

Fixed by DD 2003-04-06

Comment author: administrator

Bonjour,

Bonjour,

Je pense avoir trouve et corrige ce bug (dans la version de travail).

Merci.

Comme je ne suis pas sur de tout comprendre a camlp4, pourriez-vous
tester pr_o.cmo et me signaler toute anomalie ?

En fait, pour les besoins d'une appli que je developpe, je pretty-print
l'ast de ocaml. Pour cela, je le convertis vers l'ast de camlp4 que je
pretty-print en utilisant pr_o. En testant mon appli, j'ai deja trouve
2-3 bugs dans camlp4 que Daniel de Rauglaudre a corriges. Si je trouve
d'autres bugs, je vous les signalerai.

D'ores et deja :

* il y a probablement une raison mais les branches cvs de camlp4 et de

ocaml/camlp4 divergent, notamment le fichier pr_o.ml (v3.86 pour
camlp4/etc/pr_o.ml et v1.34 pour ocaml/camlp4/etc/pr_o.ml). Le diff des
2 fichiers est relativement important. Ainsi, j'avais signale un bug qui
a ete corrige (par ddr) dans la branche camlp4 et pas dans la branche
caml :

let quo = 0 

est pretty-printe par pr_o en
let ( quo ) = 0
car quo est considere par camlp4 comme un operateur infixe (comme
c'etait le cas en Caml Light). C'est trivial a corriger : supprimer
"quo" de la liste des operateurs dans pr_o.ml.

* j'avais demande a Daniel de Rauglaudre que "make install" installe

pr_o.cmx et pr_o.o avec pr_o.cmo (idem pour d'autres comme camlp4.cmxa,
camlp4.a, etc). Il etait plutot d'accord mais je ne sais pas s'il l'a
finalement fait. Je reitere donc ma demande le cas echeant. En effet, ne
pas les installer me conduit a fournir ces cmx[a] avec les sources de
mon appli (qui en a besoin pour etre compilee avec ocamlopt). Si j'en ai
besoin, je suppose que d'autres developpeurs sont aussi susceptibles
d'en avoir besoin...

Julien Signoles.

mailto : Julien.Signoles@lri.fr ; http : www.lri.fr/~signoles
"In theory, practice and theory are the same,
but in practice they are different" (Larry McVoy)

Comment author: administrator

Bonjour,

Julien.Signoles@lri.fr wrote/écrivait (Mon, Apr 07, 2003 at 12:43:36PM +0200):

D'ores et deja :

• il y a probablement une raison mais les branches cvs de camlp4 et de
  ocaml/camlp4 divergent,

C'est maintenant (du moins, à partir de l'imminente prochaine release)
ocaml/camlp4 qui est à jour. L'ancienne arborescence "parallèle" de
camlp4 est maintenant obsolète.

2 fichiers est relativement important. Ainsi, j'avais signale un bug qui
a ete corrige (par ddr) dans la branche camlp4 et pas dans la branche
caml :

let quo = 0
est pretty-printe par pr_o en
let ( quo ) = 0
car quo est considere par camlp4 comme un operateur infixe (comme
c'etait le cas en Caml Light). C'est trivial a corriger : supprimer
"quo" de la liste des operateurs dans pr_o.ml.

C'est fait.

• j'avais demande a Daniel de Rauglaudre que "make install" installe
  pr_o.cmx et pr_o.o avec pr_o.cmo (idem pour d'autres comme camlp4.cmxa,
  camlp4.a, etc).

C'est fait aussi.

Cordialement,

-- Michel