diff options
author | Martin Odersky <odersky@gmail.com> | 2006-07-28 11:12:16 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-07-28 11:12:16 +0000 |
commit | 261ff3d0abea28091ce951613f440ccaabdfb7b5 (patch) | |
tree | 7fe20dd86c68f011cb3d98851def632ea0cd9db1 /src/compiler/scala/tools/nsc/ast/TreeGen.scala | |
parent | a3be6043783a91e1035847207831eb1305da78bb (diff) | |
download | scala-261ff3d0abea28091ce951613f440ccaabdfb7b5.tar.gz scala-261ff3d0abea28091ce951613f440ccaabdfb7b5.tar.bz2 scala-261ff3d0abea28091ce951613f440ccaabdfb7b5.zip |
changled handling of gadts
Diffstat (limited to 'src/compiler/scala/tools/nsc/ast/TreeGen.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/ast/TreeGen.scala | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/src/compiler/scala/tools/nsc/ast/TreeGen.scala b/src/compiler/scala/tools/nsc/ast/TreeGen.scala index 2f0aa072dc..4ec47829e2 100644 --- a/src/compiler/scala/tools/nsc/ast/TreeGen.scala +++ b/src/compiler/scala/tools/nsc/ast/TreeGen.scala @@ -26,16 +26,12 @@ abstract class TreeGen { if (clazz.isRoot || clazz.isEmptyPackageClass) EmptyTree else mkAttributedThis(clazz) case SingleType(pre, sym) => - if (sym.isThisSkolem) { - mkAttributedQualifier(ThisType(sym.deSkolemize)) - } else { - val qual = mkAttributedStableRef(pre, sym) - qual.tpe match { - case MethodType(List(), restpe) => - Apply(qual, List()) setType restpe - case _ => - qual - } + val qual = mkAttributedStableRef(pre, sym) + qual.tpe match { + case MethodType(List(), restpe) => + Apply(qual, List()) setType restpe + case _ => + qual } case TypeRef(pre, sym, args) => assert(phase.erasedTypes) |