Add fixed-args mismatch between starred/dotted functions.

This commit is contained in:
Stevie Strickland 2008-06-12 14:08:23 -04:00
parent eb9147a0fa
commit 6da5171b28

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))