From e9e2307fe3477f6179971d16583fd92e74feb3cb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 14 Jun 2005 16:19:09 +0000 Subject: [PATCH] * no more %% comments * parsed comments must start with "(**b" where b is any blank and must be termianted by "*)" --- helm/ocaml/cic_disambiguation/cicTextualLexer2.ml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml index a326acf7f..5127f2138 100644 --- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml +++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.ml @@ -38,13 +38,12 @@ let regexp symbol_char = ' ' '\t' '\n' '\\' '(' '[' '{' ')' ']' '}' '?' ] -let regexp dust = "%%" [^ '\n']* '\n' let regexp comment_char = [^'*'] | '*'[^')'] -let regexp note = "(*" comment_char* "*)" +let regexp note = "(*" ([^'*'] | "**") comment_char* "*)" -let regexp commentbegin = "(**" -let regexp commentend = "**)" +let regexp commentbegin = "(**" blank +let regexp commentend = "*)" let regexp blanks = blank+ let regexp num = digit+ @@ -140,7 +139,6 @@ let rec token comments = lexer return lexbuf ("SYMBOL", Utf8Macro.expand macro) with Utf8Macro.Macro_not_found _ -> return lexbuf ("SYMBOL", Ulexing.utf8_lexeme lexbuf)) - | dust -> token comments lexbuf | note -> (*if comments then*) let comment = -- 2.39.2