Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006456OCamlOCaml standard librarypublic2014-06-11 20:222014-06-16 13:38
Reporterbvaugon 
Assigned Tofrisch 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version4.02.0+beta1 
Target VersionFixed in Version4.02.0+dev 
Summary0006456: [patch] Format parsing error when ending by '%'
DescriptionPrintf.printf "%";;

-> raise (Invalid_argument "index out of bounds") exception

Fixed by the attached patch.
TagsNo tags attached.
Attached Filesdiff file icon fix-end-of-percents.diff [^] (1,105 bytes) 2014-06-11 20:22 [Show Content]

- Relationships

-  Notes
(0011748)
frisch (developer)
2014-06-16 13:38

Thanks. Committed to 4.02, commit 14986.

- Issue History
Date Modified Username Field Change
2014-06-11 20:22 bvaugon New Issue
2014-06-11 20:22 bvaugon File Added: fix-end-of-percents.diff
2014-06-16 13:38 frisch Note Added: 0011748
2014-06-16 13:38 frisch Status new => resolved
2014-06-16 13:38 frisch Resolution open => fixed
2014-06-16 13:38 frisch Assigned To => frisch
2014-06-16 13:38 frisch Fixed in Version => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker