idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-01 09:49:24 +03:00
Code Issues Projects Releases Wiki Activity
2c8f2483de
Idris2/tests
History
Edwin Brady 7f7b11ed54 Use transforms for fastPack/fastUnpack 
We've had these for a while, used for interface specialisation, but
they're not yet used anywhere else or properly documented. We should
document them soon, but for now, it's a useful performance boost to
always use the fast versions of pack/unpack/concat at runtime.

Also moves a couple to the prelude, to ensure that the fast versions are
defined in the same place as the 'normal' version so that the
transformation will always fire (that is, no need to import Data.String
for the transformation to work).
2021-04-29 23:17:29 +01:00
..
base Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
chez [ refactor ] Cleanup integral primops (#1211) 2021-04-28 09:32:46 +01:00
codegen Add case+lambda transformation 2021-04-29 13:44:13 +01:00
contrib/json_001 [ fix ] broken unicode parsing in JSON 2021-04-22 10:59:14 +01:00
gambit/bitops001 Add Data.Bits to base (#1033) 2021-03-04 20:59:56 +00:00
ideMode Identify prefix and postfix record projections (#1183) 2021-03-15 13:40:13 +00:00
idris2 Use transforms for fastPack/fastUnpack 2021-04-29 23:17:29 +01:00
node Flush standard out after writing prompt to it 2021-04-09 15:17:00 +01:00
prelude/reg001 Restore Bool operators precedence 2020-07-18 05:49:35 -07:00
racket Patch CVs and sleep in Racket (#1059) 2021-03-15 13:43:12 +00:00
refc [ new ] support record projections in refc backend (#1054) 2021-02-15 10:35:46 +00:00
templates fixed whitespace for *.idr,*.ipkg,*.tex,*.yaff, and *.lidr 2021-01-22 15:08:49 +00:00
ttimp Correct multiplicities when checking Pi binders 2021-03-09 17:23:05 +00:00
typedd-book Add Data.Bits to base (#1033) 2021-03-04 20:59:56 +00:00
Main.idr [ fix #633 ] Pattern-matching on functions is illegal 2021-04-28 20:25:45 +01:00
Makefile [ install ] Check if 'realpath' exists for Chez and Racket backends (#1210) 2021-04-06 15:42:04 +01:00
README.md Test templates (#585) 2020-11-27 15:40:02 +00:00
tests.ipkg Set PREFIX for tests 2021-04-19 11:23:58 +01:00

README.md

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 for TTImp.
  • make test only=idris2/basic001 will run a specific test.

Templates for common test instances can be found in the templates folder.