From e9ea94a3feeadc3ba91ea65630ced9d071992c04 Mon Sep 17 00:00:00 2001 From: "J. Ian Johnson" Date: Wed, 9 Jul 2014 21:44:50 -0400 Subject: [PATCH] Fixing flawed test. The result arity does matter. --- .../tests/typed-racket/succeed/call-comp.rkt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt index 25ced2385d..8f90e4339d 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt @@ -17,8 +17,12 @@ ((inst call/ec Integer Integer Integer) (lambda ([f : (Integer Integer -> Nothing)]) (f 0 1))) (let/cc k : (values String Symbol Boolean) - (+ 5 (k "result arity doesn't matter" 'hahaha #t))) + (values + (+ 5 (k "result arity matters, only first arg can be a different type" 'hahaha #t)) + 'must-be-symbol + #f)) (: r : (All (a b ...) (-> a b ... b (values a b ... b)))) (define (r A . bs) (let/ec break : (values a b ... b) (apply break A bs))) (r 0 1 2 3 4 5) +