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
commit167fa0e777d6c65850ca43b6ed1d3cd9633bfdfa (patch)
tree69696246a27aab9561dded2d0b8398699e21f342
parent9e258b5d4a27fa0e2f4b4a071cdb52c1dc20b53a (diff)
downloadtxr-167fa0e777d6c65850ca43b6ed1d3cd9633bfdfa.tar.gz
txr-167fa0e777d6c65850ca43b6ed1d3cd9633bfdfa.tar.bz2
txr-167fa0e777d6c65850ca43b6ed1d3cd9633bfdfa.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.