diff options
author | Martin Odersky <odersky@gmail.com> | 2009-05-26 19:00:36 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-05-26 19:00:36 +0000 |
commit | 9e6db195407d5c225b778180abbc4693c0811f55 (patch) | |
tree | 1859bc5797f0743fbf7037e2770d10d6a676e59f /src/compiler/scala/tools/nsc/typechecker/Implicits.scala | |
parent | 7702b798955247752bf1c0108cef02d4f81a030e (diff) | |
download | scala-9e6db195407d5c225b778180abbc4693c0811f55.tar.gz scala-9e6db195407d5c225b778180abbc4693c0811f55.tar.bz2 scala-9e6db195407d5c225b778180abbc4693c0811f55.zip |
removed deprecated files; more changes to repl.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Implicits.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala index 43f6d54be0..3e86181b73 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -28,7 +28,7 @@ self: Analyzer => import definitions._ import posAssigner.atPos - final val traceImplicits = true + final val traceImplicits = false var implicitTime = 0L var inscopeSucceed = 0L @@ -55,7 +55,6 @@ self: Analyzer => * @return A search result */ def inferImplicit(tree: Tree, pt0: Type, reportAmbiguous: Boolean, context: Context): SearchResult = { - println("infer impl "+pt0) if (traceImplicits && !tree.isEmpty && !context.undetparams.isEmpty) println("typing implicit with undetermined type params: "+context.undetparams+"\n"+tree) val search = new ImplicitSearch(tree, pt0, context.makeImplicit(reportAmbiguous)) @@ -303,7 +302,7 @@ self: Analyzer => */ val wildPt = approximate(pt) - if (traceImplicits) println("typed impl for "+wildPt+"? "+info.name+":"+info.tpe+"/"+undetParams) + //if (traceImplicits) println("typed impl for "+wildPt+"? "+info.name+":"+info.tpe+"/"+undetParams) if (isPlausiblyCompatible(info.tpe, wildPt) && isCompatible(depoly(info.tpe), wildPt) && isStable(info.pre)) { @@ -312,7 +311,7 @@ self: Analyzer => if (info.pre == NoPrefix) Ident(info.name) else Select(gen.mkAttributedQualifier(info.pre), info.name) } - if (traceImplicits) println("typed impl?? "+info.name+":"+info.tpe+" ==> "+itree+" with "+wildPt) + //if (traceImplicits) println("typed impl?? "+info.name+":"+info.tpe+" ==> "+itree+" with "+wildPt) def fail(reason: String): SearchResult = { if (settings.XlogImplicits.value) inform(itree+" is not a valid implicit value for "+pt0+" because:\n"+reason) |