relax the contract to match what the server actually needs

closes PR 12476

merge to the release branch, please
This commit is contained in:
Robby Findler 2012-01-11 12:43:30 -06:00
parent 9aecc08579
commit 5e80753b48

View File

@ -906,7 +906,7 @@ all of the names in the tools library, for use defining keybindings
(parameter-doc
drracket:rep:after-expression
(parameter/c (or/c #f (-> void?)))
(parameter/c (or/c #f (-> any)))
top-level-expression
@{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