From 81c53ccb3ce3bc35dc8778324dbc353cbc6a969c Mon Sep 17 00:00:00 2001
From: "Charles.Forsyth" <devnull@localhost>
Date: Thu, 15 Nov 2007 19:01:29 +0000
Subject: 20071115-1900

---
 doc/limbo/limbo.ms  |  17 ++++++++++++++---
 doc/limbo/limbo.pdf | Bin 279092 -> 158831 bytes
 2 files changed, 14 insertions(+), 3 deletions(-)

(limited to 'doc/limbo')

diff --git a/doc/limbo/limbo.ms b/doc/limbo/limbo.ms
index 84f25533..7f79ce4d 100644
--- a/doc/limbo/limbo.ms
+++ b/doc/limbo/limbo.ms
@@ -1618,8 +1618,11 @@ A term of the form
 	termC . Iidentifier
 .s2
 denotes selection of a member of an
-.CW adt .
-The term must be a
+.CW adt
+or one element from a tuple.
+.PP
+In the first case,
+the term must be a
 type name or yield an object;
 its type must be
 .CW adt
@@ -1630,6 +1633,14 @@ the identifier must be a member of the
 .CW adt .
 The result denotes the named member (either a data object
 or a function).
+.PP
+In the second case,
+the term must yield a value of a tuple type,
+and the identifier must have the form \f(CWt\fP\fIn\fP
+where
+.I n
+is a decimal number giving the index (starting from 0) of an element of the tuple.
+The result is the value of that element.
 .NH 3
 Module qualification
 .PP
@@ -3934,7 +3945,7 @@ and
 .P2
 is equivalent to
 .P1
-	th: M.Thing;
+	th: M->Thing;
 	m->th.f();
 .P2
 When the module declaration for the module being
diff --git a/doc/limbo/limbo.pdf b/doc/limbo/limbo.pdf
index b153c6aa..7086c05d 100644
Binary files a/doc/limbo/limbo.pdf and b/doc/limbo/limbo.pdf differ
-- 
cgit v1.2.3