ocaml parser

[Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>]

[-- Attachment #1.1: Type: text/plain, Size: 1375 bytes --]


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
---------------------------------------------


[-- Attachment #1.2: Christophe_Raffalli.vcf --]
[-- Type: text/x-vcard, Size: 310 bytes --]

begin:vcard
fn:Christophe Raffalli
n:Raffalli;Christophe
org:LAMA (UMR 5127)
email;internet:christophe.raffalli@univ-savoie.fr
title;quoted-printable:Ma=C3=AEtre de conf=C3=A9rences
tel;work:+33 4 79 75 81 03
note:http://www.lama.univ-savoie.fr/~raffalli
x-mozilla-html:TRUE
version:2.1
end:vcard


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 249 bytes --]