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

Forgot to add stars here.

Browse Source
This commit is contained in:
Stevie Strickland 2008-06-18 15:06:48 -04:00
parent 467b138cda
commit 0c6ad7f08b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/typed-scheme/fail/apply-dots.ss
View File

@ -1,11 +1,11 @@
#lang typed-scheme
(plambda: (a ...) ([z : String] . [w : Number])
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x))
w))
(plambda: (a ...) ([z : String] . [w : Number])
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x)
(([x : String] [y : String] . [z : String]) 0)
([y : String] 0))
(([x : String] [y : String] . [z : String *]) 0)
([y : String *] 0))
w))