diff options
author | Paul Phillips <paulp@improving.org> | 2012-09-28 07:51:35 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-09-28 07:57:22 -0700 |
commit | 6476eb374019713e3fd55b9affa8ed6d7362a884 (patch) | |
tree | 8c1e6a2ebb8ae92dfa81c1d28e4ae899a83118f1 /src/compiler/scala/tools/nsc/typechecker/Implicits.scala | |
parent | 41f37bc428a309b9766f545da0179f270ea01d77 (diff) | |
download | scala-6476eb374019713e3fd55b9affa8ed6d7362a884.tar.gz scala-6476eb374019713e3fd55b9affa8ed6d7362a884.tar.bz2 scala-6476eb374019713e3fd55b9affa8ed6d7362a884.zip |
Purged DebruijnIndex.
Apparently everyone agrees it's not used anymore.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Implicits.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala index 7852ff49e1..8bf2768e0a 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -132,7 +132,7 @@ trait Implicits { } /* Map a polytype to one in which all type parameters and argument-dependent types are replaced by wildcards. - * Consider `implicit def b(implicit x: A): x.T = error("")`. We need to approximate DebruijnIndex types + * Consider `implicit def b(implicit x: A): x.T = error("")`. We need to approximate debruijn index types * when checking whether `b` is a valid implicit, as we haven't even searched a value for the implicit arg `x`, * so we have to approximate (otherwise it is excluded a priori). */ |