File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 2
2
refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
3
3
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
4
4
refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
5
- refs/heads/try: 9208684e745b50b511c0fd3645a8ab2f3919fc82
5
+ refs/heads/try: 1471b1f3ffd71eda0511df7ec6a9a0b94b55e958
6
6
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
Original file line number Diff line number Diff line change @@ -32,7 +32,7 @@ A path or fragment of a filesystem path
32
32
*/
33
33
type path = str ;
34
34
35
- fn splitDirnameBasename ( pp : path ) -> { dirname : str , basename : str } {
35
+ fn split_dirname_basename ( pp : path ) -> { dirname : str , basename : str } {
36
36
alt str:: rfind ( pp, { |ch|
37
37
ch == os_fs:: path_sep || ch == os_fs:: alt_path_sep
38
38
} ) {
@@ -56,7 +56,7 @@ The dirname of "/usr/share" will be "/usr", but the dirname of
56
56
If the path is not prefixed with a directory, then "." is returned.
57
57
*/
58
58
fn dirname ( pp : path ) -> path {
59
- ret splitDirnameBasename ( pp) . dirname ;
59
+ ret split_dirname_basename ( pp) . dirname ;
60
60
}
61
61
62
62
/*
@@ -71,7 +71,7 @@ the provided path. If an empty path is provided or the path ends
71
71
with a path separator then an empty path is returned.
72
72
*/
73
73
fn basename ( pp : path ) -> path {
74
- ret splitDirnameBasename ( pp) . basename ;
74
+ ret split_dirname_basename ( pp) . basename ;
75
75
}
76
76
77
77
// FIXME: Need some typestate to avoid bounds check when len(pre) == 0
You can’t perform that action at this time.
0 commit comments