From 315034bbe54252ceed4400308072c09c52457d5f Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 20 Feb 2014 23:17:17 -0500 Subject: [PATCH] Fix type for first argument of dynamic-place Closes PR 14363 --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 ++-- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index 980c8e7bd9..4f84ce913e 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -1237,11 +1237,11 @@ [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 +[dynamic-place (->key (Un -Module-Path -Path) Sym #:at (-val #f) #f #:named (Un (-val #f) -Symbol) #f -Place)] -[dynamic-place* (->key -Module-Path Sym +[dynamic-place* (->key (Un -Module-Path -Path) Sym #:in (-opt -Input-Port) #f #:out (-opt -Output-Port) #f #:err (-opt -Output-Port) #f diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 9953f69d2c..42a2817110 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -1974,6 +1974,7 @@ [tc-e (futures-enabled?) -Boolean] [tc-e (place-enabled?) -Boolean] [tc-e (dynamic-place "a.rkt" 'a #:at #f) -Place] + [tc-e (dynamic-place (string->path "a.rkt") 'a #:at #f) -Place] [tc-e (let-values ([(p _1 _2 _3) (dynamic-place* "a.rkt" 'a #:in (open-input-string "hi"))])