From d6c37aaf3d86fa446a5a8f32a9cb608221c33b49 Mon Sep 17 00:00:00 2001 From: John Clements Date: Sun, 21 Dec 2008 10:00:47 +0000 Subject: [PATCH 1/2] ... svn: r12919 original commit: 424ec50bfb3b755103b0516c4a0e69d40ed67811 --- collects/typed-scheme/ts-guide.scrbl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/ts-guide.scrbl b/collects/typed-scheme/ts-guide.scrbl index e6e1845c..f662e135 100644 --- a/collects/typed-scheme/ts-guide.scrbl +++ b/collects/typed-scheme/ts-guide.scrbl @@ -14,6 +14,8 @@ @author["Sam Tobin-Hochstadt"] +@index["typecheck"] + Typed Scheme is a Scheme-like language, with a type system that supports common Scheme programming idioms. Explicit type declarations are required --- that is, there is no type inference. The language From 547102b2b4532abdde303bfd6adf9905892cc7a0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 21 Dec 2008 13:57:46 +0000 Subject: [PATCH 2/2] fine-tune typechecking index entry svn: r12920 original commit: ec600c59bb9caa15f10fb68844677e56a4ce86dc --- collects/typed-scheme/ts-guide.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/ts-guide.scrbl b/collects/typed-scheme/ts-guide.scrbl index f662e135..079a86fb 100644 --- a/collects/typed-scheme/ts-guide.scrbl +++ b/collects/typed-scheme/ts-guide.scrbl @@ -14,7 +14,7 @@ @author["Sam Tobin-Hochstadt"] -@index["typecheck"] +@section-index["typechecking"] Typed Scheme is a Scheme-like language, with a type system that supports common Scheme programming idioms. Explicit type declarations