Use File.separator

Author: nicolasstucki

compiler/src/dotty/tools/dotc/fromtasty/TastyFileUtil.scala

@@ -1,8 +1,8 @@
 package dotty.tools.dotc.fromtasty
 
-import java.nio.file.{Files, Path, Paths}
+import java.nio.file.{Files, Path}
+import java.io
 
-import dotty.tools.dotc.core.Contexts.Context
 import dotty.tools.dotc.core.NameKinds
 import dotty.tools.dotc.core.Names.SimpleName
 import dotty.tools.dotc.core.StdNames.nme
@@ -33,7 +33,7 @@ object TastyFileUtil {
       }.collect {
         case name: SimpleName => name.toString
       }.toList
-    val classInPath = className.mkString("", "/", ".tasty")
+    val classInPath = className.mkString("", io.File.separator, ".tasty")
     val classpath = path.toString.replace(classInPath, "")
     (classpath, className.mkString("."))
   }