edit: make object/c-helpers private (#1374)

Fixes the TR "undocumented public identifiers" DrDr error
This commit is contained in:
Benjamin Greenman 2016-07-12 16:16:42 -04:00 committed by Sam Tobin-Hochstadt
parent e76df3bb00
commit 3afa58e8d1
2 changed files with 3 additions and 4 deletions

View File

@ -22,9 +22,10 @@
just-check-existence just-check-existence? just-check-existence just-check-existence?
build-internal-class/c internal-class/c-late-neg-proj build-internal-class/c internal-class/c-late-neg-proj
class/c-internal-name-clauses class/c-internal-name-clauses
dynamic-object/c
;; needed by TR
base-object/c? build-object/c-type-name object/c-width-subtype? base-object/c? build-object/c-type-name object/c-width-subtype?
object/c-common-methods-stronger? object/c-common-fields-stronger? object/c-common-methods-stronger? object/c-common-fields-stronger?)
dynamic-object/c)
;; Shorthand contracts that treat the implicit object argument as if it were ;; Shorthand contracts that treat the implicit object argument as if it were
;; contracted with any/c. ;; contracted with any/c.

View File

@ -65,8 +65,6 @@
(struct-out exn:fail:object) (struct-out exn:fail:object)
make-primitive-class make-primitive-class
class/c ->m ->*m ->dm case->m object/c instanceof/c class/c ->m ->*m ->dm case->m object/c instanceof/c
base-object/c? build-object/c-type-name object/c-width-subtype?
object/c-common-methods-stronger? object/c-common-fields-stronger?
dynamic-object/c dynamic-object/c
class-seal class-unseal class-seal class-unseal