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

add test

Browse Source 
svn: r11009

original commit: 14b180d5a74018c0b9a2b0c2805045e9f910958a
This commit is contained in:
Sam Tobin-Hochstadt 2008-07-31 19:26:13 +00:00
parent 7beae186ec
commit 40dd66120c
1 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
collects/tests/typed-scheme/succeed/nested-poly.ss
View File

@ -1,5 +1,20 @@
#lang typed-scheme
(require typed-scheme/private/extra-procs)
(: f (All (A ...) (All (B ...) (A ... A -> Integer))))
(define (f . xs) 5)
(define (f . xs) 5)
(: map-with-funcs
(All (A ...)
(All (B ...)
((B ... B -> A) ... A ->
(B ... B -> (values A ... A))))))
(define (map-with-funcs . fs)
(lambda as
(apply values* (map (lambda: ([f : (B ... B -> A)])
(apply f as))
fs))))
(inst map-with-funcs Integer Integer Integer Integer)