[nongnu] elpa/idris-mode updated (0cae4b8086 -> 4a36953e76)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  0cae4b8086 Merge pull request #575 from keram/idris1-highlight-fix
       new  d6ac9524f6 Simplify `idris-test-idris-type-search` by removing 
loading a file
       new  8a4ce46373 Delete AddClause.ibc between and after tests
       new  d0d609bff7 Include tests from idris-navigate.el in idris-tests.el
       new  ee551230ed Merge pull request #579 from keram/tests-impro
       new  71ab6a35e3 [semantic-highlight] Remove and rebuild overlays in file 
on reload  only in changed area
       new  7ebd8e721b Merge pull request #581 from keram/highlight-partial
       new  928f785bb7 Remove conditional for srcdir in `idris-load-file` used 
to switch work directory
       new  6fbd9cff31 Improve `idris-switch-working-directory` by
       new  4a36953e76 Merge pull request #580 from 
keram/load-file-switch-dir-idris2


Summary of changes:
 idris-commands.el        |  30 ++---
 idris-highlight-input.el |  53 +++++----
 idris-navigate.el        | 292 -----------------------------------------------
 idris-test-utils.el      |  67 ++++++++---
 idris-tests.el           | 276 ++++++++++++++++++++++++++++++++++++++++++--
 5 files changed, 368 insertions(+), 350 deletions(-)