diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-08-19 18:30:13 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-08-19 18:30:13 +0200 |
| commit | 36de1429027f635fe7035cf217b944bfc67dcc2c (patch) | |
| tree | 08e9ff57846df6b4acd385348444e73cb8df932b /src/dotty/tools/dotc/core/SymDenotations.scala | |
| parent | aa9ffac0042ed1ab95b5820dfac44a0de0df398c (diff) | |
| download | dotty-36de1429027f635fe7035cf217b944bfc67dcc2c.tar.gz dotty-36de1429027f635fe7035cf217b944bfc67dcc2c.tar.bz2 dotty-36de1429027f635fe7035cf217b944bfc67dcc2c.zip | |
Changed handling of selection prototypes.
Several changes:
1) Selection prototypes now get treated specially in subtype checks to account for def vs val, polymorphism, etc.
2) Selection prototypes will never nest , so quadratic blowup of checking them is avoided.
3) Selection prototypes are never generated for constructor names.
Diffstat (limited to 'src/dotty/tools/dotc/core/SymDenotations.scala')
0 files changed, 0 insertions, 0 deletions