I have contributed some of my external testing tools for Lightyear parsers.
They allow for testing successful and unsuccessful use of parsing, and
provision of pretty printing of passing and failing tests. Failing is
seen as either a parse failure or wrong result failure.
Using the added parsing tests, Lightyear's tests have been
internalised and rewritten as an Idris package test. This makes
compilation and reporting of tests easier.
I haven't added the tests to Lightyear itself, although that is
possible.
We have also asked Idris to use Lightyear directly. This means we
no longer have to install lightyear to test it.
I have contributed some of my external testing tools for Lightyear parsers. They allow for testing successful and unsuccessful use of parsing, and provision of pretty printing of passing and failing tests. Failing is seen as either a parse failure or wrong result failure.
Using the added parsing tests, Lightyear's tests have been internalised and rewritten as an Idris package test. This makes compilation and reporting of tests easier.
I haven't added the tests to Lightyear itself, although that is possible.
We have also asked Idris to use Lightyear directly. This means we no longer have to install lightyear to test it.