2014-01-30 21:24:08 +04:00
|
|
|
Tests are categorised as follows:
|
2011-12-22 02:06:26 +04:00
|
|
|
|
2014-01-30 21:24:08 +04:00
|
|
|
basic: Basic language features, some complete programs
|
|
|
|
|
dsl: Embedded DSLs and features to support DSL development
|
|
|
|
|
effects: Effects package
|
|
|
|
|
error: Error messages and error reflection
|
|
|
|
|
ffi: FFI calls, including type providers
|
2014-04-23 01:44:15 +04:00
|
|
|
idrisdoc: Documentation tool functionality
|
2014-01-30 21:24:08 +04:00
|
|
|
interactive: Interactive editing, proof search
|
|
|
|
|
io: IO monad
|
|
|
|
|
literate: .lidr files; literate programming
|
|
|
|
|
primitives: Primitive types
|
|
|
|
|
proof: Theorem proving, tactics
|
|
|
|
|
sugar: Syntactic sugar, syntax extensions
|
|
|
|
|
totality: Totality checking
|
2014-03-11 00:47:41 +04:00
|
|
|
tutorial: Examples from the tutorial
|
2013-07-11 21:17:11 +04:00
|
|
|
|
2014-01-30 21:24:08 +04:00
|
|
|
reg: Regression tests, covering previous bug fixes
|
