[nongnu] elpa/idris-mode updated (e39bb892f8 -> 7a7a468000)

[ELPA Syncer]

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

      from  e39bb892f8 Merge pull request #611 from 
keram/issue-447-case-split-menu-key-bind
       new  ed88191c43 [ flymake ] Improvment to flycheck checkers.
       new  c5f42964bf [ flycheck ] patterns work, but issue is parsing the 
output.
       new  dcf41da3e2 [ flycheck ] removed tests that did not work properly.
       new  48988fc219 [ flycheck ] Use source-original in error patterns
       new  cab781537f Improve flycheck error patterns for Idris(2)
       new  1b5a537f0a [ flycheck ] Remove unused var 
`flycheck-idris2-executable`
       new  71d3a07f62 Fix warning flycheck error pattern for Idris 1
       new  7b6e3054ba Reduce clutter in Idris2 flycheck error message
       new  6272999465 [ flycheck ] Handle Idris2 reported "Uncought error"
       new  7a7a468000 Merge pull request #609 from 
keram/mla-jfdm-fix-flycheck-main


Summary of changes:
 Makefile                    |   7 +--
 flycheck-idris.el           | 101 ++++++++++++++++++++++++++++++++++++++++++++
 idris-mode.el               |  20 ---------
 test/test-data/Flycheck.idr |   8 ++++
 4 files changed, 113 insertions(+), 23 deletions(-)
 create mode 100644 flycheck-idris.el
 create mode 100644 test/test-data/Flycheck.idr