diff options
author | Martin Odersky <odersky@gmail.com> | 2013-06-04 18:00:37 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-06-04 18:00:37 +0200 |
commit | b28c9ef75e274bdc54e9502e56c95b505495de5b (patch) | |
tree | 84b350bffb77d521d7c8393096b43deca78f5e5f /src/dotty/tools/dotc/core/Types.scala | |
parent | 4fc1d8501a3937547e05f14aa4f4423a2c0d6a1d (diff) | |
download | dotty-b28c9ef75e274bdc54e9502e56c95b505495de5b.tar.gz dotty-b28c9ef75e274bdc54e9502e56c95b505495de5b.tar.bz2 dotty-b28c9ef75e274bdc54e9502e56c95b505495de5b.zip |
Refactoring: breaking out desugaring into its own object.
Also, changing the maps in Namer. More commenting needs to be done. Pushing now to get off this machine and
back to the new one, which just came back form repair.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index c78b876b4..3a25fe889 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -243,6 +243,9 @@ object Types { Nil } + def uninstantiatedTypeParams(implicit ctx: Context): List[TypeSymbol] = + typeParams filter (tparam => member(tparam.name) == tparam) + // ----- Member access ------------------------------------------------- /** The scope of all declarations of this type. |