From c937f35913f6ea5392aacc4788e171f720f214e0 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 25 Aug 2011 14:07:27 -0400 Subject: [PATCH] Revise `require/typed' docs. Closes PR 11890. original commit: 760625c031b0967260d1ff5816affb3a830ae2fb --- collects/typed-scheme/scribblings/reference/special-forms.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/scribblings/reference/special-forms.scrbl b/collects/typed-scheme/scribblings/reference/special-forms.scrbl index 5e6dbec4..39e10ee1 100644 --- a/collects/typed-scheme/scribblings/reference/special-forms.scrbl +++ b/collects/typed-scheme/scribblings/reference/special-forms.scrbl @@ -371,7 +371,7 @@ In all cases, the identifiers are protected with @rtech{contracts} which enforce the specified types. If this contract fails, the module @racket[m] is blamed. -Some types, notably polymorphic types constructed with @racket[All], +Some types, notably the types of predicates such as @racket[number?], cannot be converted to contracts and raise a static error when used in a @racket[require/typed] form. Here is an example of using @racket[case->] in @racket[require/typed].