From a1b70c17d2c92e66de685985a435a895a79d7b4c Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Thu, 19 Jan 2012 11:22:48 -0800
Subject: Made edit distance case-insensitive.

As per suggestion from mharrah.
---
 src/compiler/scala/tools/util/EditDistance.scala | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/compiler')

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
-- 
cgit v1.2.3