From 265f9c900988e2d3d4d96f072ee7e7c81ef3a373 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jun 2008 12:58:15 -0400 Subject: [PATCH] Adding testcases for dotted function application to rest args via apply. original commit: 93c937f909b431fa64c49515ae66d87f42711e2b --- .../tests/typed-scheme/fail/apply-dots.ss | 11 +++++++++++ .../tests/typed-scheme/succeed/apply-dots.ss | 19 +++++++++++++++++++ 2 files changed, 30 insertions(+) create mode 100644 collects/tests/typed-scheme/fail/apply-dots.ss create mode 100644 collects/tests/typed-scheme/succeed/apply-dots.ss diff --git a/collects/tests/typed-scheme/fail/apply-dots.ss b/collects/tests/typed-scheme/fail/apply-dots.ss new file mode 100644 index 00000000..6dde0cf9 --- /dev/null +++ b/collects/tests/typed-scheme/fail/apply-dots.ss @@ -0,0 +1,11 @@ +#lang typed-scheme + +(plambda: (a ...) ([z : String] . [w : Number]) + (apply (case-lambda: (([x : Number] . [y : Number ... a]) x)) + w)) + +(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)) + w)) \ No newline at end of file diff --git a/collects/tests/typed-scheme/succeed/apply-dots.ss b/collects/tests/typed-scheme/succeed/apply-dots.ss new file mode 100644 index 00000000..506f11a7 --- /dev/null +++ b/collects/tests/typed-scheme/succeed/apply-dots.ss @@ -0,0 +1,19 @@ +#lang typed-scheme + +(plambda: (a ...) ([z : String] . [w : Number ... a]) + (apply (lambda: ([x : Number] . [y : Number ... a]) x) + 1 w)) + +(plambda: (a ...) ([z : String] . [w : Number ... a]) + (apply (lambda: ([x : Number] . [y : Number]) x) + 1 w)) + +(plambda: (a ...) ([z : String] . [w : Number]) + (apply (lambda: ([x : Number] . [y : Number]) x) + 1 w)) + +(plambda: (a ...) ([z : String] . [w : Number]) + (apply (case-lambda: (([x : Number] . [y : Number ... a]) x) + (([x : String] [y : String] . [z : String]) 0) + ([y : Number] 0)) + w)) \ No newline at end of file