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

Fix type of dynamic-place.

Browse Source 
original commit: d346415903983e6b4b698129f8d77dcec60b4d05
This commit is contained in:
Sam Tobin-Hochstadt 2012-06-25 19:19:27 -04:00
parent ec62a2f7c4
commit 867a992700
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/base-env/base-env.rkt
View File

@ -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)]