rename/refactor symbol?

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

269 stars 71 forks source link

rename/refactor symbol? #481

Open doofin opened 6 years ago

doofin commented 6 years ago

Sorry if i miss some parts of the readme,but i can not found how to do rename/refactor

jsoo1 commented 5 years ago

I do not think this is currently supported. Most of the semantic information we get comes from the compiler. This would certainly be nice to have in the future.

david-christiansen commented 5 years ago

It could be done pretty easily in the scope of a single file, by finding names with the appropriate overlay property/highlighting, but that kind of misses the point of this kind of feature, which is that it works on a project scope. But the feature really belongs in the compiler, not the editor.

jsoo1 commented 5 years ago

True. I suppose we keep an eye on this feature in the future.