elpasync pushed a change to branch elpa/idris-mode.
from da5c22f4362 Merge pull request #640 from
keram/fix-latest-compile-errors-08-2025
new c33c45aca2f Do not insert > prefix for lidr file in idris protocol
> 1
new 3a862252f13 Add tests for lidr files
new 18736f9cb9d Merge pull request #644 from
keram/lidr-add-clause-and-gen-def
new 5f660bd5969 Add lexical-binding:t to test files
new 986e1e9f488 Reduce flakey-ness of tests when user has enabled
logging
new 07c0b32d39a Simplify idris-test-error-buffer
new 2318bcdd38f Simplify
idris-test-ipkg-packages-with-underscores-and-dashes
new 8415d227bbb Ensure we can eval idris-commands-test buffer
individually in emacs
new 9961dfab106 Simplify idris-commands-tests
new e342530a18d Make sure running test idris-test-idris-start-project
does not change window configuration
new 06140ea504c Allow kill-buffer without having confirm unsaved
changes when running ert tests in emacs
new 74715b3ebe3 Rewrite idris-filename-to-load-test to better play with
lexical binding
new 5b2ba0a720f Merge pull request #642 from keram/improve-tests-sept-25
Summary of changes:
idris-commands.el | 33 +++++---
test/idris-commands-test.el | 198 +++++++++++++++++++++++++------------------
test/idris-info-test.el | 2 +-
test/idris-navigate-test.el | 2 +-
test/idris-repl-test.el | 2 +-
test/idris-test-utils.el | 2 +
test/idris-tests.el | 14 ++-
test/test-data/Literate.lidr | 10 +++
8 files changed, 158 insertions(+), 105 deletions(-)
create mode 100644 test/test-data/Literate.lidr
