From 36bca721bac53639ce413fbdf7d1143328639ebb Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 9 Sep 2013 15:25:13 -0400 Subject: [PATCH] Call out to sec. 5 in sec. 2 original commit: db9efa61aa1c669485535911f2dafee0795c66b3 --- .../typed-racket/scribblings/guide/begin.scrbl | 4 ++++ .../typed-racket/scribblings/guide/occurrence.scrbl | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/begin.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/begin.scrbl index 421acc80..dc9a0f00 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/begin.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/begin.scrbl @@ -114,6 +114,10 @@ process of elimination we can determine that @racket[t] must be a @racket[node]. Therefore, we can use accessors such as @racket[node-left] and @racket[node-right] with @racket[t] as input. +The process by which Typed Racket type-checks the bodies of the +@racket[cond] clauses, using information from the predicate checks, +is called @tech{occurrence typing} and is described in detail in +@Secref["occurrence-typing"]. @section{Type Errors} diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/occurrence.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/occurrence.scrbl index fc689cbd..ca85cc06 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/occurrence.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/guide/occurrence.scrbl @@ -7,7 +7,7 @@ @(define the-eval (make-base-eval)) @(the-eval '(require typed/racket)) -@title[#:tag "occurrence"]{Occurrence Typing} +@title[#:tag "occurrence-typing"]{Occurrence Typing} @section{Basic Occurrence Typing}