Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005880OCamlOCaml documentationpublic2013-01-09 16:182013-01-16 13:30
Reporterprevosto 
Assigned Toxclerc 
PrioritynormalSeveritytextReproducibilityN/A
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.00.1 
Target VersionFixed in Version4.00.2+dev 
Summary0005880: Genlex.make_lexer documention mentions the wrong exception
DescriptionThe 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 = <fun>
# let foo = Stream.of_string "()";;
val foo : char Stream.t = <abstr>
# let bar = lex foo;;
val bar : Genlex.token Stream.t = <abstr>
# Stream.next bar;;
Exception: Stream.Error "Illegal character (".
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008759)
xclerc (developer)
2013-01-16 13:30

Fixed in both '4.00' (revision 13246) and trunk (revision 13245) branches.

- Issue History
Date Modified Username Field Change
2013-01-09 16:18 prevosto New Issue
2013-01-16 13:30 xclerc Note Added: 0008759
2013-01-16 13:30 xclerc Status new => resolved
2013-01-16 13:30 xclerc Fixed in Version => 4.00.2+dev
2013-01-16 13:30 xclerc Resolution open => fixed
2013-01-16 13:30 xclerc Assigned To => xclerc


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker