diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-01-15 17:39:15 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-01-16 21:26:57 +0100 |
| commit | 9a378b10a706f283a7337a1debe02e586d08c5ed (patch) | |
| tree | ace7c1e83e7f994a9f820131216b5eec448f5788 /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | 8e84133598f879c1cb0ad4b9faf2a90c0403536f (diff) | |
| download | dotty-9a378b10a706f283a7337a1debe02e586d08c5ed.tar.gz dotty-9a378b10a706f283a7337a1debe02e586d08c5ed.tar.bz2 dotty-9a378b10a706f283a7337a1debe02e586d08c5ed.zip | |
Compute type params in namer without completing the whole info
Type params should be computed before computing the whole info of
a type. Without the patch we get a cyclic reference in the compileMixed
test.
Note that compileIndexedSeq does not pass with this commit (it passed
before), this is fixed in the next commit.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 04cd2249d..6896468ba 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -35,7 +35,7 @@ trait TypeOps { this: Context => // TODO: Make standalone object. * Instead we produce an annotated type that marks the prefix as unsafe: * * (x: (C @ UnsafeNonvariant)#T)C#T - + * We also set a global state flag `unsafeNonvariant` to the current run. * When typing a Select node, typer will check that flag, and if it * points to the current run will scan the result type of the select for |