doc typos and guarantee on thread-dead-evt result

svn: r14825
This commit is contained in:
Matthew Flatt 2009-05-15 08:53:05 +00:00
parent cfcc1c1093
commit 05113c4a8f
2 changed files with 7 additions and 5 deletions

View File

@ -1117,8 +1117,8 @@ Returns an accessor procedure that takes an instance of the class
produced by @scheme[class-expr] and returns the value of the object's produced by @scheme[class-expr] and returns the value of the object's
field with (external) name @scheme[field-id]. field with (external) name @scheme[field-id].
If @scheme[obj-expr] does not produce an object, the If @scheme[class-expr] does not produce a class, the
@exnraise[exn:fail:contract]. If the object has no @scheme[field-id] @exnraise[exn:fail:contract]. If the class has no @scheme[field-id]
field, the @exnraise[exn:fail:object].} field, the @exnraise[exn:fail:object].}
@defform[(class-field-mutator class-expr field-id)]{ @defform[(class-field-mutator class-expr field-id)]{
@ -1128,8 +1128,8 @@ produced by @scheme[class-expr] and a value, and sets the value of the
object's field with (external) name @scheme[field-id] to the given object's field with (external) name @scheme[field-id] to the given
value. The result is @|void-const|. value. The result is @|void-const|.
If @scheme[obj-expr] does not produce an object, the If @scheme[class-expr] does not produce a class, the
@exnraise[exn:fail:contract]. If the object has no @scheme[field-id] @exnraise[exn:fail:contract]. If the class has no @scheme[field-id]
field, the @exnraise[exn:fail:object].} field, the @exnraise[exn:fail:object].}
@; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

View File

@ -199,7 +199,9 @@ Returns a @tech{synchronizable event} (see @secref["sync"]) that is
ready if and only if @scheme[thd] has terminated. Unlike using ready if and only if @scheme[thd] has terminated. Unlike using
@scheme[thd] directly, however, a reference to the event does not @scheme[thd] directly, however, a reference to the event does not
prevent @scheme[thd] from being garbage collected (see prevent @scheme[thd] from being garbage collected (see
@secref["gc-model"]).} @secref["gc-model"]). For a given @scheme[thd],
@scheme[thread-dead-evt] always returns the same (i.e., @scheme[eq?])
result.}
@defproc[(thread-resume-evt [thd thread?]) evt?]{ @defproc[(thread-resume-evt [thd thread?]) evt?]{