Ignore contracted proxies from racket

original commit: 702676030b8d4c956d063b3ce4e3bf0d3dc2c594
This commit is contained in:
Asumu Takikawa 2012-11-30 23:43:41 -05:00
parent 14187b4cdd
commit de8434f9fa

View File

@ -1,12 +1,16 @@
#lang racket/base
(require rackunit/docs-complete)
;; these are currently undocumented in `racket' as well
(define exclude '(define-place
deserialize-info:set-v0
make-primitive-class
place-sleep
procedure-closure-contents-eq?
processor-count))
(define exclude
'(;; these are currently undocumented in `racket' as well
define-place
deserialize-info:set-v0
make-primitive-class
place-sleep
procedure-closure-contents-eq?
processor-count
;; the following are contracted proxy values that are
;; already documented in `racket'
default-continuation-prompt-tag))
(check-docs (quote typed-scheme) #:skip exclude)
(check-docs (quote typed/scheme) #:skip exclude)
(check-docs (quote typed/scheme/base) #:skip exclude)