From 2b6d979481572cfba6df531f697551417926cc6e Mon Sep 17 00:00:00 2001 From: Alexis King Date: Fri, 27 Mar 2015 11:31:59 -0700 Subject: [PATCH] Add a note about struct subtyping --- typed-racket-doc/typed-racket/scribblings/guide/types.scrbl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/typed-racket-doc/typed-racket/scribblings/guide/types.scrbl b/typed-racket-doc/typed-racket/scribblings/guide/types.scrbl index 55593e3b..1916a50c 100644 --- 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