let regexp qkeyword = "'" ( ident | pident ) "'"
let regexp implicit = '?'
-let regexp implicit_vector = "..."
let regexp placeholder = '%'
let regexp meta = implicit number
let s = Ulexing.utf8_lexeme lexbuf in
return lexbuf ("META", String.sub s 1 (String.length s - 1))
| implicit -> return lexbuf ("IMPLICIT", "")
- | implicit_vector -> return lexbuf ("IMPLICITVECTOR", "")
| placeholder -> return lexbuf ("PLACEHOLDER", "")
| ident -> handle_keywords lexbuf (Hashtbl.mem !level2_ast_keywords) "IDENT"
| variable_ident -> return lexbuf ("IDENT", Ulexing.utf8_lexeme lexbuf)