restored object-name tests for the new doc system
This commit is contained in:
parent
5437708a90
commit
b5b918ca4a
|
@ -8,6 +8,18 @@
|
||||||
(define no-extra-if-tests? #t)
|
(define no-extra-if-tests? #t)
|
||||||
|
|
||||||
;; Check export names:
|
;; Check export names:
|
||||||
|
;; based on new docs:
|
||||||
|
(require (submod lang/htdp-advanced procedures))
|
||||||
|
(for ((s (docs)))
|
||||||
|
(for ((rows (cdr s)))
|
||||||
|
(for ((r rows))
|
||||||
|
(define sy (syntax-e (car r)))
|
||||||
|
(define vv (dynamic-require 'lang/htdp-advanced sy))
|
||||||
|
(when (and (procedure? vv) (not (eq? vv call/cc)))
|
||||||
|
(test sy object-name vv)))))
|
||||||
|
|
||||||
|
;; based on old docs:
|
||||||
|
|
||||||
#;
|
#;
|
||||||
(require syntax/docprovide)
|
(require syntax/docprovide)
|
||||||
#;
|
#;
|
||||||
|
|
|
@ -8,6 +8,17 @@
|
||||||
(define no-extra-if-tests? #t)
|
(define no-extra-if-tests? #t)
|
||||||
|
|
||||||
;; Check export names:
|
;; Check export names:
|
||||||
|
;; based on new docs:
|
||||||
|
(require (submod lang/htdp-intermediate-lambda procedures))
|
||||||
|
(for ((s (docs)))
|
||||||
|
(for ((rows (cdr s)))
|
||||||
|
(for ((r rows))
|
||||||
|
(define sy (syntax-e (car r)))
|
||||||
|
(define vv (dynamic-require 'lang/htdp-intermediate-lambda sy))
|
||||||
|
(when (procedure? vv)
|
||||||
|
(test sy object-name vv)))))
|
||||||
|
|
||||||
|
;; based on old docs:
|
||||||
#;
|
#;
|
||||||
(require syntax/docprovide)
|
(require syntax/docprovide)
|
||||||
#;
|
#;
|
||||||
|
|
|
@ -8,6 +8,17 @@
|
||||||
(define no-extra-if-tests? #t)
|
(define no-extra-if-tests? #t)
|
||||||
|
|
||||||
;; Check export names:
|
;; Check export names:
|
||||||
|
;; based on new docs:
|
||||||
|
(require (submod lang/htdp-intermediate procedures))
|
||||||
|
(for ((s (docs)))
|
||||||
|
(for ((rows (cdr s)))
|
||||||
|
(for ((r rows))
|
||||||
|
(define sy (syntax-e (car r)))
|
||||||
|
(define vv (dynamic-require 'lang/htdp-intermediate sy))
|
||||||
|
(when (procedure? vv)
|
||||||
|
(test sy object-name vv)))))
|
||||||
|
|
||||||
|
;; based on old docs:
|
||||||
#;
|
#;
|
||||||
(require syntax/docprovide)
|
(require syntax/docprovide)
|
||||||
#;
|
#;
|
||||||
|
|
Loading…
Reference in New Issue
Block a user