From c5e99e9f54eff90920da224e1ce04b1d6468e597 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Thu, 12 Jun 2008 14:08:23 -0400 Subject: [PATCH] Add fixed-args mismatch between starred/dotted functions. original commit: 6da5171b2883610e2da221963926630814f5ad21 --- collects/tests/typed-scheme/fail/infer-dots.ss | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-scheme/fail/infer-dots.ss b/collects/tests/typed-scheme/fail/infer-dots.ss index 8ee72fb5..6173f66b 100644 --- a/collects/tests/typed-scheme/fail/infer-dots.ss +++ b/collects/tests/typed-scheme/fail/infer-dots.ss @@ -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))