From 4ca5e027f2fa2f0e5150dff29ca8baf306c0fd77 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 23 May 2015 09:15:26 -0700 Subject: [PATCH] consolidate untyped tests --- txexpr/tests.rkt | 21 +++++++-------------- 1 file changed, 7 insertions(+), 14 deletions(-) diff --git a/txexpr/tests.rkt b/txexpr/tests.rkt index 906855e..041ca96 100644 --- a/txexpr/tests.rkt +++ b/txexpr/tests.rkt @@ -7,19 +7,13 @@ (with-syntax ([sym (generate-temporary)]) #'(begin (module sym racket - (require rackunit txexpr) + (require rackunit "main.rkt") exprs ...) - (require 'sym)))])) - -(define-syntax (eval-as-untyped-safe stx) - (syntax-case stx () - [(_ exprs ...) - (with-syntax ([sym (generate-temporary)]) - #'(begin - (module sym racket - (require rackunit (submod txexpr safe)) + (require 'sym) + (module sym2 racket + (require rackunit (submod "main.rkt" safe)) exprs ...) - (require 'sym)))])) + (require 'sym2)))])) (define-syntax (eval-as-typed stx) (syntax-case stx () @@ -27,15 +21,14 @@ (with-syntax ([sym (generate-temporary)]) #'(begin (module sym typed/racket - (require typed/rackunit typed/txexpr) + (require typed/rackunit "../typed/txexpr.rkt") exprs ...) (require 'sym)))])) (define-syntax-rule (eval-as-typed-and-untyped exprs ...) (begin (eval-as-typed exprs ...) - (eval-as-untyped exprs ...) - (eval-as-untyped-safe exprs ...))) + (eval-as-untyped exprs ...))) (eval-as-typed-and-untyped