Simplify the dune atom char set

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-06-19 15:40:36 +07:00
parent 8432ee42cf
commit 63c1703045
1 changed files with 1 additions and 1 deletions

View File

@ -81,7 +81,7 @@ let hexdigit = ['0'-'9' 'a'-'f' 'A'-'F']
let atom_char_jbuild =
[^ ';' '(' ')' '"' ' ' '\t' '\r' '\n' '\012']
let atom_char_dune =
[^ ';' '(' ')' '"' ' ' '\t' '\r' '\n' '\000'-'\032' '\127'-'\255']
[^ ';' '(' ')' '"' '\000'-'\032' '\127'-'\255']
(* rule for jbuild files *)
rule jbuild_token = parse