From c9d00530aa1e639ecd72e9153e66699a98a7085d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 31 Jul 2012 15:13:44 -0400 Subject: [PATCH] Fix type for dynamic-place. original commit: cc8a9b5ed79ee065bdd36c1c01cec929de054192 --- collects/typed-racket/base-env/base-env.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 779f4653..7dae4f5f 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -2587,7 +2587,10 @@ [place? (make-pred-ty -Place)] [place-channel? (make-pred-ty -Place-Channel)] ;; FIXME: the `#:at` keyword is for remote places, not supported yet -[dynamic-place (->key -Module-Path Sym #:at (-val #f) #f -Place)] +[dynamic-place (->key -Module-Path Sym + #:at (-val #f) #f + #:named (Un (-val #f) -Symbol) #f + -Place)] [place-wait (-> -Place -Int)] [place-break (-> -Place -Void)] [place-kill (-> -Place -Void)]