[nongnu] elpa/idris-mode updated (fdbd019cb2 -> d08fd3ec78)

[ELPA Syncer]

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

      from  fdbd019cb2 Merge pull request #573 from 
keram/backport-idris2-compile-and-execute
       new  e8109f9ac0 Remove Idris event logging from `make test3`
       new  5d0c82679a Remove unused `idris-hole-list-buffer-visible-p`
       new  2c1329b086 Use `idris-notes-buffer-name` in idris-commands.el
       new  391963a94c Use `idris-repl-buffer-name` instead of 
`(idris-buffer-name :repl)`
       new  b35ac9740e Use `idris-process-buffer-name` instead of 
`(idris-buffer-name :process)`
       new  fbe5e363c4 Use `idris-connection-buffer-name` instead of 
`(idris-buffer-name :connection)`
       new  195b432903 Merge pull request #574 from keram/minor-internal-impro
       new  17d9b1593f Make hole-list buffer derived from special-mode
       new  38f2839b58 Use `let ((buffer-read-only nil)` instead of `setq ..`
       new  0093e0b42c Merge pull request #576 from keram/hole-list
       new  1382948269 Consider - as operator in idris-thing-at-point
       new  e31fe83a40 Remove generated clause from `AddClause.idr` to
       new  f3a032c194 Add test for `idris-add-clause`
       new  d08fd3ec78 Merge pull request #569 from keram/idris2-mode-issues-16


Summary of changes:
 Makefile                |  2 --
 idris-commands.el       | 22 ++++++++++++----------
 idris-hole-list.el      | 50 ++++++++++++++++++++++++-------------------------
 idris-repl.el           |  2 +-
 idris-tests.el          | 24 +++++++++++++++++++++++-
 inferior-idris.el       | 16 +++++++++++-----
 test-data/AddClause.idr |  6 ++++--
 7 files changed, 75 insertions(+), 47 deletions(-)