Fix line counting. Ignore kind2 property comments

7 years ago · 0747494c7a
parent abfc038b6b
commit 0747494c7a
1 changed files with 2 additions and 2 deletions
--- a/compiler/heptagon/parsing/hept_lexer.mll
+++ b/compiler/heptagon/parsing/hept_lexer.mll
@ -223,7 +223,7 @@ rule token = parse
                              Loc (comment_start, comment_end)))
        end;
        token lexbuf }
-   | "--"
+   | "--" | "--%"
      { single_line_comment lexbuf }
   | ['!' '?' '~']
      ['!' '$' '%' '&' '*' '+' '-' '.' '/' ':'
@ -308,7 +308,7 @@ and comment = parse
      { comment lexbuf }

 and single_line_comment = parse
-  | newline      { token lexbuf }
+  | newline      { new_line lexbuf; token lexbuf }
  | _            { single_line_comment lexbuf }

 and string = parse