diff --git a/macrotypes/examples/tests/run-all-mlish-tests.rkt b/macrotypes/examples/tests/run-all-mlish-tests.rkt index 2c9d115..5e3c910 100644 --- a/macrotypes/examples/tests/run-all-mlish-tests.rkt +++ b/macrotypes/examples/tests/run-all-mlish-tests.rkt @@ -7,3 +7,6 @@ "run-mlish-tests3.rkt" "Ben's" "run-mlish-tests4.rkt" "Okasaki / polymorphic recursion" "run-mlish-tests5.rkt" "typeclasses") + +; don't run this file for testing: +(module test racket/base) diff --git a/macrotypes/examples/tests/run-all-tests.rkt b/macrotypes/examples/tests/run-all-tests.rkt index bbb6f14..45d4612 100644 --- a/macrotypes/examples/tests/run-all-tests.rkt +++ b/macrotypes/examples/tests/run-all-tests.rkt @@ -35,3 +35,6 @@ ;; type and effects (require "stlc+effect-tests.rkt") + +; don't run this file for testing: +(module test racket/base) diff --git a/macrotypes/examples/tests/run-mlish-tests1.rkt b/macrotypes/examples/tests/run-mlish-tests1.rkt index 17a258b..239ab82 100644 --- a/macrotypes/examples/tests/run-mlish-tests1.rkt +++ b/macrotypes/examples/tests/run-mlish-tests1.rkt @@ -20,3 +20,6 @@ ;; (require "mlish/knuc.mlish") ;; (require "mlish/matrix.mlish") ;; (require "mlish/nbody.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/macrotypes/examples/tests/run-mlish-tests2.rkt b/macrotypes/examples/tests/run-mlish-tests2.rkt index 92e8e14..46be88a 100644 --- a/macrotypes/examples/tests/run-mlish-tests2.rkt +++ b/macrotypes/examples/tests/run-mlish-tests2.rkt @@ -22,3 +22,6 @@ (require "mlish/alex.mlish") (require "mlish/inst.mlish") (require "mlish/result.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/macrotypes/examples/tests/run-mlish-tests3.rkt b/macrotypes/examples/tests/run-mlish-tests3.rkt index 048d497..9cce0c6 100644 --- a/macrotypes/examples/tests/run-mlish-tests3.rkt +++ b/macrotypes/examples/tests/run-mlish-tests3.rkt @@ -5,3 +5,6 @@ (require "mlish/bg/huffman.mlish") (require "mlish/bg/lambda.mlish") (require "mlish/bg/monad.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/macrotypes/examples/tests/run-mlish-tests4.rkt b/macrotypes/examples/tests/run-mlish-tests4.rkt index 4e8cc2d..09d9238 100644 --- a/macrotypes/examples/tests/run-mlish-tests4.rkt +++ b/macrotypes/examples/tests/run-mlish-tests4.rkt @@ -3,3 +3,6 @@ ;; okasaki tests ;(require "mlish/polyrecur.mlish") (require "mlish/bg/okasaki.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/macrotypes/examples/tests/run-mlish-tests5.rkt b/macrotypes/examples/tests/run-mlish-tests5.rkt index 7d80cad..5147a2c 100644 --- a/macrotypes/examples/tests/run-mlish-tests5.rkt +++ b/macrotypes/examples/tests/run-mlish-tests5.rkt @@ -2,3 +2,6 @@ ;; adhoc polymorphism tests (require "mlish/generic.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt b/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt index 9a2730a..3d7e474 100644 --- a/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt +++ b/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt @@ -5,3 +5,6 @@ ; visit but dont instantiate, o.w. will get unsat ;(dynamic-require "fsm-test.rkt" #f) (require "ifc-tests.rkt") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-all-mlish-tests.rkt b/turnstile/examples/tests/run-all-mlish-tests.rkt index 2c9d115..5e3c910 100644 --- a/turnstile/examples/tests/run-all-mlish-tests.rkt +++ b/turnstile/examples/tests/run-all-mlish-tests.rkt @@ -7,3 +7,6 @@ "run-mlish-tests3.rkt" "Ben's" "run-mlish-tests4.rkt" "Okasaki / polymorphic recursion" "run-mlish-tests5.rkt" "typeclasses") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-all-tests.rkt b/turnstile/examples/tests/run-all-tests.rkt index 930686c..a6ecf70 100644 --- a/turnstile/examples/tests/run-all-tests.rkt +++ b/turnstile/examples/tests/run-all-tests.rkt @@ -38,3 +38,6 @@ ;; type and effects (require "stlc+effect-tests.rkt") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-mlish-tests1.rkt b/turnstile/examples/tests/run-mlish-tests1.rkt index 17a258b..239ab82 100644 --- a/turnstile/examples/tests/run-mlish-tests1.rkt +++ b/turnstile/examples/tests/run-mlish-tests1.rkt @@ -20,3 +20,6 @@ ;; (require "mlish/knuc.mlish") ;; (require "mlish/matrix.mlish") ;; (require "mlish/nbody.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-mlish-tests2.rkt b/turnstile/examples/tests/run-mlish-tests2.rkt index 92e8e14..46be88a 100644 --- a/turnstile/examples/tests/run-mlish-tests2.rkt +++ b/turnstile/examples/tests/run-mlish-tests2.rkt @@ -22,3 +22,6 @@ (require "mlish/alex.mlish") (require "mlish/inst.mlish") (require "mlish/result.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-mlish-tests3.rkt b/turnstile/examples/tests/run-mlish-tests3.rkt index 048d497..9cce0c6 100644 --- a/turnstile/examples/tests/run-mlish-tests3.rkt +++ b/turnstile/examples/tests/run-mlish-tests3.rkt @@ -5,3 +5,6 @@ (require "mlish/bg/huffman.mlish") (require "mlish/bg/lambda.mlish") (require "mlish/bg/monad.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-mlish-tests4.rkt b/turnstile/examples/tests/run-mlish-tests4.rkt index 4e8cc2d..09d9238 100644 --- a/turnstile/examples/tests/run-mlish-tests4.rkt +++ b/turnstile/examples/tests/run-mlish-tests4.rkt @@ -3,3 +3,6 @@ ;; okasaki tests ;(require "mlish/polyrecur.mlish") (require "mlish/bg/okasaki.mlish") + +; don't run this file for testing: +(module test racket/base) diff --git a/turnstile/examples/tests/run-mlish-tests5.rkt b/turnstile/examples/tests/run-mlish-tests5.rkt index 7d80cad..5147a2c 100644 --- a/turnstile/examples/tests/run-mlish-tests5.rkt +++ b/turnstile/examples/tests/run-mlish-tests5.rkt @@ -2,3 +2,6 @@ ;; adhoc polymorphism tests (require "mlish/generic.mlish") + +; don't run this file for testing: +(module test racket/base)