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

Docs for prompt tag & mark key types

Browse Source 
original commit: aae8890cd3939bf6dd6d0bddc640a2e03dcd1c3f
This commit is contained in:
Asumu Takikawa 2012-11-07 18:07:10 -05:00
parent c6d22871bc
commit 37cbd6d5a9
1 changed files with 29 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
collects/typed-racket/scribblings/reference/types.scrbl
View File

@ -194,7 +194,6 @@ needed to check the desired bounds at runtime.
@defidform[Null]
@defidform[EOF]
@defidform[Continuation-Mark-Set]
@defidform[Prompt-Tag]
@defidform[Undefined]
@defidform[Module-Path]
@defidform[Module-Path-Index]
@ -384,6 +383,35 @@ of type @racket[Syntax-E].}
@racket[(Sexpof Syntax)].}
@section{Control}
The following types represent @rtech{prompt tag}s and
keys for @rtech{continuation mark}s for use with delimited continuation
functions and continuation mark functions.
@defform[(Prompt-Tag s t)]{
A prompt tag to be used in a continuation prompt whose body
produces the type @racket[_s] and whose handler has the type
@racket[_t]. The type @racket[_t] must be a function type.
The domain of @racket[_t] determines the type of the values
that can be aborted, using @racket[abort-current-continuation],
to a prompt with this prompt tag.
@ex[(make-continuation-prompt-tag 'prompt-tag)]
}
@defform[(Continuation-Mark-Key t)]{
A continuation mark key that is used for continuation mark
operations such as @racket[with-continuation-mark] and
@racket[continuation-mark-set->list]. The type @racket[_t]
represents the type of the data that is stored in the
continuation mark with this key.
@ex[(make-continuation-mark-key 'mark-key)]
}
@section{Other Type Constructors}
@defform*[#:id -> #:literals (* ...)