From 72bd18cd1ae3700a8f6ec1c53b904153d39fcd84 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 23 Mar 2017 16:23:35 -0400 Subject: [PATCH] exclude rackunit-typechecking from test --- turnstile/info.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/turnstile/info.rkt b/turnstile/info.rkt index 7897ee4..b700491 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -19,7 +19,8 @@ "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp "examples/fomega3.rkt" "examples/tests/fomega3-tests.rkt" - "examples/tests/mlish/bg/README.md")) + "examples/tests/mlish/bg/README.md" + "rackunit-typechecking.rkt")) (define test-timeouts '(("examples/tests/mlish/generic.mlish" 300)