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

Add fixed-args mismatch between starred/dotted functions.

Browse Source 
original commit: 6da5171b2883610e2da221963926630814f5ad21
This commit is contained in:
Stevie Strickland 2008-06-12 14:08:23 -04:00
parent 87d8bc5bc8
commit c5e99e9f54
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-scheme/fail/infer-dots.ss
View File

@ -4,7 +4,15 @@
#;(map* + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
(: g (Integer Integer Integer -> Integer))
(define (g x y z) 0)
;; Arity mismatch.
(: g (Integer Integer Integer -> Integer))
(define (g x y z) 0)
(map* g (list 1 2 3) (list 4 5 6))
;; Can't use a starred function with more fixed args
;; for a dotted function.
(: h (Integer Integer Integer * -> Integer))
(define (h x y . z) 0)
(map* h (list 1 2 3) (list 4 5 6))