From 744152b0d8ad39bd1ec57a8298e00736b4d60cbf Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 21 Oct 2014 00:51:47 -0400 Subject: [PATCH] Fix TR docs on #:implements in Class types Please merge to v6.1.1 original commit: 3b006df29d3b74428fbc2e3a33a53f36fb400753 --- .../typed-racket/scribblings/reference/typed-classes.scrbl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl index f1ce6a51..470f4393 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/typed-classes.scrbl @@ -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.