From 42698ef9c54f2b032f9d84d3869fe6d2984b6dc1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 11 Jan 2012 12:43:30 -0600 Subject: [PATCH] relax the contract to match what the server actually needs closes PR 12476 merge to the release branch, please (cherry picked from commit 5e80753b48125eae686c6a2fae12a8a91f4d75da) --- collects/drracket/tool-lib.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/drracket/tool-lib.rkt b/collects/drracket/tool-lib.rkt index cf121a8966..7f5ffcfbf8 100644 --- a/collects/drracket/tool-lib.rkt +++ b/collects/drracket/tool-lib.rkt @@ -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