Revised syntax error messages ?

Revised syntax error messages ?

[David Teller]

   Hi everyone,
 At the moment, when using the revised syntax, the toplevel prints
typing error messages with the revised syntax but ocamlc seems to print
them with the original syntax, which may be confusing.

For instance, in the toplevel :

# match [] with [ Some _ -> 1 | None -> 2 ];
                       ^
This pattern matches values of type option 'a
but is here used to match values of type list 'b


With ocamlc :

yoric@Blefuscu:/tmp$ ocamlc -pp camlp4rf test.ml 
File "test.ml", line 1, characters 21-22:
This pattern matches values of type 'a option
but is here used to match values of type 'b list

This may be quite confusing for beginners. Is there a way to get the
revised syntax error messages with ocamlc ?

Thanks,
 David

-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations. 

Re: [Caml-list] Revised syntax error messages ?

[Nicolas Pouillard]

[-- Attachment #1: Type: text/plain, Size: 301 bytes --]

Excerpts from david.teller's message of Tue Feb 05 13:45:01 +0100 2008:
>    Hi everyone,
Hi,

[...]

> Is there a way to get the
> revised syntax error messages with ocamlc ?

Currently no, and this would be a somewhat intrusive and extensive change to the compiler.

-- 
Nicolas Pouillard aka Ertai

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 232 bytes --]