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

Make tc/funapp follow contract in error case.

Browse Source 
Closes PR 14615.
This commit is contained in:
Eric Dobson 2014-07-05 16:33:36 -07:00
parent 05bc8f3082
commit 13bc779e21
2 changed files with 7 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-funapp.rkt
View File

@ -160,7 +160,7 @@
(for/list ([fty ts]) (for/list ([fty ts])
(tc/funapp f-stx args-stx fty args-res expected)))] (tc/funapp f-stx args-stx fty args-res expected)))]
;; error type is a perfectly good fcn type ;; error type is a perfectly good fcn type
[(Error:) f-type] [(Error:) (ret f-type)]
;; otherwise fail ;; otherwise fail
[(Poly: ns (Function: arrs)) [(Poly: ns (Function: arrs))
(tc-error/expr (tc-error/expr

6
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14615.rkt Normal file
View File

@ -0,0 +1,6 @@
#lang typed/racket/base
(require racket/gui)
(define (f)
(let ([fn (put-file)])
(when fn
(values fn))))