From dc47e25c4417f44d6e6721a5e1b9933c62c78fac Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Mon, 9 Jun 2008 16:08:04 +0000
Subject: [PATCH] Refer to tech terms correctly.

svn: r10196
---
 collects/typed-scheme/typed-scheme.scrbl | 24 +++++++++++++-----------
 1 file changed, 13 insertions(+), 11 deletions(-)

diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl
index ea16d69956..fd52f6cac4 100644
--- a/collects/typed-scheme/typed-scheme.scrbl
+++ b/collects/typed-scheme/typed-scheme.scrbl
@@ -6,6 +6,8 @@
 @begin[
 (define (item* header . args) (apply item @bold[header]{: } args))
 (define-syntax-rule (tmod forms ...) (schememod typed-scheme forms ...))
+(define (gtech . x)  (apply tech x #:doc '(lib "scribblings/guide/guide.scrbl")))
+(define (rtech . x)  (apply tech x #:doc '(lib "scribblings/reference/reference.scrbl")))
 ]
 
 @title[#:tag "top"]{@bold{Typed Scheme}: Scheme with Static Types}
@@ -248,24 +250,24 @@ and @scheme[(make-Nothing)] otherwise.  Therefore, it produces a
 
 @subsubsub*section{Base Types}
 These types represent primitive Scheme data.
-@defidform[Number]{A @tech{number}}
-@defidform[Integer]{An @tech{integer}}
+@defidform[Number]{A @gtech{number}}
+@defidform[Integer]{An @gtech{integer}}
 @defidform[Boolean]{Either @scheme[#t] or @scheme[#f]}
-@defidform[String]{A @tech{string}}
-@defidform[Keyword]{A literal @tech{keyword}}
-@defidform[Symbol]{A @tech{symbol}}
+@defidform[String]{A @gtech{string}}
+@defidform[Keyword]{A literal @gtech{keyword}}
+@defidform[Symbol]{A @gtech{symbol}}
 @defidform[Void]{@|void-const|}
-@defidform[Port]{A @tech{port}}
-@defidform[Path]{A @tech{path}}
-@defidform[Char]{A @tech{character}}
+@defidform[Port]{A @gtech{port}}
+@defidform[Path]{A @rtech{path}}
+@defidform[Char]{A @gtech{character}}
 
 @defidform[Any]{Any value}
 
 The following base types are parameteric in their type arguments.
 
-@defform[(Listof t)]{Homogenous @tech{lists} of @scheme[t]}
-@defform[(Boxof t)]{A @tech{box} of @scheme[t]}
-@defform[(Vectorof t)]{Homogenous @tech{vectors} of @scheme[t]}
+@defform[(Listof t)]{Homogenous @gtech{lists} of @scheme[t]}
+@defform[(Boxof t)]{A @gtech{box} of @scheme[t]}
+@defform[(Vectorof t)]{Homogenous @gtech{vectors} of @scheme[t]}
 @defform[(Option t)]{Either @scheme[t] of @scheme[#f]}
 @defform[(Pair s t)]{is the pair containing @scheme[s] as the @scheme[car]
   and @scheme[t] as the @scheme[cdr]}