On Wed, 17 Dec 2003 15:22:32 +0000
Richard Jones <rich@annexia.org> wrote:

> 
> Is there a deep reason why the compiler is fussed by unmatched quotes
> appearing in comments, ie: (* " *) ?

This seems necessary to ensure that any piece of code can easily be commented out :

(* This is a valid comment

let print_close_comment () = print_string "*)" <-- the comment does not end here.

*)

So the comment part of the  lexer needs to analyse strings as well to igonre any "*)" character sequence within a
string. And therefore, it fails when a string is unterminated.

See http://caml.inria.fr/FAQ/FAQ_EXPERT-eng.html#commentaire

IMHO, the bug should be corrected in tuareg-mode (if possible).

Cheers,

Kim.