mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-21 02:07:25 +03:00
6d96341776
Rather than returning a complete list of results, return a pair of the first result, and a continuation. The continuation explains how to continue the search if the given result is deemed unacceptable (either on encountering an error somewhere, or just if the caller wants the next result). This means we don't search needlessly if we're only looking for the first result. Fixes #228 |
||
---|---|---|
.. | ||
chez | ||
ideMode | ||
idris2 | ||
node | ||
ttimp | ||
typedd-book | ||
Main.idr | ||
Makefile | ||
README.md | ||
tests.ipkg |
Tests
Note: The commands listed in this section should be run from the repository's root folder.
Run all tests: make test
To run only a subset of the tests use: make test only=NAME
. NAME
is matched against the path to each test case.
Examples:
make test only=chez
will run all Chez Scheme tests.make test only=ttimp/basic
will run all basic tests forTTImp
.make test only=idris2/basic001
will run a specific test.