search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267 stars 70 forks source link

Remove idris-tests2.el in favour of using idris-tests.el #571

Closed keram closed 1 year ago

keram commented 1 year ago

The only difference in these files was that idris-test-proof-search is failing under Idris2.

This difference can be expressed in ert using :expected-result. https://www.gnu.org/software/emacs/manual/html_node/ert/Expected-Failures.html