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 88
99package dotty .tools .io
1010
11- import java .io ._
11+ import java .io .{ File => JavaIoFile , _ }
1212import java .nio .file .{Files , Paths }
1313import java .nio .file .StandardOpenOption ._
1414
@@ -17,8 +17,8 @@ import scala.io.Codec
1717 * ''Note: This library is considered experimental and should not be used unless you know what you are doing.''
1818 */
1919object 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
2222
2323 def apply (path : String )(implicit codec : Codec ): File = apply(Paths .get(path))
2424 def apply (path : JPath )(implicit codec : Codec ): File = new File (path)
You can’t perform that action at this time.
0 commit comments