From 0f95e22d927bb21234389c4ee3d441d74877054e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 8 May 2001 12:25:47 +0000 Subject: [PATCH] . original commit: 92479235be442f870543556a3fedaa769f9414db --- collects/tests/mred/loadtest.ss | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 collects/tests/mred/loadtest.ss diff --git a/collects/tests/mred/loadtest.ss b/collects/tests/mred/loadtest.ss new file mode 100644 index 00000000..439dec9e --- /dev/null +++ b/collects/tests/mred/loadtest.ss @@ -0,0 +1,5 @@ + +(unless (with-handlers ([not-break-exn? (lambda (x) #f)]) + (namespace-variable-binding 'SECTION) + #t) + (load-relative "testing.ss"))