suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixing flawed test. The result arity does matter.

Browse Source
This commit is contained in:
J. Ian Johnson 2014-07-09 21:44:50 -04:00 committed by Sam Tobin-Hochstadt
parent 8a36919c66
commit e9ea94a3fe
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/call-comp.rkt
View File

@ -17,8 +17,12 @@
((inst call/ec Integer Integer Integer) (lambda ([f : (Integer Integer -> Nothing)]) (f 0 1))) ((inst call/ec Integer Integer Integer) (lambda ([f : (Integer Integer -> Nothing)]) (f 0 1)))
(let/cc k : (values String Symbol Boolean) (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)))) (: 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))) (define (r A . bs) (let/ec break : (values a b ... b) (apply break A bs)))
(r 0 1 2 3 4 5) (r 0 1 2 3 4 5)