From 36dd39a994ca79128879a2d971c709ce183cd780 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 18 Jun 2009 17:02:40 +0000 Subject: [PATCH] add index entries svn: r15206 original commit: d7f0c681c7504224a87e9fa1d4604db9cdfc11c1 --- collects/typed-scheme/ts-reference.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/ts-reference.scrbl b/collects/typed-scheme/ts-reference.scrbl index c5d03a0b..7f672c0e 100644 --- a/collects/typed-scheme/ts-reference.scrbl +++ b/collects/typed-scheme/ts-reference.scrbl @@ -235,7 +235,7 @@ them the specified types. The first form requires @scheme[r], giving it type @scheme[t]. -The second and third forms require the struct with name @scheme[name] +@index["struct"]{The second and third forms} require the struct with name @scheme[name] with fields @scheme[f ...], where each field has type @scheme[t]. The third form allows a @scheme[parent] structure type to be specified. The parent type must already be a structure type known to Typed @@ -244,7 +244,7 @@ structure predicate has the appropriate Typed Scheme filter type so that it may be used as a predicate in @scheme[if] expressions in Typed Scheme. -The fourth case defines a new type @scheme[t]. @scheme[pred], imported from +@index["opaque"]{The fourth case} defines a new type @scheme[t]. @scheme[pred], imported from module @scheme[m], is a predicate for this type. The type is defined as precisely those values to which @scheme[pred] produces @scheme[#t]. @scheme[pred] must have type @scheme[(Any -> Boolean)].