Skip to content
Snippets Groups Projects
Commit bd83781b authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

[modules] extended operators and quotes

parent 4938f1c7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/parsing/logic_lexer.mll
+ 4
− 3
View file @ bd83781b
...@@ -361,6 +361,8 @@ let rOP = [ ...@@ -361,6 +361,8 @@ let rOP = [
] ]
let comment_line = "//" [^'\n']* let comment_line = "//" [^'\n']*
let rIdentifier = rL (rL | rD)* let rIdentifier = rL (rL | rD)*
let xIdentifier = rL (rL | rD | "'")*
let opIdentifier = (rL | rD | rOP)+
(* Do not forget to update also the corresponding chr rule if you add (* Do not forget to update also the corresponding chr rule if you add
a supported escape sequence here. *) a supported escape sequence here. *)
...@@ -390,9 +392,8 @@ rule token = parse ...@@ -390,9 +392,8 @@ rule token = parse
check_ext_plugin (fst cabsloc) plugin tok check_ext_plugin (fst cabsloc) plugin tok
} }
| '\\' rIdentifier { bs_identifier lexbuf } | '\\' rIdentifier { bs_identifier lexbuf }
| rIdentifier ( "::" rIdentifier )+ { longident lexbuf } | ( rIdentifier "::")+ xIdentifier { longident lexbuf }
| rIdentifier ( "::" rIdentifier )+ "'" rIdentifier { longident lexbuf } | ( rIdentifier "::")+ "(" opIdentifier ")" { longident lexbuf }
| rIdentifier ( "::" rIdentifier )* "::(" rOP+ ")" { longident lexbuf }
| rIdentifier { | rIdentifier {
let loc = Lexing.(lexeme_start_p lexbuf, lexeme_end_p lexbuf) in let loc = Lexing.(lexeme_start_p lexbuf, lexeme_end_p lexbuf) in
let cabsloc = Cil_datatype.Location.of_lexing_loc loc in let cabsloc = Cil_datatype.Location.of_lexing_loc loc in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment