X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/801f0c270025ca872a488690aca42b59eeee89aa..880eb9d73e5ea9239698d8f6d294032b6e339310:/tests/doctest.hs diff --git a/tests/doctest.hs b/tests/doctest.hs index 793c0ab..3f60e6d 100644 --- a/tests/doctest.hs +++ b/tests/doctest.hs @@ -1,4 +1,6 @@ import Test.DocTest main :: IO () -main = doctest ["-isrc", "src/Main.hs"] +main = do + doctest ["-isrc", "src/Main.hs", "tests/Test/Term.hs"] + doctest ["-isrc", "src/Lambda/Parser/Simple.hs", "tests/Test/Term.hs"]