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

Improve type of values when applied to one argument.

Browse Source 
Closes PR 12846.

original commit: 2aaeec4520cb82f847fa57412b60a023ba7f3fa7
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-14 22:04:22 -04:00
parent 4a2fb49431
commit 073263527c
3 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/succeed/pr11545+11776.rkt
View File

@ -7,4 +7,4 @@
(define (thing)
((inst stuff)))
(inst values)
(inst values Any)

7
collects/tests/typed-racket/succeed/values-object.rkt Normal file
View File

@ -0,0 +1,7 @@
#lang typed/racket
(define v values)
;(define v identity)
(: f (Boolean -> #f))
(define (f x) (if (v x) #f x))

3
collects/typed-racket/base-env/base-env.rkt
View File

@ -1366,7 +1366,8 @@
[values (-polydots (a) (null (a a) . ->... . (make-ValuesDots null a 'a)))]
[values (-polydots (b a) (cl->* (->acc (list b) b null)
(null (a a) . ->... . (make-ValuesDots null a 'a))))]
[call-with-values (-polydots (b a) ((-> (make-ValuesDots null a 'a)) (null (a a) . ->... . b) . -> . b))]
[read-accept-reader (-Param B B)]