Attempt to update class loader, not successful

aherlihy · aherlihy · commit cd3f01709124 · 2025-01-09T17:42:09.000-05:00
diff --git a/compiler/src/dotty/tools/repl/ReplDriver.scala b/compiler/src/dotty/tools/repl/ReplDriver.scala
@@ -529,8 +529,15 @@ class ReplDriver(settings: Array[String],
           }
         }
 
+        // TODO: no idea how to access and reload the class paths
+        val newClassPath = state.context.platform.classPath(using state.context).asURLs :+ f.toURI.toURL
+        println(s"new class path=${newClassPath.mkString(", ")}")
         val clsl = rendering.classLoader()(using state.context)
+        val newClsl = fromURLsParallelCapable(newClassPath, clsl)
+        println(s"newClsl getResource=${newClsl.getURLs.toList}")
+        newClsl.asContext(state.context)
 
+//        Scala 2:
 //        def alreadyDefined(clsName: String) = classLoader.tryToLoadClass(clsName).isDefined
 //        val existingClass = entries.filter(_.ext.isClass).map(classNameOf).find(alreadyDefined)
 

Original file line number	Diff line number	Diff line change
`@@ -529,8 +529,15 @@ class ReplDriver(settings: Array[String],`
`529`	`529`	`}`
`530`	`530`	`}`
`531`	`531`
	`532`	`+ // TODO: no idea how to access and reload the class paths`
	`533`	`+ val newClassPath = state.context.platform.classPath(using state.context).asURLs :+ f.toURI.toURL`
	`534`	`+ println(s"new class path=${newClassPath.mkString(", ")}")`
`532`	`535`	`val clsl = rendering.classLoader()(using state.context)`
	`536`	`+ val newClsl = fromURLsParallelCapable(newClassPath, clsl)`
	`537`	`+ println(s"newClsl getResource=${newClsl.getURLs.toList}")`
	`538`	`+ newClsl.asContext(state.context)`
`533`	`539`
	`540`	`+// Scala 2:`
`534`	`541`	`// def alreadyDefined(clsName: String) = classLoader.tryToLoadClass(clsName).isDefined`
`535`	`542`	`// val existingClass = entries.filter(_.ext.isClass).map(classNameOf).find(alreadyDefined)`
`536`	`543`