From 5d6fde455bfe57a309e2df5943e586dca5156667 Mon Sep 17 00:00:00 2001 From: JackFirth Date: Sun, 22 Feb 2015 21:16:44 -0800 Subject: [PATCH] Add check tests in positive case --- doc-coverage/export-tests.rkt | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/doc-coverage/export-tests.rkt b/doc-coverage/export-tests.rkt index 8fe9fbe..12a8721 100644 --- a/doc-coverage/export-tests.rkt +++ b/doc-coverage/export-tests.rkt @@ -11,12 +11,19 @@ (define (fail-check-unless cond msg) (unless cond (fail-check msg))) +(module+ test + (check-exn exn:test:check? + (thunk (fail-check-unless #f "test")))) + (define-check (check-all-documented module-name) (let* ([undocumented (module->undocumented-exported-names module-name)] [num-undocumented (length undocumented)]) (fail-check-unless (zero? num-undocumented) (check-all-documented-message module-name num-undocumented undocumented)))) +(module+ test + (check-not-exn (thunk check-all-documented 'racket/promise))) + (define (check-all-documented-message module-name num-undocumented undocumented) (string-append "Module " (symbol->string module-name) @@ -35,6 +42,9 @@ (fail-check-unless (has-docs? module-name binding) (check-documented-message module-name binding))) +(module+ test + (check-not-exn (thunk (check-documented 'racket/match 'match)))) + (define (check-documented-message module-name binding) (string-append "Module " (symbol->string module-name)