From 34b149e2489318687b20fe73f3de4e39e2bab547 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 13 Oct 2016 21:46:31 -0400 Subject: [PATCH] rearrange test script to avoid parameter conflicts --- turnstile/examples/tests/run-all-tests.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/turnstile/examples/tests/run-all-tests.rkt b/turnstile/examples/tests/run-all-tests.rkt index e4f267d..f288127 100644 --- a/turnstile/examples/tests/run-all-tests.rkt +++ b/turnstile/examples/tests/run-all-tests.rkt @@ -22,12 +22,6 @@ (require "fsub-tests.rkt") ; sysf + reco-sub -;; F_omega -(require "fomega-tests.rkt") -(require "fomega2-tests.rkt") -(require "fomega3-tests.rkt") -(require "fomega-no-reuse-tests.rkt") - ;; these are not ported to turnstile yet ;; see macrotypes/examples/tests/run-all-tests.rkt ;(require macrotypes/examples/tests/stlc+occurrence-tests) @@ -44,5 +38,11 @@ (require "stlc+union.rkt") (require "stlc+union+case.rkt") +;; F_omega +(require "fomega-tests.rkt") +(require "fomega2-tests.rkt") +(require "fomega3-tests.rkt") +(require "fomega-no-reuse-tests.rkt") + ; don't run this file for testing: (module test racket/base)