Revert "Add contract for run-tests."
Related to PR 13936.
This reverts commit 032e1ebf55
.
This commit is contained in:
parent
25aed0721a
commit
35df1e2654
|
@ -30,7 +30,6 @@
|
||||||
|
|
||||||
(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"
|
||||||
|
@ -40,15 +39,10 @@
|
||||||
"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/contract
|
(provide run-tests
|
||||||
[run-tests (((or/c test-case? test-suite?))
|
display-context
|
||||||
((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
|
||||||
|
|
Loading…
Reference in New Issue
Block a user