Make the maximum edit distance of typo suggestions a function of the typo'd name's length.
This commit is contained in:
parent
ae74652b4a
commit
93d01eb443
4 changed files with 35 additions and 14 deletions
|
@ -3206,14 +3206,11 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
|
||||||
NoSuggestion
|
NoSuggestion
|
||||||
}
|
}
|
||||||
|
|
||||||
fn find_best_match_for_name(&mut self, name: &str, max_distance: usize)
|
fn find_best_match_for_name(&mut self, name: &str) -> Option<String> {
|
||||||
-> Option<String> {
|
|
||||||
let this = &mut *self;
|
|
||||||
|
|
||||||
let mut maybes: Vec<token::InternedString> = Vec::new();
|
let mut maybes: Vec<token::InternedString> = Vec::new();
|
||||||
let mut values: Vec<usize> = Vec::new();
|
let mut values: Vec<usize> = Vec::new();
|
||||||
|
|
||||||
for rib in this.value_ribs.iter().rev() {
|
for rib in self.value_ribs.iter().rev() {
|
||||||
for (&k, _) in &rib.bindings {
|
for (&k, _) in &rib.bindings {
|
||||||
maybes.push(token::get_name(k));
|
maybes.push(token::get_name(k));
|
||||||
values.push(usize::MAX);
|
values.push(usize::MAX);
|
||||||
|
@ -3229,9 +3226,12 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// As a loose rule to avoid obviously incorrect suggestions, clamp the
|
||||||
|
// maximum edit distance we will accept for a suggestion to one third of
|
||||||
|
// the typo'd name's length.
|
||||||
|
let max_distance = std::cmp::max(name.len(), 3) / 3;
|
||||||
|
|
||||||
if !values.is_empty() &&
|
if !values.is_empty() &&
|
||||||
values[smallest] != usize::MAX &&
|
|
||||||
values[smallest] < name.len() + 2 &&
|
|
||||||
values[smallest] <= max_distance &&
|
values[smallest] <= max_distance &&
|
||||||
name != &maybes[smallest][..] {
|
name != &maybes[smallest][..] {
|
||||||
|
|
||||||
|
@ -3357,7 +3357,7 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
|
||||||
NoSuggestion => {
|
NoSuggestion => {
|
||||||
// limit search to 5 to reduce the number
|
// limit search to 5 to reduce the number
|
||||||
// of stupid suggestions
|
// of stupid suggestions
|
||||||
self.find_best_match_for_name(&path_name, 5)
|
self.find_best_match_for_name(&path_name)
|
||||||
.map_or("".to_string(),
|
.map_or("".to_string(),
|
||||||
|x| format!("`{}`", x))
|
|x| format!("`{}`", x))
|
||||||
}
|
}
|
||||||
|
|
|
@ -8,8 +8,8 @@
|
||||||
// option. This file may not be copied, modified, or distributed
|
// option. This file may not be copied, modified, or distributed
|
||||||
// except according to those terms.
|
// except according to those terms.
|
||||||
|
|
||||||
// error-pattern: unresolved name `m1::a`. Did you mean `args`?
|
// error-pattern: unresolved name `m1::arguments`. Did you mean `arguments`?
|
||||||
|
|
||||||
mod m1 {}
|
mod m1 {}
|
||||||
|
|
||||||
fn main(args: Vec<String>) { log(debug, m1::a); }
|
fn main(arguments: Vec<String>) { log(debug, m1::arguments); }
|
||||||
|
|
|
@ -8,12 +8,12 @@
|
||||||
// option. This file may not be copied, modified, or distributed
|
// option. This file may not be copied, modified, or distributed
|
||||||
// except according to those terms.
|
// except according to those terms.
|
||||||
|
|
||||||
// error-pattern: unresolved name `m1::a`. Did you mean `args`?
|
// error-pattern: unresolved name `m1::arguments`. Did you mean `arguments`?
|
||||||
|
|
||||||
mod m1 {
|
mod m1 {
|
||||||
pub mod a {}
|
pub mod arguments {}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn main(args: Vec<String>) {
|
fn main(arguments: Vec<String>) {
|
||||||
log(debug, m1::a);
|
log(debug, m1::arguments);
|
||||||
}
|
}
|
||||||
|
|
21
src/test/compile-fail/typo-suggestion.rs
Normal file
21
src/test/compile-fail/typo-suggestion.rs
Normal file
|
@ -0,0 +1,21 @@
|
||||||
|
// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
|
||||||
|
// file at the top-level directory of this distribution and at
|
||||||
|
// http://rust-lang.org/COPYRIGHT.
|
||||||
|
//
|
||||||
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||||||
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||||||
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||||||
|
// option. This file may not be copied, modified, or distributed
|
||||||
|
// except according to those terms.
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
let foo = 1;
|
||||||
|
|
||||||
|
// `foo` shouldn't be suggested, it is too dissimilar from `bar`.
|
||||||
|
println!("Hello {}", bar);
|
||||||
|
//~^ ERROR: unresolved name `bar`
|
||||||
|
|
||||||
|
// But this is close enough.
|
||||||
|
println!("Hello {}", fob);
|
||||||
|
//~^ ERROR: unresolved name `fob`. Did you mean `foo`?
|
||||||
|
}
|
Loading…
Add table
Add a link
Reference in a new issue