[nongnu] elpa/idris-mode updated (f69b32d689 -> bb26a21566)

[ELPA Syncer]

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

      from  f69b32d689 Merge pull request #608 from keram/code-impro4
       new  f2cd31d1c5 Move test files to test/ directory
       new  eb4b1fb530 Add extra iterations for processing in tests and
       new  19aa3d7b02 Rewrite test idris-test-idris-type-at-point to use stubs
       new  f5bf588ef3 Merge pull request #606 from keram/test-restruct-draft
       new  c3e11a8117 Fix small bug in idris-xref jump to column and
       new  bb26a21566 Merge pull request #607 from keram/impro-xref-integration


Summary of changes:
 .github/workflows/idris2.yml                       |   1 -
 Makefile                                           |  25 +-
 idris-tests.el                                     | 581 ---------------------
 idris-tests3.el                                    |  42 --
 idris-xref.el                                      |   4 +-
 test/idris-commands-test.el                        | 295 +++++++++++
 test/idris-navigate-test.el                        | 265 ++++++++++
 idris-test-utils.el => test/idris-test-utils.el    |  18 +-
 test/idris-tests.el                                | 142 +++++
 idris-xref-test.el => test/idris-xref-test.el      | 262 +++++-----
 {test-data => test/test-data}/AddClause.idr        |   0
 {test-data => test/test-data}/AddMissing.idr       |   0
 {test-data => test/test-data}/CaseSplit.idr        |   0
 test/test-data/Empty.idr                           |   0
 {test-data => test/test-data}/GenerateDef.idr      |   0
 {test-data => test/test-data}/MakeLemma.idr        |   0
 {test-data => test/test-data}/MakeWithBlock.idr    |   0
 {test-data => test/test-data}/MetavarTest.idr      |   0
 {test-data => test/test-data}/ProofSearch.idr      |   0
 {test-data => test/test-data}/Refine.idr           |   0
 {test-data => test/test-data}/TypeAtPoint.idr      |   0
 {test-data => test/test-data}/TypeError.idr        |   0
 .../test-data}/cmdline/commandlinetest.ipkg        |   0
 .../test-data}/cmdline/src/Command/Line/Test.idr   |   0
 .../test-data}/package-test/Packaging.idr          |   0
 .../test-data}/package-test/test.ipkg              |   0
 26 files changed, 843 insertions(+), 792 deletions(-)
 delete mode 100644 idris-tests.el
 delete mode 100644 idris-tests3.el
 create mode 100644 test/idris-commands-test.el
 create mode 100644 test/idris-navigate-test.el
 rename idris-test-utils.el => test/idris-test-utils.el (91%)
 create mode 100644 test/idris-tests.el
 rename idris-xref-test.el => test/idris-xref-test.el (52%)
 rename {test-data => test/test-data}/AddClause.idr (100%)
 rename {test-data => test/test-data}/AddMissing.idr (100%)
 rename {test-data => test/test-data}/CaseSplit.idr (100%)
 create mode 100644 test/test-data/Empty.idr
 rename {test-data => test/test-data}/GenerateDef.idr (100%)
 rename {test-data => test/test-data}/MakeLemma.idr (100%)
 rename {test-data => test/test-data}/MakeWithBlock.idr (100%)
 rename {test-data => test/test-data}/MetavarTest.idr (100%)
 rename {test-data => test/test-data}/ProofSearch.idr (100%)
 rename {test-data => test/test-data}/Refine.idr (100%)
 rename {test-data => test/test-data}/TypeAtPoint.idr (100%)
 rename {test-data => test/test-data}/TypeError.idr (100%)
 rename {test-data => test/test-data}/cmdline/commandlinetest.ipkg (100%)
 rename {test-data => test/test-data}/cmdline/src/Command/Line/Test.idr (100%)
 rename {test-data => test/test-data}/package-test/Packaging.idr (100%)
 rename {test-data => test/test-data}/package-test/test.ipkg (100%)