diff options
| author | Martin Odersky <odersky@gmail.com> | 2010-04-13 19:46:21 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2010-04-13 19:46:21 +0000 |
| commit | 3b2c0466a612fa2d4a79bd4e200aaf0e3576109c (patch) | |
| tree | a729232a3de5a53082ce37b22f0e5fc1fc6b71e8 /src/compiler | |
| parent | 382dd00508882f15ffd086588903380d7980b35c (diff) | |
| download | scala-3b2c0466a612fa2d4a79bd4e200aaf0e3576109c.tar.gz scala-3b2c0466a612fa2d4a79bd4e200aaf0e3576109c.tar.bz2 scala-3b2c0466a612fa2d4a79bd4e200aaf0e3576109c.zip | |
Removed trace output after having verified that...
Removed trace output after having verified that skolems are correctly
identified now. Now review.
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index 194f20f2b5..863ad7bec4 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -3807,12 +3807,11 @@ A type's typeSymbol should never be inspected directly. */ private def isSameSpecializedSkolem(sym1: Symbol, sym2: Symbol, pre1: Type, pre2: Type) = { sym1.isExistentialSkolem && sym2.isExistentialSkolem && - util.trace("is same specialized skolem "+sym1+" "+sym2+" at "+phase+phase.specialized+" ?") { sym1.name == sym2.name && phase.specialized && sym1.info =:= sym2.info && pre1 =:= pre2 - }} + } private def equalSymsAndPrefixes(sym1: Symbol, pre1: Type, sym2: Symbol, pre2: Type): Boolean = if (sym1 == sym2) sym1.hasFlag(PACKAGE) || phase.erasedTypes || pre1 =:= pre2 |