Project

General

Profile

Revision 19a1e66b src/parsers/lexer_lustre.mll

View differences:

src/parsers/lexer_lustre.mll
126 126
| "tel." {TEL}
127 127
| "tel;" {TEL}
128 128
| "#open" { OPEN }
129
| "include" { INCLUDE }
129 130
| ['_' 'a'-'z'] [ '_' 'a'-'z' 'A'-'Z' '0'-'9']*
130 131
    {let s = Lexing.lexeme lexbuf in
131 132
    try
......
137 138
    try
138 139
      Hashtbl.find keyword_table s
139 140
    with Not_found ->
140
      UIDENT s}
141
      UIDENT s}     
141 142
| "->" {ARROW}
142 143
| "=>" {IMPL}
143 144
| "<=" {LTE}
......
161 162
| ':' {COL}
162 163
| ',' {COMMA}
163 164
| '=' {EQ}
164
| '/' {DIV}
165 165
| "&&" {AMPERAMPER}
166 166
| "||" {BARBAR}
167 167
| "::" {COLCOL}
168 168
| "^" {POWER}
169 169
| '"' {QUOTE}
170
| '.' {POINT}
170 171
| eof { EOF }
171 172
| _ { raise (Parse.Error (Location.curr lexbuf, Parse.Undefined_token (Lexing.lexeme lexbuf))) }
172 173

  

Also available in: Unified diff