2022-05-04 17:09:49 +02:00
|
|
|
package quox-tests
|
|
|
|
|
|
2023-03-31 23:43:25 +02:00
|
|
|
depends = base, contrib, elab-util, snocvect, quox-lib, tap, eff
|
2022-05-04 17:09:49 +02:00
|
|
|
|
|
|
|
|
executable = quox-tests
|
|
|
|
|
main = Tests
|
2023-01-26 19:54:46 +01:00
|
|
|
modules =
|
2023-05-02 03:06:25 +02:00
|
|
|
AstExtra,
|
2023-02-11 18:15:50 +01:00
|
|
|
TypingImpls,
|
2023-03-25 20:55:28 +01:00
|
|
|
PrettyExtra,
|
2023-09-16 13:34:11 +02:00
|
|
|
Tests.FreeVars,
|
2023-03-25 20:55:28 +01:00
|
|
|
Tests.DimEq,
|
2023-01-26 19:54:46 +01:00
|
|
|
Tests.Reduce,
|
2023-02-11 18:15:50 +01:00
|
|
|
Tests.Equal,
|
2023-03-04 21:02:51 +01:00
|
|
|
Tests.Typechecker,
|
2023-03-16 18:19:17 +01:00
|
|
|
Tests.PrettyTerm,
|
2023-03-04 21:02:51 +01:00
|
|
|
Tests.Lexer,
|
2023-03-16 18:19:17 +01:00
|
|
|
Tests.Parser,
|
|
|
|
|
Tests.FromPTerm
|
