Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005807OCamlOCaml standard librarypublic2012-11-03 01:222012-11-03 01:22
Reporteroliver 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version3.11.2 
Target VersionFixed in Version 
Summary0005807: Filename.get_suffix is needed (3.11.2, but 4.0.x does also not contain it)
DescriptionIn module Filename there is

- "check_suffix" to check on a known suffix
- "chop_suffix" to chop a known suffix

- "chop_extension" to chop any (even unknown) extension

For working on files with any file extension
(previously unknown, means: not looking for a specific extension/suffix),
to use "check_suffix" and "chop_suffix" a "Filename.get_suffix"
function would help a lot.

"chop_extension" could then be implemented
comparingly easily with "get_suffix" and "chop_suffix".

But to extract the suffix from the filename
is annoying stuff that needs String-module or a for-loop.
But not seldom, it's needed to extract the extension from a file.
above,

So all in all, a Filename.get_suffix would be helpful in any case.

Steps To Reproduce./.
Additional Information./.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2012-11-03 01:22 oliver New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker