From 41634b8e34a9a201ceef33b054279615e7e0040e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 4 May 2010 17:54:35 -0400 Subject: [PATCH] use `test-begin' in test original commit: d678e7657deee54921e332157367979b90e36971 --- collects/tests/typed-scheme/succeed/racunit.ss | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/tests/typed-scheme/succeed/racunit.ss b/collects/tests/typed-scheme/succeed/racunit.ss index 568e14d2..9fe72f2c 100644 --- a/collects/tests/typed-scheme/succeed/racunit.ss +++ b/collects/tests/typed-scheme/succeed/racunit.ss @@ -1,7 +1,6 @@ -#lang typed/scheme +#lang typed/scheme/base (require typed/racunit) - (: my-+ : Integer Integer -> Integer) (define (my-+ a b) (if (zero? a) @@ -10,9 +9,10 @@ (: my-* : Integer Integer -> Integer) (define (my-* a b) - (if (= a 1) + (if (= 1 a) b (my-* (sub1 a) (my-+ b b)))) -(check-equal? (my-+ 1 1) 2 "Simple addition") -(check-equal? (my-* 1 2) 2 "Simple multiplication") \ No newline at end of file +(test-begin + (check-equal? (my-+ 1 1) 2 "Simple addition") + (check-equal? (my-* 2 2) 4 "Simple multiplication"))