diff options
| author | Paul Phillips <paulp@improving.org> | 2012-01-19 11:22:48 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-01-19 11:22:48 -0800 |
| commit | a1b70c17d2c92e66de685985a435a895a79d7b4c (patch) | |
| tree | ff540f344aeb87a99d4fcabd787794f2c24d026e /src/compiler | |
| parent | 58cb15c40dc431e45eaa0a5278874d9996e42104 (diff) | |
| download | scala-a1b70c17d2c92e66de685985a435a895a79d7b4c.tar.gz scala-a1b70c17d2c92e66de685985a435a895a79d7b4c.tar.bz2 scala-a1b70c17d2c92e66de685985a435a895a79d7b4c.zip | |
Made edit distance case-insensitive.
As per suggestion from mharrah.
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/util/EditDistance.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/util/EditDistance.scala b/src/compiler/scala/tools/util/EditDistance.scala index 5067dce384..5f152ecabb 100644 --- a/src/compiler/scala/tools/util/EditDistance.scala +++ b/src/compiler/scala/tools/util/EditDistance.scala @@ -7,6 +7,8 @@ package scala.tools package util object EditDistance { + import java.lang.Character.{ toLowerCase => lower } + def similarString(name: String, allowed: TraversableOnce[String]): String = { val suggested = suggestions(name, allowed.toSeq, maxDistance = 1, maxSuggestions = 2) if (suggested.isEmpty) "" @@ -46,7 +48,7 @@ object EditDistance { var j = 1 while (j <= m) { val t_j = t(j - 1) - val cost = if (s_i == t_j) 0 else 1 + val cost = if (lower(s_i) == lower(t_j)) 0 else 1 val c1 = d(i - 1)(j) + 1 val c2 = d(i)(j - 1) + 1 |