quox/tests/Tests.idr

module Tests

import TAP
import Tests.Unicode
import Tests.Lexer
import Tests.Parser
import Tests.Reduce
import Tests.Equal
import System


allTests = [
  Unicode.tests,
  Lexer.tests,
  Parser.tests,
  Reduce.tests,
  Equal.tests
]

main = TAP.main !getTestOpts allTests
add TAP framework. if you could call it that 2022-04-26 12:17:59 -04:00			`module Tests`

support TAP 13 for /usr/bin/prove's benefit 13 doesn't support test trees so we gotta flatten it >:( 2022-05-01 18:19:09 -04:00			`import TAP`
normalizeNfc 2022-05-12 01:41:58 -04:00			`import Tests.Unicode`
support TAP 13 for /usr/bin/prove's benefit 13 doesn't support test trees so we gotta flatten it >:( 2022-05-01 18:19:09 -04:00			`import Tests.Lexer`
start of parser stuff 2022-05-06 15:58:32 -04:00			`import Tests.Parser`
some reduction tests & fixes 2022-05-25 10:10:19 -04:00			`import Tests.Reduce`
a few tests 2022-04-27 14:06:39 -04:00			`import Tests.Equal`
support TAP 13 for /usr/bin/prove's benefit 13 doesn't support test trees so we gotta flatten it >:( 2022-05-01 18:19:09 -04:00			`import System`
a few tests 2022-04-27 14:06:39 -04:00
add TAP framework. if you could call it that 2022-04-26 12:17:59 -04:00
start some lexer stuff 2022-05-02 11:13:13 -04:00			`allTests = [`
normalizeNfc 2022-05-12 01:41:58 -04:00			`Unicode.tests,`
start some lexer stuff 2022-05-02 11:13:13 -04:00			`Lexer.tests,`
start of parser stuff 2022-05-06 15:58:32 -04:00			`Parser.tests,`
some reduction tests & fixes 2022-05-25 10:10:19 -04:00			`Reduce.tests,`
heartbreaking: Quox.Error doesn't actually work 2022-05-06 15:23:58 -04:00			`Equal.tests`
start some lexer stuff 2022-05-02 11:13:13 -04:00			`]`
a few tests 2022-04-27 14:06:39 -04:00
fancier tests 2022-05-24 06:09:17 -04:00			`main = TAP.main !getTestOpts allTests`