racket/private/class-internal: protect ids private to class implementation

This commit is contained in:
Matthew Flatt 2014-05-28 07:56:05 +01:00
parent 8ad889e2c4
commit 81f6f32440

View File

@ -4654,9 +4654,10 @@ An example
(provide (protect-out get-field/proc)
;; for class-c-old.rkt:
make-naming-constructor prop:object _object? object-ref replace-ictc-blame
concretize-ictc-method field-info-extend-external field-info-extend-internal this-param
object-ref/unwrap impersonator-prop:original-object has-original-object? original-object
(protect-out
make-naming-constructor prop:object _object? object-ref replace-ictc-blame
concretize-ictc-method field-info-extend-external field-info-extend-internal this-param
object-ref/unwrap impersonator-prop:original-object has-original-object? original-object)
;; end class-c-old.rkt requirements
field-info-internal-ref