From 167fa0e777d6c65850ca43b6ed1d3cd9633bfdfa Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Tue, 14 Nov 2017 06:23:36 -0800 Subject: doc: subtypep unspecified behavior * txr.1: Behavior of subtypep is not specified if either argument isn't a type. --- txr.1 | 3 +++ 1 file changed, 3 insertions(+) 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. -- cgit v1.2.3