diff options
author | Martin Odersky <odersky@gmail.com> | 2013-11-23 17:41:22 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-11-23 17:41:22 +0100 |
commit | 92ed954f361ed08ef4821afd530357379956904a (patch) | |
tree | 0e4df5d262d79225a2cae19620d398c75d1a4c0e /src/dotty/tools/dotc/typer/Namer.scala | |
parent | 9e1bf7743355de040a23fbcfe9b1efb9b1db1789 (diff) | |
download | dotty-92ed954f361ed08ef4821afd530357379956904a.tar.gz dotty-92ed954f361ed08ef4821afd530357379956904a.tar.bz2 dotty-92ed954f361ed08ef4821afd530357379956904a.zip |
Cleanup of named type creation from SymDenotations.
New operations:
- typeRef
- termRef
- valRef (like termRef, but with NotAMethod signature)
- termRefWithSig (like termRef, but with denotation's signature)
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index c8cc7452c..4c3166bd9 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -337,8 +337,6 @@ class Namer { typer: Typer => sig match { case sig: TypeRef => sig - case sig: TypeRef => - TypeRef.withSym(sig.prefix, sig.symbol.asType) case sig: ClassInfo => sig.derivedClassInfo(sig.prefix, sig.classParents, TermRef.withSym(sig.prefix, sourceModule.asTerm)) case _ => @@ -423,7 +421,7 @@ class Namer { typer: Typer => if (isConstructor) { // set result type tree to unit, but set the current class as result type of the symbol typedAheadType(ddef.tpt, defn.UnitType) - wrapMethType(sym.owner.typeRef.appliedTo(typeParams map (_.symRef))) + wrapMethType(sym.owner.typeRef.appliedTo(typeParams map (_.typeRef))) } else valOrDefDefSig(ddef, sym, wrapMethType) } |