diff options
| author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-03-27 14:50:08 +0000 |
|---|---|---|
| committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-03-27 14:50:08 +0000 |
| commit | 76f0380dd77143fe01c50c469588ca7d1fb59224 (patch) | |
| tree | be35583d2aac8a9a51c8e6e95e26f391137cc2c4 | |
| parent | eccdddcc73dc532885abaee500e1b35953723d5a (diff) | |
| download | scala-76f0380dd77143fe01c50c469588ca7d1fb59224.tar.gz scala-76f0380dd77143fe01c50c469588ca7d1fb59224.tar.bz2 scala-76f0380dd77143fe01c50c469588ca7d1fb59224.zip | |
Not touching source code in scala.runtime, its ...
Not touching source code in scala.runtime, its magical.
| -rw-r--r-- | src/compiler/scala/tools/nsc/util/ClassPath.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/util/ClassPath.scala b/src/compiler/scala/tools/nsc/util/ClassPath.scala index 000ef7d415..91ce023b49 100644 --- a/src/compiler/scala/tools/nsc/util/ClassPath.scala +++ b/src/compiler/scala/tools/nsc/util/ClassPath.scala @@ -43,6 +43,7 @@ class ClassPath(onlyPresentation: Boolean) { def source = if (sourceFile != null) new Source(sourceFile, true) else null } + class Library(location0: AbstractFile) extends Entry(location0) { def doc: AbstractFile = null def sourceFile: AbstractFile = null @@ -77,6 +78,7 @@ class ClassPath(onlyPresentation: Boolean) { } } } + val ret = find0(entries) if (ret.entries.isEmpty) { System.err.println("BAD_FILE: " + name + " in " + this) @@ -114,7 +116,9 @@ class ClassPath(onlyPresentation: Boolean) { def head = entries.head def clazz = head.location def source = if (head.source == null) null else head.source.location - def isPredef = source.getName().equals("Predef.scala") + def isPredef = source.getName().equals("Predef.scala") || + source.getPath().startsWith("scala/runtime"); + if (entries.isEmpty || entries.isEmpty || source == null) false else if (!onlyPresentation && !head.source.compile) false |