From a8f908ff19cc729315489188ed644c223c3d11cf Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 21 Mar 2017 19:44:14 -0400 Subject: [PATCH] more fail/toplvl in tests --- turnstile/examples/tests/ext-stlc-tests.rkt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/turnstile/examples/tests/ext-stlc-tests.rkt b/turnstile/examples/tests/ext-stlc-tests.rkt index d606d93..9d86180 100644 --- a/turnstile/examples/tests/ext-stlc-tests.rkt +++ b/turnstile/examples/tests/ext-stlc-tests.rkt @@ -156,9 +156,8 @@ (typecheck-fail (countdown "10") #:with-msg "expected Int, given String") ;; inconsistent define -(typecheck-fail (define (bad -> Int) (void)) - #:with-msg "expected Int, given Unit" - #:ctx top-level) +(typecheck-fail/toplvl (define (bad -> Int) (void)) + #:with-msg "expected Int, given Unit") ;; tests from stlc+lit-tests.rkt -------------------------- ; most should pass, some failing may now pass due to added types/forms