Open scabug opened 12 years ago
Imported From: https://issues.scala-lang.org/browse/SI-6393?orig=1 Reporter: @xeno-by Affected Versions: 2.10.0, 2.11.0 Duplicates #9096
@xeno-by said: It looks like we're doomed w.r.t this one.
The problem is that Scala reflection and reflective compiler (which is underlying toolboxes) use a different model of classfile loading than vanilla scalac does. Vanilla compiler has its classpath as a list of directories/jars on the filesystem, so it can exhaustively enumerate the packages on the classpath. Reflective compiler works with arbitrary classloaders, and classloaders don't have a concept of enumerating packages.
As a result, when a reflective compiler sees "math" having "import scala.; import java.lang." imports in the lexical context, it doesn't know whether that "math" stands for root.math, scala.math or java.lang.math. So it has to speculate and provisionally creates a package for root.math, which ends up being a wrong choice.
We could probably support a notion of "overloaded" packages, so that the compiler doesn't have to speculate and can store all the possible options, but that'd require redesign of reflection and probably of the typer as well.
@gkossakowski said: Ok, shall we make this major and include in 2.10.0's list of "known issues"?
@xeno-by said: It seems so. I hoped someone will magically save the day before the release, but well...
@paulp said: "We could probably support a notion of "overloaded" packages, so that the compiler doesn't have to speculate and can store all the possible options, but that'd require redesign of reflection and probably of the typer as well."
This is important for other reasons, independent of reflection. #6039. I have gone to a lot of trouble to work around it only a small ways, because I am plagued by compilation errors whenever I try to recompile a subset of compiler sources.
https://github.com/scala/scala/commit/55b609458f https://github.com/scala/scala/commit/ea0d891f23
But that was only the beginning, and deterioration began immediately.
Yet another reason it is important is because scanning the entire classpath up front is a very expensive piece of startup time.
@paulp said: By request, a link to an old branch of mine with a rewrite of classpaths. https://github.com/paulp/scala/tree/topic/classpath
@xeno-by said: Can we provide special treatment for URLClassLoaders?
@gkossakowski said: Eugene, care to elaborate?
@retronym said: That was my suggestion from our meeting today. I don't think we should consider other ToolBox bugs without having a clear plan for this one, otherwise ToolBoxes are not really useful.
Rather than deal with the lowest common denominator (the ClassLoader API), we could try to do a better job for the more powerful, and very common, URLClassLoader, which would let use get at the underlying folders and JAR files to enumerate the classpath, as is done in the compiler proper.
This might be an opt-in feature, or even a feature implemented in an external library, that takes advantage of extra hooks we expose.
@xeno-by said (edited on Jan 15, 2013 6:49:53 PM UTC): When Jason and I were triaging reflection bugs today, we came to the conclusion that this one is a blocker for using toolboxes seriously, e.g. as a replacement for scala.tools.nsc.interactive. Well, it indeed is, because relative imports are very common in Scala programs.
As to the comment itself, a possible solution would be to distinguish URLClassLoaders, which can exhaustively enumerate their contents, and treat them specially in the reflective compiler. That would bring conceptual feature parity to toolboxes w.r.t the regular compiler in 99% of the use cases.
@gkossakowski said: Will that work with sbt, ide and Maven?
Let's start with sbt and IDE.
I don't know how sbt is handling classloaders so I added Mark to watchers and let him comment on that. Same for Iulian.
@retronym said: The IDE doesn't call ToolBox compilers. SBT already has a means to communicate the classpath to the embedded interpreter, see "Use the Scala REPL from project code¶ http://www.scala-sbt.org/release/docs/Howto/scala.html.
But it is likely that some environments (maybe OSGi) will be fundamentally incompatible with classpath enumeration, and will not support ToolBox compilation. We might have to live with that (or provide hooks for someone else to build a bridge). But we shouldn't punish the mainstream.
I believe that Paul's branch a few comments above has a little code for URLClassLoader enumeration.
@gkossakowski said: The IDE might want to call it for features like conditional breakpoints where you want to compile a little piece of code, no?
If we are designing API we should think about all future clients not only current ones.
I agree that we should provide connivence for common case but we need to ensure that we have a way to support more exotic environments. In order to assure that, could we start with designing an API that allows one to pass classpath enumerator to Reflection API, try that with {{URLClassLoader}}-based enumerator and only then make it a default choice?
@retronym said: Yeah, that's what I meant by "provide hooks". We would just provide a standard implementation of that hook for URLClassLoader, SBT.
I am having trouble fully understanding the impact of this issue, but I've posted about it at this Stack Overflow question. If this issue is related, then it is a blocker for me, and I'd like to know the current status of possible solutions (if any).
Thanks in advance!
any solutions?
You can check out the SO post for what solved my problem. I haven't looked at Scala in a while, so I'm not sure if it's the same problem, but I hope it helps!