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

These tests now pass.

Browse Source 
svn: r11067

original commit: 4ba93761313ed8f4c863d6fe05fa66b3aa37cf09
This commit is contained in:
Sam Tobin-Hochstadt 2008-08-04 18:36:38 +00:00
parent a91efc813e
commit 4d9768895a
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/succeed/dot-intro.ss
View File

@ -6,4 +6,11 @@
(define y
(plambda: (a ...) ([x : Number] . [y : a ... a])
(ormap null? (map list y))))
(ormap null? (map list y))))
(plambda: (a ...) ([x : Number] . [y : Number ... a])
y)
(plambda: (a ...) ([x : Number] . [y : Number ... a])
(map add1 y))