diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-04 10:51:07 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-04-11 14:22:05 +0200 |
commit | 037eb2bf6d227bb67855d2b68e5bec496db57c96 (patch) | |
tree | f0c4c503f38bb697098619f5c3d10a6ed9c33ab0 /src/dotty/tools/dotc/core | |
parent | 94716b9780c3bd3770bba43aee06e46b00375904 (diff) | |
download | dotty-037eb2bf6d227bb67855d2b68e5bec496db57c96.tar.gz dotty-037eb2bf6d227bb67855d2b68e5bec496db57c96.tar.bz2 dotty-037eb2bf6d227bb67855d2b68e5bec496db57c96.zip |
Allow closures to take type parameters.
This shouldn't require any changes to backend,
as all type parameters will be erased in erasure
Conflicts:
src/dotty/tools/dotc/core/Symbols.scala
Diffstat (limited to 'src/dotty/tools/dotc/core')
-rw-r--r-- | src/dotty/tools/dotc/core/Symbols.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Symbols.scala b/src/dotty/tools/dotc/core/Symbols.scala index 8f66830e8..26553ddff 100644 --- a/src/dotty/tools/dotc/core/Symbols.scala +++ b/src/dotty/tools/dotc/core/Symbols.scala @@ -245,7 +245,7 @@ trait Symbols { this: Context => for (name <- names) { val tparam = newNakedSymbol[TypeName](NoCoord) tparamBuf += tparam - trefBuf += TypeRef(owner.thisType, name).withSym(tparam, Signature.NotAMethod) + trefBuf += TypeRef.withSymAndName(owner.thisType, tparam, name) } val tparams = tparamBuf.toList val bounds = boundsFn(trefBuf.toList) @@ -319,7 +319,7 @@ object Symbols { type ThisName <: Name private[this] var _id: Int = nextId - //assert(_id != 12325) + //assert(_id != 5859) /** The unique id of this symbol */ def id = _id |