From 6ba4798b06cb02ed33e00a5673250ff52aef8910 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 3 Dec 2012 11:05:21 -0500 Subject: [PATCH] Revert "Ignore contracted proxies from `racket`" This reverts commit 702676030b8d4c956d063b3ce4e3bf0d3dc2c594. (this should actually be documented) original commit: 25ed52f9d6f407b5ab32ecf5dca70d853d679744 --- collects/typed/tests/test-docs-complete.rkt | 18 +++++++----------- 1 file changed, 7 insertions(+), 11 deletions(-) diff --git a/collects/typed/tests/test-docs-complete.rkt b/collects/typed/tests/test-docs-complete.rkt index e5fa6533..9a26620f 100644 --- a/collects/typed/tests/test-docs-complete.rkt +++ b/collects/typed/tests/test-docs-complete.rkt @@ -1,16 +1,12 @@ #lang racket/base (require rackunit/docs-complete) -(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)) +;; 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)) (check-docs (quote typed-scheme) #:skip exclude) (check-docs (quote typed/scheme) #:skip exclude) (check-docs (quote typed/scheme/base) #:skip exclude)