suzanne.soy/typed-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

original commit: 3b006df29d3b74428fbc2e3a33a53f36fb400753
This commit is contained in:
Asumu Takikawa 2014-10-21 00:51:47 -04:00
parent 38ceb044cd
commit 744152b0d8
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
includes all of the initialization argument, method, and field types
from the specified type alias (which must be an alias for a class type).
includes all of the method and field types from the specified type alias
(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
type.