Dear list members and ocaml developper,

Is it a bug to have any difference between both ocaml parser (with "-pp 
camlp4o" or without) ?

I expected that everything that compiles with ocamlc should compile with 
ocamlc -pp camlp4o
(the opposite is not true and does not need to be true) which is not the 
case.

And a secondary question : why to have two parsers (except maybe for 
bootstraping) ?

Here is an example:

-------- test.ml ------
let parser = 0
-------- en test.ml --

Tocksi:pml christopheraffalli$ ocamlc -c test.ml
Tocksi:pml christopheraffalli$ ocamlc -c -pp camlp4o test.ml
File "test.ml", line 1, characters 0-3:
Parse error: [binding] expected after [opt_rec] (in [str_item])
Preprocessor error

(remark: this is the error message from ocaml 3.10, the error from 3.09 
was clearer).

Cheers,
Christophe

-- 
Christophe Raffalli
Universite de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tel: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution 
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------