www

commit 5d6fde455bfe57a309e2df5943e586dca5156667
parent 91a6e7feacf0faabff71b12931f275e089d0f2b4
Author: JackFirth <jackhfirth@gmail.com>
Date:   Sun, 22 Feb 2015 21:16:44 -0800

Add check tests in positive case

Diffstat:
M
doc-coverage/export-tests.rkt
 | 
10
++++++++++

1 file changed, 10 insertions(+), 0 deletions(-)
diff --git 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)