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

Allow functions with rest args in with-handlers.

Browse Source 
original commit: d713a08cb596cad60cdf28f31b1ef34efe385731
This commit is contained in:
Vincent St-Amour 2014-04-07 15:24:01 -04:00
parent 90266f4b80
commit 34303c8300
2 changed files with 7 additions and 0 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/check-subforms-unit.rkt
View File

@ -65,6 +65,8 @@
(match t
[(Function: (list _ ... (arr: (list arg1) _ _ #f (list (Keyword: _ _ #f) ...)) _ ...))
(tc/funapp #'here #'(here) (ret t) (list (ret arg1)) #f)]
[(Function: (list _ ... (arr: '() _ (? values rest) #f (list (Keyword: _ _ #f) ...)) _ ...))
(tc/funapp #'here #'(here) (ret t) (list (ret rest)) #f)]
[(? needs-resolving? t)
(loop (resolve t))]
[(or (Poly: ns _) (PolyDots: (list ns ... _) _))

5
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/with-handlers-rest-arg.rkt Normal file
View File

@ -0,0 +1,5 @@
#lang typed/racket/base
(define (run-ground-vm)
(with-handlers ([exn:break? void])
(void)))