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

New test for lambda formal list mismatches.

Browse Source 
original commit: 467b138cdacde26bcad3bbb9955fc62cfa9f1536
This commit is contained in:
Stevie Strickland 2008-06-18 15:03:12 -04:00
parent 9544bcbd1f
commit 1bbdcf1ccf
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
collects/tests/typed-scheme/fail/formal-len-mismatches.ss Normal file
View File

@ -0,0 +1,17 @@
#lang typed-scheme
(: f (Integer Integer Integer * -> Integer))
(define (f x)
(+ #\c x))
(: f2 (Integer Integer * -> Integer))
(define (f2 x y . z)
(apply + #\c x y z))
(: f4 (Integer Integer -> Integer))
(define (f4 x y w . z)
(apply + #\c x y w z))
(: f3 (Integer Integer -> Integer))
(define (f3 x . z)
(apply + #\c x z))