From e5183ca2c3b3fca549839a5c8a7e695703059de3 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Sat, 12 Dec 2015 09:02:47 -0800 Subject: Improvement in type tree diagram. * txr.1: Structures move under cobj types, which are indicated with angle brackets to show they are not programmer-visible. --- txr.1 | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/txr.1 b/txr.1 index 65e759c7..4cdfcecd 100644 --- a/txr.1 +++ b/txr.1 @@ -13416,19 +13416,23 @@ is a symbol which names a special operator, otherwise it returns In \*(TL, objects obey the following type hierarchy. In this type hierarchy, the internal nodes denote abstract types: no object is an instance of -an abstract type: +an abstract type. Nodes in square brackets indicate an internal structure +in the type graph, visible to programs, and angle +brackets indicate a plurality of types which are not listed by name: .cblk - t ----+--- ---+--- hash + t ----+--- [cobj types] ---+--- hash | | | +--- stream | | | +--- random-state | | - | . + | +--- struct-type + | | + | +--- + | | | +... | - +--- | +--- sequence ---+--- string ---+--- str | | | -- cgit v1.2.3