elpasync pushed a change to branch elpa/idris-mode.
from b7c50dd60f Merge pull request #600 from keram/warning-overlay-jump
new dfce8b6631 Move `idris-run` from inferior-idris.el to
idris-commands.el
new 9f4d497e68 Do not try delete last window when deleting idris buffer
new 66daf810c7 Ensure restart of Idris connection takes into account
new cb71c82e13 Rename and unify `idris-pop-to-repl` and
`idris-switch-to-output-buffer` in favour of
new 6afe9a82b8 Merge pull request #602 from keram/impro-code
new 13c750d67f Return `user-error` instead of `error` from
`idris-thing-at-point`
new d48690a595 Move `idris-X-at-point` functions to
idris-common-utils.el
new ac9ebf0159 Ensure that idris connection is closed in
`idris-test-proof-search`
new cb61f21432 Add idris-file-name-concat function as backward
compatible
new 28758e0980 Ensure ibc file is deleted in
`idris-test-idris-type-at-point` test
new 306420713d Merge pull request #603 from keram/impro-code3
new c9b2a4bee6 Add Xref backend for Idris
new a060688b5c Merge pull request #604 from keram/idris-xref-v1
Summary of changes:
Makefile | 1 +
idris-commands.el | 89 ++++++-------
idris-common-utils.el | 45 ++++++-
idris-compat.el | 7 +
idris-keys.el | 2 +-
idris-mode.el | 6 +-
idris-repl.el | 18 ++-
idris-tests.el | 45 ++++---
idris-xref-test.el | 328 ++++++++++++++++++++++++++++++++++++++++++++++
idris-xref.el | 147 +++++++++++++++++++++
inferior-idris.el | 41 +-----
test-data/GenerateDef.idr | 2 +-
12 files changed, 611 insertions(+), 120 deletions(-)
create mode 100644 idris-xref-test.el
create mode 100644 idris-xref.el
