From b55c9dfa2b90cc17aadce23213feb19455f36d95 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 1 May 2011 10:56:16 -0400 Subject: [PATCH] Document utility predicates. original commit: 045fd7a77c814016739020a7eedaac1ad03d4795 --- collects/typed-scheme/scribblings/ts-reference.scrbl | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index 60e7ce89..a7ecde1e 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -111,9 +111,9 @@ Single-Flonum-Zero )]{These types represent the hierarchy of @rtech{numbers} of Racket. @racket[Integer] includes only @rtech{integers} that are @rtech{exact numbers}, corresponding to the predicate @racket[exact-integer?]. -@racket{Real} includes both exact and inexact reals. -An @racket{Inexact-Real} can be either 32- or 64-bit floating-point -numbers. @racket{Float} is restricted to 64-bit floats, which are the +@racket[Real] includes both exact and inexact reals. +An @racket[Inexact-Real] can be either 32- or 64-bit floating-point +numbers. @racket[Float] is restricted to 64-bit floats, which are the default in Racket. @ex[ @@ -786,6 +786,12 @@ program errors. These assertions behave like @racket[assert]. } +@defproc[(defined? [v any/c]) boolean?]{A predicate for determining if +@racket[v] is @emph{not} @|undefined-const|.} + +@defproc[(index? [v any/c]) boolean?]{A predicate for the @racket[Index] +type.} + @section{Typed Racket Syntax Without Type Checking} @defmodulelang*[(typed/racket/no-check