[nongnu] elpa/idris-mode updated (c96f45d1b8 -> 37c6b81990)

[ELPA Syncer]

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

      from  c96f45d1b8 Merge pull request #616 from keram/changelog-update
       new  8f62ba82c0 Remove unused and nonprefixed helper function 
`find-common-prefix`
       new  a7f0af7f60 Merge pull request #619 from keram/remove-unused
       new  9866d6b299 Fix failing test due to new version of Xref
       new  5ef8c1ce81 Ensure that argument passed to 
`idris-repl-insert-result` is a string
       new  e9ddf46ee8 Fix unresponsive idris-repl when loading file with 
warnings
       new  d276aa23a3 Fix byte-compile warning
       new  37c6b81990 Merge pull request #621 from keram/issue-620


Summary of changes:
 idris-common-utils.el    |  2 +-
 idris-highlight-input.el |  4 ++--
 idris-repl.el            | 33 ++++++++++++++++++---------------
 idris-settings.el        |  2 +-
 test/idris-repl-test.el  | 31 +++++++++++++++++++++++++++++++
 test/idris-xref-test.el  |  3 ++-
 6 files changed, 55 insertions(+), 20 deletions(-)