From de8434f9fa29e5b0f9200aebbe11ac9725ee53e4 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 30 Nov 2012 23:43:41 -0500 Subject: [PATCH] Ignore contracted proxies from `racket` original commit: 702676030b8d4c956d063b3ce4e3bf0d3dc2c594 --- collects/typed/tests/test-docs-complete.rkt | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/collects/typed/tests/test-docs-complete.rkt b/collects/typed/tests/test-docs-complete.rkt index 9a26620f..e5fa6533 100644 --- a/collects/typed/tests/test-docs-complete.rkt +++ b/collects/typed/tests/test-docs-complete.rkt @@ -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)