You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1222 Reporter: administrator Status: closed (set by @xavierleroy on 2013-08-31T10:46:08Z) Resolution: won't fix Priority: normal Severity: feature Category: ~DO NOT USE (was: OCaml general)
Bug 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.
The text was updated successfully, but these errors were encountered:
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.
Original bug ID: 1222
Reporter: administrator
Status: closed (set by @xavierleroy on 2013-08-31T10:46:08Z)
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug 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.
The text was updated successfully, but these errors were encountered: