diff --git a/collects/tests/typed-scheme/fail/apply-dots.ss b/collects/tests/typed-scheme/fail/apply-dots.ss index 6dde0cf9..69d6a129 100644 --- a/collects/tests/typed-scheme/fail/apply-dots.ss +++ b/collects/tests/typed-scheme/fail/apply-dots.ss @@ -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)) \ No newline at end of file