From b59b032342aebd380028e6675bbce71be360bbbe Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Wed, 18 Jun 2008 15:07:00 -0400 Subject: [PATCH] Split this out into what should succeed and what should fail. original commit: f80711bc9e3eb33aae1b9bb52d7f9033a1d83936 --- collects/tests/typed-scheme/fail/cl-bug.ss | 9 +++++++++ collects/tests/typed-scheme/succeed/cl-bug.ss | 10 +--------- 2 files changed, 10 insertions(+), 9 deletions(-) create mode 100644 collects/tests/typed-scheme/fail/cl-bug.ss diff --git a/collects/tests/typed-scheme/fail/cl-bug.ss b/collects/tests/typed-scheme/fail/cl-bug.ss new file mode 100644 index 00000000..123d82e4 --- /dev/null +++ b/collects/tests/typed-scheme/fail/cl-bug.ss @@ -0,0 +1,9 @@ +#lang typed-scheme + +(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number))) +(define (f3 x y) (+ x y)) + +(+ 1 'foo) + +(: f2 (case-lambda (Number * -> Number))) +(define (f2 x y) (+ x y)) \ No newline at end of file diff --git a/collects/tests/typed-scheme/succeed/cl-bug.ss b/collects/tests/typed-scheme/succeed/cl-bug.ss index 6b5a61c6..09b9327f 100644 --- a/collects/tests/typed-scheme/succeed/cl-bug.ss +++ b/collects/tests/typed-scheme/succeed/cl-bug.ss @@ -4,12 +4,4 @@ (define (f . x) (+ 1 2)) (: f4 (case-lambda (Integer * -> Integer) (Number * -> Number))) -(define (f4 . x) (apply + x)) - -(: f3 (case-lambda (Integer * -> Integer) (Number * -> Number))) -(define (f3 x y) (+ x y)) - -(+ 1 'foo) - -(: f2 (case-lambda (Number * -> Number))) -(define (f2 x y) (+ x y)) \ No newline at end of file +(define (f4 . x) (apply + x)) \ No newline at end of file