From 760559a6db133afb57d36769ec6358d1a38c0a55 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 7 Jul 2008 14:49:19 -0400 Subject: [PATCH] Add failure cases. original commit: 88cbe6387952e9da5e57c46c9977a15702e41b82 --- collects/tests/typed-scheme/fail/values-dots.ss | 16 ++++++++++++++++ .../tests/typed-scheme/succeed/values-dots.ss | 7 ++++--- 2 files changed, 20 insertions(+), 3 deletions(-) create mode 100644 collects/tests/typed-scheme/fail/values-dots.ss diff --git a/collects/tests/typed-scheme/fail/values-dots.ss b/collects/tests/typed-scheme/fail/values-dots.ss new file mode 100644 index 00000000..148a2815 --- /dev/null +++ b/collects/tests/typed-scheme/fail/values-dots.ss @@ -0,0 +1,16 @@ +#; +(exn-pred 2) +#lang typed-scheme + +(require typed-scheme/private/extra-procs) + +(: map-with-funcs (All (b ...) ((b ... b -> b) ... b -> (b ... b -> (values b ... b))))) +(define (map-with-funcs . fs) + (lambda bs + (apply values* (map (lambda: ([f : (b ... b -> b)]) + (apply f bs)) fs)))) + +(map-with-funcs (lambda () 1)) + +(map-with-funcs (lambda: ([x : Integer] [y : Integer] . [z : Integer *]) + (+ x y))) diff --git a/collects/tests/typed-scheme/succeed/values-dots.ss b/collects/tests/typed-scheme/succeed/values-dots.ss index 25cf3496..0078526f 100644 --- a/collects/tests/typed-scheme/succeed/values-dots.ss +++ b/collects/tests/typed-scheme/succeed/values-dots.ss @@ -16,12 +16,13 @@ (apply values* (map (lambda: ([f : (b ... b -> b)]) (apply f bs)) fs)))) -#;(map-with-funcs + - * /) +(map-with-funcs + - * /) (inst map-with-funcs Integer Integer) -#;(map-with-funcs (lambda: ([x : Integer] [y : Integer]) (+ x y)) - (lambda: ([x : Integer] [y : Integer]) (- x y))) +(map-with-funcs + (lambda: ([x : Integer] [y : Integer]) (+ x y)) + (lambda: ([x : Integer] [y : Integer]) (- x y)) ) (((inst map-with-funcs Integer Integer) (lambda: ([x : Integer] [y : Integer]) (+ x y))