suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

doc: pidefterm -> deftech (#2956)

Browse Source 
Use `deftech` for "structure subtype" so that Typed Racket can more
easily reference it
This commit is contained in:
Ben Greenman 2019-12-08 17:55:26 -05:00 committed by GitHub
parent db626bde3d
commit 8e884089a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/racket-doc/scribblings/reference/struct.scrbl
View File

@ -27,7 +27,7 @@ associated with the structure type, and the corresponding arguments
are omitted from the constructor procedure. All automatic fields in a are omitted from the constructor procedure. All automatic fields in a
structure type follow the non-automatic fields. 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 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 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 subtype gets its own predicate procedure, and it may have its own