Fix documentation of last change

* doc/lispref/objects.texi (Type Hierarchy): Fix wording and
markup.
* doc/lispref/elisp.texi (Top): Add new node to @detailmenu.
This commit is contained in:
Eli Zaretskii 2024-03-01 10:52:50 +02:00
parent c55694785e
commit 31a4bec609
2 changed files with 12 additions and 8 deletions

View file

@ -300,6 +300,7 @@ Lisp Data Types
* Type Predicates:: Tests related to types.
* Equality Predicates:: Tests of equality between any two objects.
* Mutability:: Some objects should not be modified.
* Type Hierarchy:: Type Hierarchy of Emacs Lisp objects.
Programming Types

View file

@ -60,7 +60,7 @@ to use these types can be found in later chapters.
* Type Predicates:: Tests related to types.
* Equality Predicates:: Tests of equality between any two objects.
* Mutability:: Some objects should not be modified.
* Type Hierarchy:: Type Hierarchy.
* Type Hierarchy:: Type Hierarchy of Emacs Lisp objects.
@end menu
@node Printed Representation
@ -2499,11 +2499,13 @@ instances. Lisp programs should be written so that they work
regardless of whether this optimization is in use.
@node Type Hierarchy
@section Type Hierarchy of Emacs Lisp Objects
Lisp types are organized in a hierarchy, this means that types can
derive from other types. Objects of a type B (which derives from type
A) inherite all the charateristics of type A. This also means that
every objects of type B is at the same time of type A.
Lisp object types are organized in a hierarchy, which means that types
can derive from other types. Objects of type B (which derives from type
A) inherit all the characteristics of type A@. This also means that
every object of type B is at the same time an object of type A from
which it derives.
Every type derives from type @code{t}.
@ -2511,9 +2513,10 @@ New types can be defined by the user through @code{defclass} or
@code{cl-defstruct}.
The Lisp Type Hierarchy for primitive types can be represented as
follow:
follows:
@image{type_hierarchy,,,,png}
@noindent
@image{type_hierarchy,,,,.jpg}
For example type @code{list} derives from (is a special kind of) type
@code{sequence} which on itself derives from @code{t}.
@code{sequence} which itself derives from @code{t}.