mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-11-15 01:25:05 +03:00
17 lines
612 B
Plaintext
17 lines
612 B
Plaintext
Tests are categorised as follows:
|
|
|
|
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
|
|
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
|
|
|
|
reg: Regression tests, covering previous bug fixes
|