Commit 767417d2 authored by Armillon Damien's avatar Armillon Damien
Browse files

Merge remote-tracking branch 'le-remote-d-origine/master'

parents f756b069 0e3f1bee
...@@ -105,11 +105,11 @@ let list_regexp : (regexp * (string -> token option)) list = ...@@ -105,11 +105,11 @@ let list_regexp : (regexp * (string -> token option)) list =
fun s -> None); fun s -> None);
(Cat(keyword_regexp "/*", (Cat(keyword_regexp "/*",
Cat( Cat(
Star (Alt ( Cat (Star (Alt (
char_range (List.filter (fun c -> c <> '*') alphabet), char_range (List.filter (fun c -> c <> '*') alphabet),
Cat (Star(char_regexp '*'), Cat (Star(char_regexp '*'),
plus(char_range (List.filter (fun c -> c <> '/') alphabet))) plus(char_range (List.filter (fun c -> c <> '/' && c <> '*') alphabet)))
)), )), Star (char_range ['*'])),
keyword_regexp "*/")), keyword_regexp "*/")),
fun s -> None); fun s -> None);
(Cat (char_regexp '\'', (Cat (char_regexp '\'',
......
Markdown is supported
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