Bonjour,

Je tente de passer de CamlLight vers Ocaml le lexer et le parser de 
l'exemple ASL (A Small Language) présent chapitre 12 du document déjà 
ancien de Michel Mauny. Je l'utilise avec succès depuis pas mal de temps 
, il est très intéressant pour illustrer la mise en place d'un 
interprète, la gestion de l'environnement et l'emploi des types 
fonctionnels.

Le passage des fichiers mll et mly de caml vers ocaml devraient se 
limiter au renommage des types et symboles non terminaux mais ça coince. 
: j'ai un pb avec la notion de type qualifié pour le %type

Si quelqu'un peut m'apporter un peu de lumière, je le remercie par avance.

Bien cordialement.

Daniel.



résultats de compiles :

ocamllex lexer.mll
12 states, 332 transitions, table size 1400 bytes
ocamlyacc -v parser.mly
6 shift/reduce conflicts.
ocamlc parser.mli
File "parser.mli", line 19, characters 48-61:
Unbound type constructor plftypes__plf


-- 
Daniel Marre

Maître de Conférences
INSA - DGEI                        www.insa-toulouse.fr
125 AV. de Rangueil - 31077     - Toulouse (France)
Daniel.Marre@insa-toulouse.fr     (33)5.61.55.98.24