You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5880 Reporter: prevosto Assigned to:@xclerc Status: closed (set by @xavierleroy on 2015-12-11T18:18:25Z) Resolution: fixed Priority: normal Severity: text Version: 4.00.1 Fixed in version: 4.00.2+dev Category: documentation
Bug description
The online manual says that the lexer returned by Genlex.make_lexer may raise Parse_error (I suppose that it should be interpreted as Parsing.Parse_error), but this is not what the implementation does (true in 4.00.0 as well as 4.00.1)
let lex = Genlex.make_lexer [];;
val lex : char Stream.t -> Genlex.token Stream.t =
let foo = Stream.of_string "()";;
val foo : char Stream.t =
let bar = lex foo;;
val bar : Genlex.token Stream.t =
Stream.next bar;;
Exception: Stream.Error "Illegal character (".
The text was updated successfully, but these errors were encountered:
Original bug ID: 5880
Reporter: prevosto
Assigned to: @xclerc
Status: closed (set by @xavierleroy on 2015-12-11T18:18:25Z)
Resolution: fixed
Priority: normal
Severity: text
Version: 4.00.1
Fixed in version: 4.00.2+dev
Category: documentation
Bug description
The online manual says that the lexer returned by Genlex.make_lexer may raise Parse_error (I suppose that it should be interpreted as Parsing.Parse_error), but this is not what the implementation does (true in 4.00.0 as well as 4.00.1)
let lex = Genlex.make_lexer [];;
val lex : char Stream.t -> Genlex.token Stream.t =
let foo = Stream.of_string "()";;
val foo : char Stream.t =
let bar = lex foo;;
val bar : Genlex.token Stream.t =
Stream.next bar;;
Exception: Stream.Error "Illegal character (".
The text was updated successfully, but these errors were encountered: