Original bug ID: 959
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Sorry, I accidentally send that message before it was completed.

I start again.

The documentation of genlex does not say that an ident cannot start by a
'_', whereas the code does.

from genlex.ml, line 59
let rec next_token (strm__ : _ Stream.t) =
match Stream.peek strm__ with
Some (' ' | '\010' | '\013' | '\009' | '\026' | '\012') ->
Stream.junk strm__; next_token strm__
| Some ('A'..'Z' | 'a'..'z' | '\192'..'\255' as c) ->
^^^

probably a
| '_'
is missing there, or the doc should be change.

let ss= lexer (Stream.of_string "_toto");;

val ss : Genlex.token Stream.t =

next ss;;

Exception: Stream.Error "Illegal character _".

--
R1.