suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix type for first argument of dynamic-place

Browse Source 
Closes PR 14363
This commit is contained in:
Asumu Takikawa 2014-02-20 23:17:17 -05:00
parent fe811e33aa
commit 315034bbe5
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -1237,11 +1237,11 @@
[place? (make-pred-ty -Place)] [place? (make-pred-ty -Place)]
[place-channel? (make-pred-ty -Place-Channel)] [place-channel? (make-pred-ty -Place-Channel)]
;; FIXME: the `#:at` keyword is for remote places, not supported yet ;; 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 #:at (-val #f) #f
#:named (Un (-val #f) -Symbol) #f #:named (Un (-val #f) -Symbol) #f
-Place)] -Place)]
[dynamic-place* (->key -Module-Path Sym [dynamic-place* (->key (Un -Module-Path -Path) Sym
#:in (-opt -Input-Port) #f #:in (-opt -Input-Port) #f
#:out (-opt -Output-Port) #f #:out (-opt -Output-Port) #f
#:err (-opt -Output-Port) #f #:err (-opt -Output-Port) #f

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -1974,6 +1974,7 @@
[tc-e (futures-enabled?) -Boolean] [tc-e (futures-enabled?) -Boolean]
[tc-e (place-enabled?) -Boolean] [tc-e (place-enabled?) -Boolean]
[tc-e (dynamic-place "a.rkt" 'a #:at #f) -Place] [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 [tc-e (let-values
([(p _1 _2 _3) ([(p _1 _2 _3)
(dynamic-place* "a.rkt" 'a #:in (open-input-string "hi"))]) (dynamic-place* "a.rkt" 'a #:in (open-input-string "hi"))])