Add a note about struct subtyping

2015-03-27 11:31:59 -07:00 · 2015-03-27 11:31:59 -07:00 · 2b6d979481
commit 2b6d979481
parent ffe1285828
1 changed files with 3 additions and 0 deletions
--- a/typed-racket-doc/typed-racket/scribblings/guide/types.scrbl
+++ b/typed-racket-doc/typed-racket/scribblings/guide/types.scrbl
@ -150,6 +150,9 @@ previous type.

 Instances of this structure, such as @racket[(point 7 12)], have type @racket[point].

+If a struct supertype is provided, then the newly defined type
+is a @tech{subtype} of the parent.
+
@section{Subtyping}

 In Typed Racket, all types are placed in a hierarchy, based on what