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

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

Browse Source 
original commit: 760625c031b0967260d1ff5816affb3a830ae2fb
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-25 14:07:27 -04:00
parent f0266a6660
commit c937f35913
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
@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].