Revert "Ignore contracted proxies from racket
"
This reverts commit 702676030b
.
(this should actually be documented)
This commit is contained in:
parent
acd24d68ec
commit
25ed52f9d6
|
@ -1,16 +1,12 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require rackunit/docs-complete)
|
(require rackunit/docs-complete)
|
||||||
(define exclude
|
;; these are currently undocumented in `racket' as well
|
||||||
'(;; these are currently undocumented in `racket' as well
|
(define exclude '(define-place
|
||||||
define-place
|
deserialize-info:set-v0
|
||||||
deserialize-info:set-v0
|
make-primitive-class
|
||||||
make-primitive-class
|
place-sleep
|
||||||
place-sleep
|
procedure-closure-contents-eq?
|
||||||
procedure-closure-contents-eq?
|
processor-count))
|
||||||
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) #:skip exclude)
|
(check-docs (quote typed/scheme) #:skip exclude)
|
||||||
(check-docs (quote typed/scheme/base) #:skip exclude)
|
(check-docs (quote typed/scheme/base) #:skip exclude)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user