Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002262OCamlOCaml generalpublic2004-02-16 23:242004-04-01 15:51
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002262: Feature wishes for int_of_string
DescriptionFull_Name: Shawn Wagner
Version: 3.07+2
OS: linux
Submission from: dialup-67.75.195.222.dial1.seattle.level3.net (67.75.195.222)


It'd be nice if int_of_string and related functions could skip over any leading
or trailing spaces in their arguments, rather than raising Failure like it was a
malformed numeric string. Also, versions that take a argument for what base to
convert from would be useful, instead of having to add a prefix to a string
before calling int_of_string.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker