File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -89,7 +89,7 @@ module System =
8989 let GetFileName ( path : string ) =
9090 let normPath = path.Replace( " \\ " , " /" ) .TrimEnd( '/' )
9191 let i = normPath.LastIndexOf( " /" )
92- path .Substring( i + 1 )
92+ normPath .Substring( i + 1 )
9393
9494 let GetFileNameWithoutExtension ( path : string ) =
9595 let filename = GetFileName path
@@ -101,11 +101,11 @@ module System =
101101 let normPath = path.Replace( " \\ " , " /" )
102102 let i = normPath.LastIndexOf( " /" )
103103 if i <= 0 then " "
104- else path .Substring( 0 , i)
104+ else normPath .Substring( 0 , i)
105105
106106 let IsPathRooted ( path : string ) = //TODO: proper xplat implementation
107107 let normPath = path.Replace( " \\ " , " /" ) .TrimEnd( '/' )
108- path .StartsWith( " /" )
108+ normPath .StartsWith( " /" )
109109
110110
111111module Microsoft =
Original file line number Diff line number Diff line change @@ -53,10 +53,10 @@ module Path =
5353 let GetFileName ( path : string ) =
5454 let normPath = path.Replace( " \\ " , " /" ) .TrimEnd( '/' )
5555 let i = normPath.LastIndexOf( " /" )
56- path .Substring( i + 1 )
56+ normPath .Substring( i + 1 )
5757
5858 let GetDirectoryName ( path : string ) =
5959 let normPath = path.Replace( " \\ " , " /" )
6060 let i = normPath.LastIndexOf( " /" )
6161 if i < 0 then " "
62- else path .Substring( 0 , i)
62+ else normPath .Substring( 0 , i)
You can’t perform that action at this time.
0 commit comments