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

These tests now pass.

Browse Source 
svn: r11067
This commit is contained in:
Sam Tobin-Hochstadt 2008-08-04 18:36:38 +00:00
parent e6c8e60955
commit 4ba9376131
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/tests/typed-scheme/fail/dot-intro.ss
View File

@ -1,7 +0,0 @@
#lang typed-scheme
(plambda: (a ...) ([x : Number] . [y : Number ... a])
y)
(plambda: (a ...) ([x : Number] . [y : Number ... a])
(map add1 y))

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

@ -6,4 +6,11 @@
(define y (define y
(plambda: (a ...) ([x : Number] . [y : a ... a]) (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))