Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Nonexisting symbol error with separate compilation #4757

Closed
scabug opened this issue Jul 2, 2011 · 3 comments
Closed

Nonexisting symbol error with separate compilation #4757

scabug opened this issue Jul 2, 2011 · 3 comments
Assignees

Comments

@scabug
Copy link

scabug commented Jul 2, 2011

To reproduce, compile the following sources in this order in separate compilations: P.scala, A.scala, and then B.scala. When compiling B.scala, an error message is generated:

error: class file needed by A is missing.
reference type _$2 of (t: <?>)(ss: <?>)Seq[S[_]] refers to nonexisting symbol.

P.scala:

trait S[T]

object P {
  def x(t: Int)(ss: Seq[S[_]]): Seq[S[_]] = ss
}

A.scala

object A {
  def ss = P.x(3)(Nil)
}

B.scala:

object C {
  def x: Seq[S[_]] = A.ss
}

No error is generated if P.scala and A.scala are compiled together.

@scabug
Copy link
Author

scabug commented Jul 2, 2011

Imported From: https://issues.scala-lang.org/browse/SI-4757?orig=1
Reporter: @harrah
Affected Versions: 2.9.0

@scabug
Copy link
Author

scabug commented Jul 2, 2011

Commit Message Bot (anonymous) said:
(extempore in r25219) Existentially quantified symbols, when read by the unpickler, do not
have the existential flag set. This leads to failure. This patch
seeks improvement. Closes #4757, review by odersky.

@scabug scabug closed this as completed Jul 2, 2011
@scabug
Copy link
Author

scabug commented Jul 2, 2011

Commit Message Bot (anonymous) said:
(extempore in r25220) Test case for #4757, no review.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants