0001222: feature wish about dirname and basename in module Filename

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001222

OCaml

OCaml general

public

2002-07-04 11:12

2012-01-25 14:44

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

resolved

Resolution

won't fix

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0001222: feature wish about dirname and basename in module Filename

Description

Full_Name: Claude Marché
Version: ocaml 3.04
OS: linux
Submission from: upsn104.u-psud.fr (193.55.10.104)

if I want both the dirname and the basename of a file f I need to
write

let (d,b) = (Filename.dirname f, Filename.basename f) in ...

which is probably twice the same job, it would be nice to have an additional
function

Filename.split : string -> string * string

returning both dirname and basename at the same time.

Tags

No tags attached.

Attached Files

Relationships

Notes
(0006793) doligez (manager) 2012-01-25 14:44	It is _not_ twice the same job, and the dirname/basename rules (which are now [in trunk] based on the POSIX specification) are a bit too involved to compute them both at the same time.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue
2012-01-25 14:44	doligez	Note Added: 0006793
2012-01-25 14:44	doligez	Status	acknowledged => resolved
2012-01-25 14:44	doligez	Resolution	open => won't fix
2012-01-25 14:44	doligez	Description Updated	View Revisions