From 775e862c965d9f54cd7c91ce03cee75830667938 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 8 Mar 2006 17:23:45 +0000 Subject: [PATCH] svn: r2393 original commit: 724908088857d828ce7ad6f4793af6392e0f5574 --- collects/tests/mzscheme/contract-test.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index e35d2b0..3770df4 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -3307,7 +3307,11 @@ (define contract-inferred-name-test6 (case-lambda [(x) x] [(x y) y])) - (provide/contract (contract-inferred-name-test6 (opt-> (number?) (number?) number?))))) + (provide/contract (contract-inferred-name-test6 (opt-> (number?) (number?) number?))) + + (define contract-inferred-name-test7 (case-lambda [(x) (values x x)] + [(x y) (values y y)])) + (provide/contract (contract-inferred-name-test7 (opt->* (number?) (number?) (number? number?)))))) (eval '(require contract-test-suite-inferred-name1)) ;; (eval '(test 'contract-inferred-name-test object-name contract-inferred-name-test)) ;; this one can't be made to pass, sadly. (eval '(test 'contract-inferred-name-test2 object-name contract-inferred-name-test2)) @@ -3315,6 +3319,7 @@ (eval '(test 'contract-inferred-name-test4 object-name contract-inferred-name-test4)) (eval '(test 'contract-inferred-name-test5 object-name contract-inferred-name-test5)) (eval '(test 'contract-inferred-name-test6 object-name contract-inferred-name-test6)) + (eval '(test 'contract-inferred-name-test7 object-name contract-inferred-name-test7)) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;;