suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix TR docs on #:implements in Class types

Browse Source 
Please merge to v6.1.1
This commit is contained in:
Asumu Takikawa 2014-10-21 00:51:47 -04:00
parent 2bad36a6a1
commit 3b006df29d
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl
View File

@ -295,8 +295,11 @@ additional provides all other bindings from @racketmodname[racket/class].
] ]
When @racket[type-alias-id] is provided, the resulting class type When @racket[type-alias-id] is provided, the resulting class type
includes all of the initialization argument, method, and field types includes all of the method and field types from the specified type alias
from the specified type alias (which must be an alias for a class type). (which must be an alias for a class type). This is intended to allow a type
for a subclass to include parts of its parent class type. The initialization argument
types of the parent, however, are @emph{not} included because a subclass does not necessarily
share the same initialization arguments as its parent class.
Multiple @racket[#:implements] clauses may be provided for a single class Multiple @racket[#:implements] clauses may be provided for a single class
type. type.