this repo has no description
1{
2open Parser
3
4exception SyntaxError of string
5}
6
7let white = [' ' '\t']+
8let id = ['a'-'z' 'A'-'Z' '_'] ['a'-'z' 'A'-'Z' '0'-'9' '_']*
9
10rule read =
11 parse
12 | white { read lexbuf }
13 | id as s { FLAG s }
14 | '(' { LPAREN }
15 | ')' { RPAREN }
16 | '&' { AND }
17 | '|' { OR }
18 | '~' { NOT }
19 | _ { raise (SyntaxError ("Unexpected char: " ^ Lexing.lexeme lexbuf)) }
20 | eof { EOF }