[nongnu] elpa/idris-mode updated (a47903d2e1 -> b7c50dd60f)

[ELPA Syncer]

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(-)