diff options
author | Martin Odersky <odersky@gmail.com> | 2016-01-07 14:21:43 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-19 13:59:59 +0100 |
commit | 91ccb52bda344d74ba7a3e9859346e57051d2aff (patch) | |
tree | 0368563b4f688f80e01534c06dd9a1632380b0ec /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | d872d9ca54e9d56f563dc2e0bb002b38380af391 (diff) | |
download | dotty-91ccb52bda344d74ba7a3e9859346e57051d2aff.tar.gz dotty-91ccb52bda344d74ba7a3e9859346e57051d2aff.tar.bz2 dotty-91ccb52bda344d74ba7a3e9859346e57051d2aff.zip |
Support named type parameters
Changes needed to support simple named type parameters.
Not yet implemented: named arguments.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index df842a1ef..4726a16bb 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -553,7 +553,7 @@ class TypeApplications(val self: Type) extends AnyVal { else if (v < 0 && !(tparam is Local) && !(tparam is ExpandedTypeParam)) TypeBounds.lower(self) else */ - else TypeAlias(self, v) + TypeAlias(self, v) } /** The type arguments of this type's base type instance wrt. `base`. |