Browse thread
ocamllex -ocamlyacc pb
-
Daniel Marre
- Jean-Christophe Filliatre
- Olivier_Pérès
- Michel Mauny
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
| Subject: | Re: [Caml-list] ocamllex -ocamlyacc pb |
Daniel Marre writes: > 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 > %type <plftypes__plf> debut C'est de la syntaxe Caml Light ; il faut écrire %type <Plftypes.plf> debut (et d'autre part les #use ... devraient être remplacés par des open) -- Jean-Christophe