suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Revise `require/typed' docs. Closes PR 11890.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-25 14:07:27 -04:00
parent 3707310250
commit 760625c031
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/scribblings/reference/special-forms.scrbl
View File

@ -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 enforce the specified types. If this contract fails, the module
@racket[m] is blamed. @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 cannot be converted to contracts and raise a static error when used in
a @racket[require/typed] form. Here is an example of using a @racket[require/typed] form. Here is an example of using
@racket[case->] in @racket[require/typed]. @racket[case->] in @racket[require/typed].