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

Improve name reference commands #397

Closed david-christiansen closed 9 years ago

david-christiansen commented 9 years ago

This improves the display of caller and callee trees as well as namespace browse trees. It also takes overlay properties into account when computing the annotation-derived precise name at point, which makes it work in source code as well as output.