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

Correctly use a pattern variable in tc-app-apply.

Browse Source 
Closes PR 14508.

original commit: 7da7eacbda9110ab7e0bc1a7b0fa294dc0f60da2
This commit is contained in:
Eric Dobson 2014-05-14 22:39:20 -07:00
parent 3d8722075b
commit b1b70f03fd
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app/tc-app-apply.rkt
View File

@ -22,11 +22,11 @@
(define-tc/app-syntax-class (tc/app-apply expected)
#:literal-sets (apply-literals)
(pattern ((~or apply k:apply) values e)
(pattern ((~or apply k:apply) (~and f values) e)
(match (single-value #'e)
[(tc-result1: (ListDots: dty dbound))
(ret null null null dty dbound)]
[(tc-result1: (List: ts)) (ret ts)]
[_ (tc/apply #'values #'(e))]))
[_ (tc/apply #'f #'(e))]))
(pattern ((~or apply k:apply) f . args)
(tc/apply #'f #'args)))

7
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/pr14508.rkt Normal file
View File

@ -0,0 +1,7 @@
#;
(exn-pred 1)
#lang typed/racket
(: f (All (a ...) (-> a ... a (values a ... a))))
(define (f . xs)
(apply values 3))