Comment author: administrator

Bonjour,

Le mieux serait peut-être que tu te donnes ton propre pa_o.ml (cad
celui sans le correctif qui te gêne) avec ton extension. Je peux te le
fournir, si tu veux.

Je comprends que ça ne soit pas complètement satisfaisant, mais ça me
paraît plus sûr que de récupérer l'entrée simple_patt de façon magique
(ce que je ne sais pas faire immédiatement, de toute façon).

-- Michel

andrieu@ijm.jussieu.fr wrote/écrivait (Thu, Sep 02, 2004 at 12:06:18PM +0200):

Bonjour,

à propose du bug #3015 (Slight parsing difference with/without -pp
"camlp4o"), le correctif dans 3.08.1 n'est pas trés satisfaisant car
une de mes extensions de syntaxe ne marche plus !

En effet, elle se branchait au level "simple" de l'entrée "patt" mais
puisqu'il s'agit maintenant d'une entrée séparée "simple_patt" qui
n'est pas accessible au extensions, ça ne marche plus.

Y a t-il un moyen de contourner ce problème ? (genre récupérer
l'entrée à coup de Obj.magic ou qqch dans le genre ?)

--
Olivier

--

Comment author: administrator

Fixed (back to patt LEVEL "simple", and added a warning).