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

Make exception handlers smarter about opening the result.

Browse Source 
original commit: d29df205f7bb8347f60c82206b74e3e167e2de24
This commit is contained in:
Eric Dobson 2014-04-01 23:49:47 -07:00
parent 67a3a9ff44
commit 9f76a941ed
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-subforms-unit.rkt
View File

@ -58,13 +58,13 @@
(define body-ty #f)
(define body-stx #f)
;; tc-result1 -> tc-results
;; The result of applying the function to a single argument of type (Un)
;; FIXME: (Un) is the wrong type, see above fixme
;; The result of applying the function to a single argument of the type of its first argument
;; FIXME: This is the wrong type, see above fixme
(define (get-result-ty t)
(let loop ((t t))
(match t
[(Function: _)
(tc/funapp #'here #'(here) (ret t) (list (ret (Un))) #f)]
[(Function: (cons (arr: (cons arg1 args) _ _ _ _) _))
(tc/funapp #'here #'(here) (ret t) (list (ret arg1)) #f)]
[(? needs-resolving? t)
(loop (resolve t))]
[(or (Poly: ns _) (PolyDots: (list ns ... _) _))