[nongnu] elpa/idris-mode updated (67e06eccbd -> cc85f0e138)

[ELPA Syncer]

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

      from  67e06eccbd Merge pull request #565 from 
keram/words-of-encouragement-in-repl-banner
       new  a0a8196b7c Remove duplicate idris-show-source-location function
       new  3a819d46c6 Replace `save-excursion (beginning-of-line)..` with 
`(line-beginning-position)`
       new  c1ded381e7 Replace use of `cl-gensym` with Emacs internal `gensym`
       new  f2c3bbaeff Merge pull request #567 from keram/code-simplifications
       new  4a1d2d5d5b Simplify `idris-get-line-num` using `line-number-at-pos`
       new  17fb3e9929 Add fallback for Emacs version 26.1 and
       new  cc85f0e138 Merge pull request #566 from keram/idris-get-line-num


Summary of changes:
 idris-commands.el      | 32 +++++++++++++-------------------
 idris-common-utils.el  | 14 +++++++-------
 idris-compat.el        |  4 ++++
 idris-info.el          |  2 +-
 idris-prover.el        |  2 +-
 idris-warnings-tree.el |  9 +++------
 inferior-idris.el      |  4 ++--
 7 files changed, 31 insertions(+), 36 deletions(-)