elpasync pushed a change to branch elpa/idris-mode.
from a47903d2e1 Merge pull request #599 from
keram/idris-type-at-point-with-process
new 0379683173 Simplify `idris-warning-overlay` by
new 24ce417b69 Preserve point position after adding warning overlay
new b7c50dd60f Merge pull request #600 from keram/warning-overlay-jump
Summary of changes:
idris-tests.el | 30 ++++++++++++++++++++++++++++++
idris-warnings.el | 45 +++++++++++++++++++--------------------------
2 files changed, 49 insertions(+), 26 deletions(-)
