| Anonymous | Login | Signup for a new account | 2013-05-18 15:00 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||
| 0005807 | OCaml | OCaml standard library | public | 2012-11-03 01:22 | 2012-11-03 01:22 | ||||||
| Reporter | oliver | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | feature | Reproducibility | always | ||||||
| Status | new | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | 3.11.2 | ||||||||||
| Target Version | Fixed in Version | ||||||||||
| Summary | 0005807: Filename.get_suffix is needed (3.11.2, but 4.0.x does also not contain it) | ||||||||||
| Description | In 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 | ./. | ||||||||||
| Tags | No tags attached. | ||||||||||
| Attached Files | |||||||||||
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2012-11-03 01:22 | oliver | New Issue | |
| Copyright © 2000 - 2011 MantisBT Group |