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

Add contract for run-tests.

Browse Source
This commit is contained in:
Danny Yoo 2012-11-14 10:54:51 -07:00
parent 46dc0357ba
commit 032e1ebf55
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/rackunit/text-ui.rkt
View File

@ -30,6 +30,7 @@
(require racket/match (require racket/match
racket/pretty racket/pretty
racket/contract
"private/base.rkt" "private/base.rkt"
"private/counter.rkt" "private/counter.rkt"
"private/format.rkt" "private/format.rkt"
@ -39,10 +40,15 @@
"private/monad.rkt" "private/monad.rkt"
"private/hash-monad.rkt" "private/hash-monad.rkt"
"private/name-collector.rkt" "private/name-collector.rkt"
"private/text-ui-util.rkt") "private/text-ui-util.rkt"
"private/test.rkt")
(provide run-tests (provide/contract
display-context [run-tests (((or/c test-case? test-suite?))
((or/c 'quiet 'normal 'verbose))
. ->* . exact-nonnegative-integer?)])
(provide display-context
display-exn display-exn
display-summary+return display-summary+return
display-ticker display-ticker