@@ -8,6 +8,7 @@ Tests are categorised as follows:
8+ *corecords*: Tests for corecord
8+ *corecords*: Tests for corecord
9+ *delab*: De-elaboration tests
9+ *delab*: De-elaboration tests
10+ *directives*: Tests for directives
10+ *directives*: Tests for directives
11++ *disambig*: Disambiguaton tests
11+ *docs*: Testing documentation functionality
12+ *docs*: Testing documentation functionality
12+ *dsl*: Embedded DSLs and features to support DSL development
13+ *dsl*: Embedded DSLs and features to support DSL development
13+ *effects*: Effects package
14+ *effects*: Effects package
@@ -31,6 +32,7 @@ Tests are categorised as follows:
31+ *regression*: Regression tests, covering previous bug fixes
32+ *regression*: Regression tests, covering previous bug fixes
32+ *sourceLocation*: Interaction with files from Idris
33+ *sourceLocation*: Interaction with files from Idris
33+ *sugar*: Syntactic sugar, syntax extensions
34+ *sugar*: Syntactic sugar, syntax extensions
35++ *syntax*: Syntax extensions
34+ *tactics*: Testing for tactics
36+ *tactics*: Testing for tactics
35+ *totality*: Totality checking
37+ *totality*: Totality checking
36+ *tutorial*: Examples from the tutorial
38+ *tutorial*: Examples from the tutorial