Skip to content

partest: Enable separate compilation #1289

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.

Sign up for GitHub

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

Merged
merged 11 commits into from
Jul 28, 2016
Merged

partest: Enable separate compilation #1289

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
855bdcc
partest: Enable separate compilation and javac tests
smarter Jun 1, 2016
216511f
Make private accessor in value class not-private.
VladimirNik Jun 2, 2016
50c80e8
Fix colltest5 test under separate compilation
smarter Jun 2, 2016
1fa136f
Remove overloaded constructor for annotations
smarter Jun 2, 2016
8c35854
partest: put more stuff on javac classpath
smarter Jun 2, 2016
301a956
pos/java-interop/volatile: Fix compilation with javac
smarter Jun 2, 2016
a452fa2
Move java tests relying on type parameters to pending
smarter Jun 2, 2016
40efc35
Fix colltest4: ListBuffer[A]#fromIterable had an incorrect cast
felixmulder Jun 3, 2016
4b0cc8a
Don't generate outer accessors for Java innner classes.
odersky Jul 27, 2016
16a688f
Fix HkApply#superType if type constructor is a TypeVar
odersky Jul 27, 2016
04e6d5e
Refine HKApply#superType
odersky Jul 27, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions src/dotty/tools/dotc/core/Types.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2645,6 +2645,9 @@ object Types {
if (ctx.period != validSuper) {
cachedSuper = tycon match {
case tp: TypeLambda => defn.AnyType
case tp: TypeVar =>
// supertype not stable, since underlying might change
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The supertype should be stable if tp.inst.exists

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good point. Fixed in latest commit.

return tp.underlying.applyIfParameterized(args)
case tp: TypeProxy => tp.superType.applyIfParameterized(args)
case _ => defn.AnyType
}
Expand Down