From 2643d7c8f84aa87d0283f841a4962a805a9f832c Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 23 Mar 2017 16:38:54 -0400 Subject: [PATCH] exclude rackunit-typechecking from compile --- turnstile/info.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/turnstile/info.rkt b/turnstile/info.rkt index b700491..0e14ce4 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -7,6 +7,7 @@ '("examples/rosette" "examples/fomega3.rkt" "examples/tests" + "rackunit-typechecking.rkt" "examples/trivial.rkt")) ; needs typed racket (define test-include-paths @@ -19,8 +20,7 @@ "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp "examples/fomega3.rkt" "examples/tests/fomega3-tests.rkt" - "examples/tests/mlish/bg/README.md" - "rackunit-typechecking.rkt")) + "examples/tests/mlish/bg/README.md")) (define test-timeouts '(("examples/tests/mlish/generic.mlish" 300)