suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use `test-begin' in test

Browse Source 
original commit: d678e7657deee54921e332157367979b90e36971
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-04 17:54:35 -04:00
parent 11ae3af9b3
commit 41634b8e34
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/tests/typed-scheme/succeed/racunit.ss
View File

@ -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")
(test-begin
(check-equal? (my-+ 1 1) 2 "Simple addition")
(check-equal? (my-* 2 2) 4 "Simple multiplication"))