File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed
compiler/src/dotty/tools/io Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 8
8
9
9
package dotty .tools .io
10
10
11
- import java .io ._
11
+ import java .io .{ File => JavaIoFile , _ }
12
12
import java .nio .file .{Files , Paths }
13
13
import java .nio .file .StandardOpenOption ._
14
14
@@ -17,8 +17,8 @@ import scala.io.Codec
17
17
* ''Note: This library is considered experimental and should not be used unless you know what you are doing.''
18
18
*/
19
19
object File {
20
- def pathSeparator : String = File .pathSeparator
21
- def separator : String = File .separator
20
+ def pathSeparator : String = JavaIoFile .pathSeparator
21
+ def separator : String = JavaIoFile .separator
22
22
23
23
def apply (path : String )(implicit codec : Codec ): File = apply(Paths .get(path))
24
24
def apply (path : JPath )(implicit codec : Codec ): File = new File (path)
You can’t perform that action at this time.
0 commit comments