Comment author: administrator

Need to fix camlp4 lexer so that it skips comments like the ocaml lexer.

Comment author: administrator

Put this text in foo.ml:
let yuck = 7;;
(*
[<'"asdf">];;
*)

Then give the command
ocamldep -pp camlp4o foo.ml
This gives the error
File "foo.ml", line 3, characters 0-23:
Lexing error: string not terminated
Preprocessing error
If I leave out the "-pp camlp4o", no error happens. If I omit the
single quote from foo.ml, no error happens.
I don't think a compiler should complain about the text in my
comments.

Well, the compiler must do some amount of lexical analysis on your
comments, otherwise a ) inside a string literal inside a comment
would incorrectly terminate the comment. Consider: ( "*)" *)

You've found a case where the Camlp4 lexer behaves differently than
the default lexer. This will have to be fixed at some point.
It should be possible to work around the problem by putting a space
between ' and the string literal.

• Xavier Leroy