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

Fix type of dynamic-place.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-06-25 19:19:27 -04:00
parent 5e26c329d6
commit d346415903
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/mpair
racket/base racket/base
racket/set racket/set
racket/place
syntax/stx racket/private/stx syntax/stx racket/private/stx
(only-in string-constants/private/only-once maybe-print-message) (only-in string-constants/private/only-once maybe-print-message)
(only-in mzscheme make-namespace) (only-in mzscheme make-namespace)
@ -2548,7 +2549,8 @@
[place? (make-pred-ty -Place)] [place? (make-pred-ty -Place)]
[place-channel? (make-pred-ty -Place-Channel)] [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-wait (-> -Place -Int)]
[place-break (-> -Place -Void)] [place-break (-> -Place -Void)]
[place-kill (-> -Place -Void)] [place-kill (-> -Place -Void)]