From d346415903983e6b4b698129f8d77dcec60b4d05 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 25 Jun 2012 19:19:27 -0400 Subject: [PATCH] Fix type of `dynamic-place`. --- collects/typed-racket/base-env/base-env.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 1f5a1496ac..a63b5b7de1 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -18,6 +18,7 @@ racket/mpair racket/base racket/set + racket/place syntax/stx racket/private/stx (only-in string-constants/private/only-once maybe-print-message) (only-in mzscheme make-namespace) @@ -2548,7 +2549,8 @@ [place? (make-pred-ty -Place)] [place-channel? (make-pred-ty -Place-Channel)] -[dynamic-place (-> -Module-Path Sym -Place)] +;; FIXME: the `#:at` keyword is for remote places, not supported yet +[dynamic-place (->key -Module-Path Sym #:at (-val #f) #f -Place)] [place-wait (-> -Place -Int)] [place-break (-> -Place -Void)] [place-kill (-> -Place -Void)]