relax the contract to match what the server actually needs
closes PR 12476
merge to the release branch, please
(cherry picked from commit 5e80753b48
)
This commit is contained in:
parent
ca73b0569d
commit
42698ef9c5
|
@ -906,7 +906,7 @@ all of the names in the tools library, for use defining keybindings
|
||||||
|
|
||||||
(parameter-doc
|
(parameter-doc
|
||||||
drracket:rep:after-expression
|
drracket:rep:after-expression
|
||||||
(parameter/c (or/c #f (-> void?)))
|
(parameter/c (or/c #f (-> any)))
|
||||||
top-level-expression
|
top-level-expression
|
||||||
@{This parameter is used by @method[drracket:rep:text% evaluate-from-port].
|
@{This parameter is used by @method[drracket:rep:text% evaluate-from-port].
|
||||||
When it is a thunk, then DrRacket invokes the thunk on the user's thread
|
When it is a thunk, then DrRacket invokes the thunk on the user's thread
|
||||||
|
|
Loading…
Reference in New Issue
Block a user