diff options
author | Martin Odersky <odersky@gmail.com> | 2013-06-29 18:32:29 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-06-29 22:30:37 +0200 |
commit | 0af96c0f5179104fca02cf1aa144c6176bdb71eb (patch) | |
tree | 78a94297b1df8c7c26a369e4e68ea301166aa2c3 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | 880c2c1ecf34bd18c3385f146e451ce7abcff9bb (diff) | |
download | dotty-0af96c0f5179104fca02cf1aa144c6176bdb71eb.tar.gz dotty-0af96c0f5179104fca02cf1aa144c6176bdb71eb.tar.bz2 dotty-0af96c0f5179104fca02cf1aa144c6176bdb71eb.zip |
Adding TypeVars and adapting constrints accordingly.
A TypeVar is essentially a container whose contents can be "flipped" from a PolyParam to an instantiated type.
Adding TypeVars avoids subtitutions of large trees and all their types which would otherwise be necessary when a type parameter is instantiated at some point.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
0 files changed, 0 insertions, 0 deletions