minor clarification to specify #:opaque more fully

This commit is contained in:
Robby Findler 2014-01-31 09:20:14 -06:00
parent 4ecba66b8d
commit b7bd13aedd

View File

@ -1781,7 +1781,7 @@ Methods and fields listed in an @racket[absent] clause must @emph{not} be presen
A class contract can be specified to be @emph{opaque} with the @racket[#:opaque] A class contract can be specified to be @emph{opaque} with the @racket[#:opaque]
keyword. An opaque class contract will only accept a class that defines keyword. An opaque class contract will only accept a class that defines
exactly the methods and fields specified by the contract. A contract error exactly the external methods and fields specified by the contract. A contract error
is raised if the contracted class contains any methods or fields that are is raised if the contracted class contains any methods or fields that are
not specified. not specified.