2020-05-19 20:25:18 +03:00
|
|
|
module Main
|
|
|
|
|
2021-03-09 21:27:05 +03:00
|
|
|
import Test.Golden
|
2020-10-19 11:26:23 +03:00
|
|
|
|
2020-05-19 20:25:18 +03:00
|
|
|
%default covering
|
|
|
|
|
|
|
|
------------------------------------------------------------------------
|
|
|
|
-- Test cases
|
|
|
|
|
2020-10-19 11:26:23 +03:00
|
|
|
ttimpTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
ttimpTests = MkTestPool "TTImp" []
|
2021-02-05 19:16:20 +03:00
|
|
|
[ "basic001", "basic002", "basic003", "basic004", "basic005"
|
|
|
|
, "basic006"
|
|
|
|
, "coverage001", "coverage002"
|
|
|
|
, "dot001"
|
|
|
|
, "eta001", "eta002"
|
|
|
|
, "lazy001"
|
|
|
|
, "nest001", "nest002"
|
|
|
|
, "perf001", "perf002", "perf003"
|
|
|
|
, "record001", "record002", "record003"
|
|
|
|
, "qtt001", "qtt003"
|
|
|
|
, "total001", "total002", "total003"
|
|
|
|
]
|
2020-05-19 20:25:18 +03:00
|
|
|
|
2020-12-08 01:51:33 +03:00
|
|
|
idrisTestsBasic : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsBasic = MkTestPool "Fundamental language features" []
|
2020-10-19 11:26:23 +03:00
|
|
|
-- Fundamental language features
|
2020-05-19 20:25:18 +03:00
|
|
|
["basic001", "basic002", "basic003", "basic004", "basic005",
|
|
|
|
"basic006", "basic007", "basic008", "basic009", "basic010",
|
|
|
|
"basic011", "basic012", "basic013", "basic014", "basic015",
|
|
|
|
"basic016", "basic017", "basic018", "basic019", "basic020",
|
|
|
|
"basic021", "basic022", "basic023", "basic024", "basic025",
|
|
|
|
"basic026", "basic027", "basic028", "basic029", "basic030",
|
|
|
|
"basic031", "basic032", "basic033", "basic034", "basic035",
|
|
|
|
"basic036", "basic037", "basic038", "basic039", "basic040",
|
2020-08-27 20:09:39 +03:00
|
|
|
"basic041", "basic042", "basic043", "basic044", "basic045",
|
2020-12-07 14:34:48 +03:00
|
|
|
"basic046", "basic047", "basic048", "basic049", "basic050",
|
2021-03-16 17:08:50 +03:00
|
|
|
"basic051", "basic052", "basic053", "basic054", "basic055",
|
2021-05-20 14:56:25 +03:00
|
|
|
"basic056", "basic057", "basic058", "basic059", "basic060"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
|
|
|
idrisTestsCoverage : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsCoverage = MkTestPool "Coverage checking" []
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Coverage checking
|
2020-12-08 01:51:33 +03:00
|
|
|
["coverage001", "coverage002", "coverage003", "coverage004",
|
2020-05-24 14:52:07 +03:00
|
|
|
"coverage005", "coverage006", "coverage007", "coverage008",
|
2021-02-23 13:51:38 +03:00
|
|
|
"coverage009", "coverage010", "coverage011", "coverage012",
|
2021-05-17 19:34:56 +03:00
|
|
|
"coverage013", "coverage014", "coverage015", "coverage016",
|
|
|
|
"coverage017"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
2021-02-26 12:33:07 +03:00
|
|
|
idrisTestsCasetree : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsCasetree = MkTestPool "Case tree building" []
|
2021-02-26 12:33:07 +03:00
|
|
|
-- Case tree building
|
|
|
|
["casetree001"]
|
|
|
|
|
2021-05-14 19:35:21 +03:00
|
|
|
idrisTestsWarning : TestPool
|
|
|
|
idrisTestsWarning = MkTestPool "Warnings" []
|
|
|
|
["warning001"]
|
|
|
|
|
2020-12-08 01:51:33 +03:00
|
|
|
idrisTestsError : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsError = MkTestPool "Error messages" []
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Error messages
|
2020-12-08 01:51:33 +03:00
|
|
|
["error001", "error002", "error003", "error004", "error005",
|
2020-05-19 20:25:18 +03:00
|
|
|
"error006", "error007", "error008", "error009", "error010",
|
2021-02-25 11:51:27 +03:00
|
|
|
"error011", "error012", "error013", "error014", "error015",
|
2021-05-27 11:23:20 +03:00
|
|
|
"error016", "error017", "error018", "error019",
|
2020-12-08 01:51:33 +03:00
|
|
|
-- Parse errors
|
|
|
|
"perror001", "perror002", "perror003", "perror004", "perror005",
|
2021-03-22 16:22:52 +03:00
|
|
|
"perror006", "perror007", "perror008"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
|
|
|
idrisTestsInteractive : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsInteractive = MkTestPool "Interactive editing" []
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Interactive editing support
|
2020-12-08 01:51:33 +03:00
|
|
|
["interactive001", "interactive002", "interactive003", "interactive004",
|
2020-05-19 20:25:18 +03:00
|
|
|
"interactive005", "interactive006", "interactive007", "interactive008",
|
|
|
|
"interactive009", "interactive010", "interactive011", "interactive012",
|
2020-08-04 14:51:57 +03:00
|
|
|
"interactive013", "interactive014", "interactive015", "interactive016",
|
2021-02-05 19:15:40 +03:00
|
|
|
"interactive017", "interactive018", "interactive019", "interactive020",
|
|
|
|
"interactive021", "interactive022", "interactive023", "interactive024",
|
2021-03-17 13:54:25 +03:00
|
|
|
"interactive025", "interactive026", "interactive027", "interactive028",
|
2021-05-25 22:53:12 +03:00
|
|
|
"interactive029", "interactive030", "interactive031"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
|
|
|
idrisTestsInterface : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsInterface = MkTestPool "Interface" []
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Interfaces
|
2020-12-08 01:51:33 +03:00
|
|
|
["interface001", "interface002", "interface003", "interface004",
|
2020-05-19 20:25:18 +03:00
|
|
|
"interface005", "interface006", "interface007", "interface008",
|
|
|
|
"interface009", "interface010", "interface011", "interface012",
|
2020-06-11 16:28:34 +03:00
|
|
|
"interface013", "interface014", "interface015", "interface016",
|
2020-12-14 16:38:40 +03:00
|
|
|
"interface017", "interface018", "interface019", "interface020",
|
2021-03-09 17:13:29 +03:00
|
|
|
"interface021", "interface022", "interface023", "interface024",
|
|
|
|
"interface025"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
|
|
|
idrisTestsLinear : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsLinear = MkTestPool "Quantities" []
|
2020-12-08 01:51:33 +03:00
|
|
|
-- QTT and linearity related
|
|
|
|
["linear001", "linear002", "linear003", -- "linear004" -- disabled due to requiring linearity subtyping
|
|
|
|
"linear005", "linear006", "linear007", "linear008",
|
2021-02-24 14:07:16 +03:00
|
|
|
"linear009", "linear010", "linear011", "linear012",
|
2021-05-20 21:53:41 +03:00
|
|
|
"linear013", "linear014"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
|
|
|
idrisTestsLiterate : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsLiterate = MkTestPool "Literate programming" []
|
2020-12-08 01:51:33 +03:00
|
|
|
-- Literate
|
|
|
|
["literate001", "literate002", "literate003", "literate004",
|
|
|
|
"literate005", "literate006", "literate007", "literate008",
|
|
|
|
"literate009", "literate010", "literate011", "literate012",
|
|
|
|
"literate013", "literate014", "literate015", "literate016"]
|
|
|
|
|
|
|
|
idrisTestsPerformance : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsPerformance = MkTestPool "Performance" []
|
2020-12-08 01:51:33 +03:00
|
|
|
-- Performance: things which have been slow in the past, or which
|
|
|
|
-- pose interesting challenges for the elaborator
|
2021-05-26 17:48:09 +03:00
|
|
|
["perf001", "perf002", "perf003", "perf004", "perf005", "perf006",
|
|
|
|
"perf007"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
|
|
|
idrisTestsRegression : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsRegression = MkTestPool "Various regressions" []
|
2020-12-08 01:51:33 +03:00
|
|
|
-- Miscellaneous regressions
|
|
|
|
["reg001", "reg002", "reg003", "reg004", "reg005", "reg006", "reg007",
|
|
|
|
"reg008", "reg009", "reg010", "reg011", "reg012", "reg013", "reg014",
|
|
|
|
"reg015", "reg016", "reg017", "reg018", "reg019", "reg020", "reg021",
|
|
|
|
"reg022", "reg023", "reg024", "reg025", "reg026", "reg027", "reg028",
|
2021-01-20 22:13:07 +03:00
|
|
|
"reg029", "reg030", "reg031", "reg032", "reg033", "reg034", "reg035",
|
2021-04-04 20:10:34 +03:00
|
|
|
"reg036", "reg037", "reg038", "reg039"]
|
2020-12-08 01:51:33 +03:00
|
|
|
|
2021-03-31 19:57:31 +03:00
|
|
|
idrisTestsData : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsData = MkTestPool "Data and record types" []
|
2021-03-31 19:57:31 +03:00
|
|
|
[-- Data types
|
|
|
|
"data001",
|
|
|
|
-- Records, access and dependent update
|
|
|
|
"record001", "record002", "record003", "record004", "record005",
|
|
|
|
"record006", "record007"]
|
|
|
|
|
2021-04-22 15:08:32 +03:00
|
|
|
idrisTestsBuiltin : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsBuiltin = MkTestPool "Builtin types and functions" []
|
2021-04-22 15:08:32 +03:00
|
|
|
-- %builtin related tests for the frontend (type-checking)
|
2021-05-10 14:14:19 +03:00
|
|
|
["builtin001", "builtin002", "builtin003", "builtin004", "builtin005",
|
2021-05-13 20:44:24 +03:00
|
|
|
"builtin006", "builtin007", "builtin008", "builtin009", "builtin010",
|
|
|
|
"builtin011"]
|
2021-04-22 15:08:32 +03:00
|
|
|
|
2021-04-15 16:08:50 +03:00
|
|
|
idrisTestsEvaluator : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTestsEvaluator = MkTestPool "Evaluation" []
|
2021-04-15 16:08:50 +03:00
|
|
|
[ -- Evaluator
|
|
|
|
"evaluator001", "evaluator002", "evaluator003", "evaluator004",
|
2021-05-03 18:16:12 +03:00
|
|
|
-- Unfortunately the behaviour of Double is platform dependent so the
|
|
|
|
-- following test is turned off.
|
|
|
|
-- "evaluator005",
|
2021-04-15 16:08:50 +03:00
|
|
|
-- Miscellaneous REPL
|
|
|
|
"interpreter001", "interpreter002", "interpreter003", "interpreter004",
|
|
|
|
"interpreter005", "interpreter006", "interpreter007"]
|
|
|
|
|
2020-12-08 01:51:33 +03:00
|
|
|
idrisTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
idrisTests = MkTestPool "Misc" []
|
2020-12-08 01:51:33 +03:00
|
|
|
-- Documentation strings
|
2021-05-21 18:46:14 +03:00
|
|
|
["docs001", "docs002", "docs003",
|
2021-05-03 18:16:12 +03:00
|
|
|
-- Eta equality
|
|
|
|
"eta001",
|
2020-12-08 01:51:33 +03:00
|
|
|
-- Modules and imports
|
|
|
|
"import001", "import002", "import003", "import004", "import005",
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Implicit laziness, lazy evaluation
|
2021-03-16 13:18:13 +03:00
|
|
|
"lazy001", "lazy002",
|
2020-06-21 06:33:39 +03:00
|
|
|
-- Namespace blocks
|
|
|
|
"namespace001",
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Parameters blocks
|
2021-04-19 19:48:53 +03:00
|
|
|
"params001","params002",
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Packages and ipkg files
|
2021-04-15 16:08:50 +03:00
|
|
|
"pkg001", "pkg002", "pkg003", "pkg004", "pkg005", "pkg006", "pkg007",
|
2021-04-21 12:15:39 +03:00
|
|
|
"pkg008", "pkg009",
|
2020-09-14 18:07:25 +03:00
|
|
|
-- Positivity checking
|
2020-09-16 16:28:18 +03:00
|
|
|
"positivity001", "positivity002", "positivity003",
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Larger programs arising from real usage. Typically things with
|
|
|
|
-- interesting interactions between features
|
|
|
|
"real001", "real002",
|
2020-05-30 00:40:29 +03:00
|
|
|
-- Quotation and reflection
|
2020-06-01 17:01:52 +03:00
|
|
|
"reflection001", "reflection002", "reflection003", "reflection004",
|
2020-06-03 11:17:37 +03:00
|
|
|
"reflection005", "reflection006", "reflection007", "reflection008",
|
2020-07-17 17:18:23 +03:00
|
|
|
"reflection009",
|
2020-05-19 20:25:18 +03:00
|
|
|
-- Totality checking
|
|
|
|
"total001", "total002", "total003", "total004", "total005",
|
2020-09-09 19:09:48 +03:00
|
|
|
"total006", "total007", "total008", "total009", "total010",
|
2020-05-19 20:25:18 +03:00
|
|
|
-- The 'with' rule
|
2021-03-25 13:02:06 +03:00
|
|
|
"with001", "with002", "with004", "with005",
|
2020-05-22 21:26:10 +03:00
|
|
|
-- with-disambiguation
|
2021-04-25 20:56:08 +03:00
|
|
|
"with003",
|
|
|
|
-- pretty printing
|
|
|
|
"pretty001"]
|
2020-05-19 20:25:18 +03:00
|
|
|
|
2020-10-19 11:26:23 +03:00
|
|
|
typeddTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
typeddTests = MkTestPool "Type Driven Development" []
|
2021-02-05 19:16:20 +03:00
|
|
|
[ "chapter01", "chapter02", "chapter03", "chapter04", "chapter05"
|
|
|
|
, "chapter06", "chapter07", "chapter08", "chapter09", "chapter10"
|
|
|
|
, "chapter11", "chapter12", "chapter13", "chapter14"
|
|
|
|
]
|
2020-05-19 20:25:18 +03:00
|
|
|
|
2020-10-19 11:26:23 +03:00
|
|
|
chezTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
chezTests = MkTestPool "Chez backend" [Chez]
|
2021-02-05 19:16:20 +03:00
|
|
|
[ "chez001", "chez002", "chez003", "chez004", "chez005", "chez006"
|
|
|
|
, "chez007", "chez008", "chez009", "chez010", "chez011", "chez012"
|
|
|
|
, "chez013", "chez014", "chez015", "chez016", "chez017", "chez018"
|
|
|
|
, "chez019", "chez020", "chez021", "chez022", "chez023", "chez024"
|
|
|
|
, "chez025", "chez026", "chez027", "chez028", "chez029", "chez030"
|
2021-02-06 15:28:59 +03:00
|
|
|
, "chez031", "chez032"
|
2021-02-05 19:16:20 +03:00
|
|
|
, "futures001"
|
2021-05-10 14:17:09 +03:00
|
|
|
, "bitops"
|
2021-05-04 10:22:06 +03:00
|
|
|
, "casts"
|
|
|
|
, "newints"
|
2021-06-04 12:35:07 +03:00
|
|
|
, "integers"
|
2021-02-05 19:16:20 +03:00
|
|
|
, "semaphores001"
|
|
|
|
, "semaphores002"
|
|
|
|
, "perf001"
|
|
|
|
, "reg001"
|
|
|
|
]
|
2020-05-19 20:25:18 +03:00
|
|
|
|
2021-02-02 17:01:19 +03:00
|
|
|
refcTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
refcTests = MkTestPool "Reference counting C backend" [C]
|
2021-05-17 13:48:46 +03:00
|
|
|
[ "refc001" , "refc002"
|
2021-06-03 12:44:42 +03:00
|
|
|
, "strings", "integers", "doubles"
|
2021-05-17 16:07:53 +03:00
|
|
|
, "buffer", "clock", "args"
|
2021-05-17 13:48:46 +03:00
|
|
|
]
|
2021-02-02 17:01:19 +03:00
|
|
|
|
2021-01-13 23:54:43 +03:00
|
|
|
racketTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
racketTests = MkTestPool "Racket backend" [Racket]
|
2021-02-05 19:16:20 +03:00
|
|
|
[ "forkjoin001"
|
|
|
|
, "semaphores001", "semaphores002"
|
|
|
|
, "futures001"
|
2021-03-15 16:43:12 +03:00
|
|
|
, "mutex001", "mutex002", "mutex003", "mutex004", "mutex005"
|
|
|
|
, "conditions001"
|
|
|
|
, "conditions002"
|
|
|
|
, "conditions003"
|
|
|
|
, "conditions004"
|
|
|
|
, "conditions005"
|
|
|
|
-- , "conditions006"
|
|
|
|
-- , "conditions007"
|
2021-02-05 19:16:20 +03:00
|
|
|
]
|
2021-01-13 23:54:43 +03:00
|
|
|
|
2020-10-19 11:26:23 +03:00
|
|
|
nodeTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
nodeTests = MkTestPool "Node backend" [Node]
|
2020-12-08 01:51:33 +03:00
|
|
|
[ "node001", "node002", "node003", "node004", "node005", "node006"
|
|
|
|
, "node007", "node008", "node009", "node011", "node012", "node015"
|
2021-01-20 10:49:05 +03:00
|
|
|
, "node017", "node018", "node019", "node021", "node022", "node023"
|
2021-02-06 15:28:59 +03:00
|
|
|
, "node024", "node025"
|
2021-06-03 12:20:07 +03:00
|
|
|
, "perf001"
|
2020-12-08 01:51:33 +03:00
|
|
|
-- , "node14", "node020"
|
2021-05-25 14:07:46 +03:00
|
|
|
, "args"
|
2021-05-10 14:17:09 +03:00
|
|
|
, "bitops"
|
2021-05-04 10:22:06 +03:00
|
|
|
, "casts"
|
|
|
|
, "newints"
|
2020-06-12 23:35:08 +03:00
|
|
|
, "reg001"
|
2020-07-14 19:38:47 +03:00
|
|
|
, "syntax001"
|
2020-07-05 13:53:45 +03:00
|
|
|
, "tailrec001"
|
2020-09-19 22:09:36 +03:00
|
|
|
, "idiom001"
|
2021-06-04 12:35:07 +03:00
|
|
|
, "integers"
|
2020-06-12 23:35:08 +03:00
|
|
|
]
|
2020-06-11 12:52:54 +03:00
|
|
|
|
2020-10-19 11:26:23 +03:00
|
|
|
ideModeTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
ideModeTests = MkTestPool "IDE mode" []
|
2021-05-10 11:05:43 +03:00
|
|
|
[ "ideMode001", "ideMode002", "ideMode003", "ideMode004", "ideMode005"
|
2021-02-05 19:16:20 +03:00
|
|
|
]
|
2020-06-11 12:52:54 +03:00
|
|
|
|
2020-10-19 11:26:23 +03:00
|
|
|
preludeTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
preludeTests = MkTestPool "Prelude library" []
|
2021-02-05 19:16:20 +03:00
|
|
|
[ "reg001"
|
|
|
|
]
|
2020-05-19 20:25:18 +03:00
|
|
|
|
2020-11-27 18:40:02 +03:00
|
|
|
templateTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
templateTests = MkTestPool "Test templates" []
|
2021-02-05 19:16:20 +03:00
|
|
|
[ "simple-test", "ttimp", "with-ipkg"
|
|
|
|
]
|
2020-11-27 18:40:02 +03:00
|
|
|
|
2021-02-18 14:13:25 +03:00
|
|
|
-- base library tests are run against
|
|
|
|
-- each codegen supported and to keep
|
|
|
|
-- things simple it's all one test group
|
|
|
|
-- that only runs if all backends are
|
|
|
|
-- available.
|
|
|
|
baseLibraryTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
baseLibraryTests = MkTestPool "Base library" [Chez, Node]
|
2021-03-26 21:27:25 +03:00
|
|
|
[ "system_file001"
|
|
|
|
, "data_bits001"
|
|
|
|
, "system_info001"
|
2021-05-25 18:45:46 +03:00
|
|
|
, "system_signal001", "system_signal002", "system_signal003", "system_signal004"
|
2021-02-18 14:13:25 +03:00
|
|
|
]
|
|
|
|
|
2021-04-22 10:30:56 +03:00
|
|
|
-- same behavior as `baseLibraryTests`
|
|
|
|
contribLibraryTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
contribLibraryTests = MkTestPool "Contrib library" [Chez, Node]
|
2021-04-22 10:30:56 +03:00
|
|
|
[ "json_001"
|
|
|
|
]
|
|
|
|
|
2021-03-29 17:08:06 +03:00
|
|
|
codegenTests : TestPool
|
2021-05-11 11:46:21 +03:00
|
|
|
codegenTests = MkTestPool "Code generation" []
|
2021-03-29 17:08:06 +03:00
|
|
|
[ "con001"
|
2021-04-22 15:08:32 +03:00
|
|
|
, "builtin001"
|
2021-03-29 17:08:06 +03:00
|
|
|
]
|
|
|
|
|
2020-05-19 20:25:18 +03:00
|
|
|
main : IO ()
|
2020-10-19 11:26:23 +03:00
|
|
|
main = runner
|
|
|
|
[ testPaths "ttimp" ttimpTests
|
2020-12-08 01:51:33 +03:00
|
|
|
, testPaths "idris2" idrisTestsBasic
|
|
|
|
, testPaths "idris2" idrisTestsCoverage
|
2021-02-26 12:33:07 +03:00
|
|
|
, testPaths "idris2" idrisTestsCasetree
|
2020-12-08 01:51:33 +03:00
|
|
|
, testPaths "idris2" idrisTestsError
|
2021-05-14 19:35:21 +03:00
|
|
|
, testPaths "idris2" idrisTestsWarning
|
2020-12-08 01:51:33 +03:00
|
|
|
, testPaths "idris2" idrisTestsInteractive
|
|
|
|
, testPaths "idris2" idrisTestsInterface
|
|
|
|
, testPaths "idris2" idrisTestsLiterate
|
|
|
|
, testPaths "idris2" idrisTestsLinear
|
|
|
|
, testPaths "idris2" idrisTestsPerformance
|
|
|
|
, testPaths "idris2" idrisTestsRegression
|
2021-03-31 19:57:31 +03:00
|
|
|
, testPaths "idris2" idrisTestsData
|
2021-04-22 15:08:32 +03:00
|
|
|
, testPaths "idris2" idrisTestsBuiltin
|
2021-04-15 16:08:50 +03:00
|
|
|
, testPaths "idris2" idrisTestsEvaluator
|
2020-10-19 11:26:23 +03:00
|
|
|
, testPaths "idris2" idrisTests
|
|
|
|
, testPaths "typedd-book" typeddTests
|
|
|
|
, testPaths "ideMode" ideModeTests
|
|
|
|
, testPaths "prelude" preludeTests
|
2021-02-18 14:13:25 +03:00
|
|
|
, testPaths "base" baseLibraryTests
|
2021-04-22 10:30:56 +03:00
|
|
|
, testPaths "contrib" contribLibraryTests
|
2020-10-19 11:26:23 +03:00
|
|
|
, testPaths "chez" chezTests
|
2021-02-02 17:01:19 +03:00
|
|
|
, testPaths "refc" refcTests
|
2021-01-13 23:54:43 +03:00
|
|
|
, testPaths "racket" racketTests
|
2020-10-19 11:26:23 +03:00
|
|
|
, testPaths "node" nodeTests
|
2020-11-27 18:40:02 +03:00
|
|
|
, testPaths "templates" templateTests
|
2021-03-29 17:08:06 +03:00
|
|
|
, testPaths "codegen" codegenTests
|
2020-10-19 11:26:23 +03:00
|
|
|
] where
|
|
|
|
|
|
|
|
testPaths : String -> TestPool -> TestPool
|
|
|
|
testPaths dir = record { testCases $= map ((dir ++ "/") ++) }
|