Re: [Caml-list] beta-test of OCaml 3.10.0: compiling on Windows, trying the new Camlp4

["Nicolas Pouillard" <nicolas.pouillard@gmail.com>]

On 3/23/07, Matthieu Wipliez <mwipliez@yahoo.fr> wrote:
>
> Hello,
Hello,

[...]

>
> After compilation/installation, I tested this new version, compiling with
> "ocamlc.opt -pp camlp4o.opt". Is it still the right way to preprocess with
> Camlp4 ?

If you want to use the original syntax, yes.

> Anyway, here's what I obtain:
>   - in a class, "method private virtual" is not accepted anymore, the order
> has to be "method virtual private".

It was a bug in the new camlp4 (fixed in CVS).

>   - assert MySet.is_empty set; is not accepted anymore either, I have to add
> brackets: assert (MySet.is_empty set);

Assuming you want the original syntax, then it was a bug to accept it
since ocamlc also requires parentheses.

>   - compiling a file containing this kind of comment (* <<<< COMMENT *)
> fails with "Quotation not terminated".

That's not a bug that's a feature like strings, quotations are read by
the lexer.
However if you don't use quotation in your source file you can give
the  -no_quot option to camlp4.

>   - in a .mli, declaring an empty module ABC, with "module type ABC" does
> not work (but does without preprocessing).

I missed that feature (now fixed in CVS too).

> I used the version from
> http://caml.inria.fr/pub/distrib/ocaml-3.10/ocaml-3.10.0+beta.tar.gz,
> so maybe some things have been corrected since.

Yes, try the CVS (-r release310).

The new changes will be propagated in a few hours.

-- 
Nicolas Pouillard