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

Fix return tc-results when typechecking kw lambda.

Browse Source 
original commit: 46701b6983c0c3269f6f7fbfa949ab9479b57cf8
This commit is contained in:
Eric Dobson 2014-05-13 09:22:46 -07:00
parent bbf3ab9655
commit a24c4717a9
2 changed files with 5 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/typecheck/tc-expr-unit.rkt
View File

@ -189,7 +189,7 @@
[(tc-result1: (and f (or (Function: _)
(Poly: _ (Function: _)))))
(tc-expr/check/type #'fun (kw-convert f #:split #t))
expected]
(ret f -true-filter)]
[(or (tc-results: _) (tc-any-results:))
(tc-expr form)])]
;; opt function def

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

@ -2949,6 +2949,10 @@
#:ret (ret (-polydots (A B ...) (->... (list A) (B B) (-values-dots (list A) B 'B))))
#:expected (ret (-polydots (A B ...) (->... (list A) (B B) (-values-dots (list A) B 'B))))
]
[tc-e
(tr:lambda (x #:y [y 3]) x)
#:ret (ret (->key Univ #:y Univ #f Univ) -true-filter)
#:expected (ret (->key Univ #:y Univ #f Univ) -no-filter)]
)