summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2017-11-14 06:23:36 -0800
committerKaz Kylheku <kaz@kylheku.com>2017-11-14 06:23:36 -0800
commitb19f145f88e9fd62c8d6e99cb8470563c9997234 (patch)
tree69696246a27aab9561dded2d0b8398699e21f342
parent4830d994659340c795685e8f1df647468420150c (diff)
downloadtxr-b19f145f88e9fd62c8d6e99cb8470563c9997234.tar.gz
txr-b19f145f88e9fd62c8d6e99cb8470563c9997234.tar.bz2
txr-b19f145f88e9fd62c8d6e99cb8470563c9997234.zip
doc: subtypep unspecified behavior
* txr.1: Behavior of subtypep is not specified if either argument isn't a type.
-rw-r--r--txr.13
1 files changed, 3 insertions, 0 deletions
diff --git a/txr.1 b/txr.1
index 45f17286..ab75e874 100644
--- a/txr.1
+++ b/txr.1
@@ -16896,6 +16896,9 @@ and
name a pair of types, such that the left type is a subtype of the right
type.
+If either argument doesn't name a type, the behavior is
+unspecified.
+
Each type is a subtype of itself. Most other type relationships can be inferred
from the type hierarchy diagrams given in the introduction to this section.