From 8e884089a230d3cb21c73841657d7b9db956d0d3 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Sun, 8 Dec 2019 17:55:26 -0500 Subject: [PATCH] doc: pidefterm -> deftech (#2956) Use `deftech` for "structure subtype" so that Typed Racket can more easily reference it --- pkgs/racket-doc/scribblings/reference/struct.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/racket-doc/scribblings/reference/struct.scrbl b/pkgs/racket-doc/scribblings/reference/struct.scrbl index 5a3e1c8a83..ff074b0fb5 100644 --- a/pkgs/racket-doc/scribblings/reference/struct.scrbl +++ b/pkgs/racket-doc/scribblings/reference/struct.scrbl @@ -27,7 +27,7 @@ associated with the structure type, and the corresponding arguments are omitted from the constructor procedure. All automatic fields in a structure type follow the non-automatic fields. -A structure type can be created as a @pidefterm{structure subtype} of +A structure type can be created as a @deftech{structure subtype} of an existing base structure type. An instance of a structure subtype can always be used as an instance of the base structure type, but the subtype gets its own predicate procedure, and it may have its own