From 3b2c0466a612fa2d4a79bd4e200aaf0e3576109c Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 13 Apr 2010 19:46:21 +0000 Subject: Removed trace output after having verified that... Removed trace output after having verified that skolems are correctly identified now. Now review. --- src/compiler/scala/tools/nsc/symtab/Types.scala | 3 +-- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3