[nongnu] elpa/idris-mode updated (9bc7697406 -> 8933ab84f9)

[ELPA Syncer]

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

      from  9bc7697406 Merge pull request #553 from 
idris-hackers/refactor-membership
       new  bd80521236 Fix tests compile errors due to doc strings being longer 
than 80 chars.
       new  740cae73c7 Merge pull request #555 from keram/docs-strings-make-test
       new  b6a5b2ec60 Kill Idris buffer and it's window if it was the only
       new  8933ab84f9 Merge pull request #556 from keram/kill-buf-and-win-main


Summary of changes:
 idris-commands.el        | 36 ++++++++++++++++++++++--------------
 idris-common-utils.el    | 10 +++++++---
 idris-highlight-input.el |  8 +++++---
 idris-ipkg-mode.el       |  3 ++-
 idris-prover.el          |  2 +-
 idris-repl.el            |  6 ++++--
 idris-simple-indent.el   |  3 ++-
 idris-syntax.el          |  5 +++--
 idris-warnings-tree.el   |  3 ++-
 idris-warnings.el        |  7 ++++---
 inferior-idris.el        | 14 +++++++-------
 11 files changed, 59 insertions(+), 38 deletions(-)