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

Fix Values in type annotations

Browse Source 
Closes PR 14218
This commit is contained in:
Asumu Takikawa 2014-07-28 12:09:29 -04:00
parent d2a8bfcfe6
commit 8f08418699
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/parse-type.rkt
View File

@ -848,7 +848,7 @@
(define (parse-tc-results stx) (define (parse-tc-results stx)
(syntax-parse stx (syntax-parse stx
[(:values^ t ...) [((~or :Values^ :values^) t ...)
(ret (parse-types #'(t ...)) (ret (parse-types #'(t ...))
(stx-map (lambda (x) -no-filter) #'(t ...)) (stx-map (lambda (x) -no-filter) #'(t ...))
(stx-map (lambda (x) -no-obj) #'(t ...)))] (stx-map (lambda (x) -no-obj) #'(t ...)))]

8
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -3175,6 +3175,14 @@
(raise 'foo)) (raise 'foo))
#:ret (ret -String) #:ret (ret -String)
#:msg #rx"expected: Symbol.*given: Any"] #:msg #rx"expected: Symbol.*given: Any"]
;; PR 14218
[tc-e (ann (values "foo" "bar") (Values String String))
#:ret (ret (list -String -String))]
[tc-e (let ()
(tr:define (foo) : (Values String String) (values "foo" "bar"))
(void))
-Void]
) )
(test-suite (test-suite