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

Examples for #:opaque and require/typed/provide

Browse Source 
original commit: 4fef780a7b5fa36c3c7336c3079365160828c30b
This commit is contained in:
Asumu Takikawa 2013-07-02 16:38:49 -04:00
parent 372607ba8a
commit b470ef0a6e
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/special-forms.scrbl
View File

@ -423,6 +423,13 @@ as precisely those values to which @racket[pred] produces
@racket[#t]. @racket[pred] must have type @racket[(Any -> Boolean)].
Opaque types must be required lexically before they are used.
@ex[(require/typed racket/base
[#:opaque Evt evt?]
[alarm-evt (Real -> Evt)]
[sync (Evt -> Any)])
evt?
(sync (alarm-evt (+ 100 (current-inexact-milliseconds))))]
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.
@ -449,6 +456,15 @@ so we need to use @racket[case->].}
@defform[(require/typed/provide m rt-clause ...)]{
Similar to @racket[require/typed], but also provides the imported identifiers.
Uses outside of a module top-level raise an error.
@ex[(module evts typed/racket
(require/typed/provide racket/base
[#:opaque Evt evt?]
[alarm-evt (Real -> Evt)]
[sync (Evt -> Any)]))
(require 'evts)
(sync (alarm-evt (+ 100 (current-inexact-milliseconds))))]
}
@section{Other Forms}