equal
deleted
inserted
replaced
92 case _ => |
92 case _ => |
93 Completion.Parse.read(line) match { |
93 Completion.Parse.read(line) match { |
94 case Some(word) => |
94 case Some(word) => |
95 words_lex.completions(word).map(words_map(_)) match { |
95 words_lex.completions(word).map(words_map(_)) match { |
96 case Nil => None |
96 case Nil => None |
97 case cs => Some(word, cs.sort(_ < _)) |
97 case cs => Some(word, cs.sortWith(_ < _)) |
98 } |
98 } |
99 case None => None |
99 case None => None |
100 } |
100 } |
101 } |
101 } |
102 } |
102 } |