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

Handle kw λs when useful annotations are missing

Browse Source 
Closes PR 14322
This commit is contained in:
Asumu Takikawa 2014-01-28 11:44:33 -05:00
parent dc41219463
commit 7476ca0ac0
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -273,10 +273,10 @@
(match expected (match expected
[(tc-result1: (and f (or (Function: _) [(tc-result1: (and f (or (Function: _)
(Poly: _ (Function: _))))) (Poly: _ (Function: _)))))
(tc-expr/check/type #'fun (kw-convert f #:split #t))] (tc-expr/check/type #'fun (kw-convert f #:split #t))
expected]
[(or (tc-results: _) (tc-any-results:)) [(or (tc-results: _) (tc-any-results:))
(tc-error/expr "Keyword functions must have function type, given ~a" expected)]) (tc-expr (remove-ascription form))])]
expected]
;; opt function def ;; opt function def
[(~and (let-values ([(f) fun]) . body) opt:opt-lambda^) [(~and (let-values ([(f) fun]) . body) opt:opt-lambda^)
(define conv-type (define conv-type

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

@ -1981,6 +1981,10 @@
[tc-err (let () (tr:define (f #{x : Symbol} #:y y) y) (f "a" #:y 'b)) [tc-err (let () (tr:define (f #{x : Symbol} #:y y) y) (f "a" #:y 'b))
#:msg #rx"expected: Symbol.*given: String"] #:msg #rx"expected: Symbol.*given: String"]
|# |#
[tc-e (tr:lambda (x #:y y) y) (->key Univ #:y Univ #t Univ)]
[tc-e ((tr:lambda (x #:y y) y) 'a #:y 'b) Univ]
[tc-e ((tr:lambda (x #:y y . args) y) 'a #:y 'b) Univ]
[tc-e ((tr:lambda (x #:y [y 'y] . args) y) 'a #:y 'b) Univ]
[tc-err (let () (tr:define (f x #:y y) (string-append x "foo")) (void)) [tc-err (let () (tr:define (f x #:y y) (string-append x "foo")) (void))
#:msg #rx"expected: String.*given: Any"] #:msg #rx"expected: String.*given: Any"]
[tc-err (let () (tr:define (f x #:y y) y) (f "a")) [tc-err (let () (tr:define (f x #:y y) y) (f "a"))