@@ -0,0 +1,38 @@
1+# Idris' Testing Suite
2+
3+Tests are categorised as follows:
4+
5++ *basic*: Basic language features, some complete programs
6++ *bignum*: Bignums and GMP
7++ *bounded*: Bounds testing for bits
8++ *corecords*: Tests for corecord
9++ *delab*: De-elaboration tests
10++ *directives*: Tests for directives
11++ *docs*: Testing documentation functionality
12++ *dsl*: Embedded DSLs and features to support DSL development
13++ *effects*: Effects package
14++ *error*: Error messages and error reflection
15++ *ffi*: FFI calls, including type providers
16++ *folding* Testing some folds
17++ *idrisdoc*: Documentation tool functionality
18++ *interactive*: Interactive editing, proof search
19++ *interfaces*: Testing interfaces.
20++ *io*: IO monad
21++ *literate*: `.lidr` files; literate programming
22++ *meta*: Meta-programming
23++ *pkg*: Packages
24++ *primitives*: Primitive types
25++ *proof*: Theorem proving, tactics
26++ *proofsearch*: Proof search
27++ *pruviloj*: Elaborator reflection
28++ *quasiquote*: Quasiquotations
29++ *records*: Records
30++ *reg*: Regression tests, covering previous bug fixes
31++ *sourceLocation*: Interaction with files from Idris
32++ *sugar*: Syntactic sugar, syntax extensions
33++ *tactics*: Testing for tactics
34++ *totality*: Totality checking
35++ *tutorial*: Examples from the tutorial
36++ *unique*: Uniqueness types
37++ *universes*: Universes
38++ *views*: Views and covering functions