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

Fix type for dynamic-place.

Browse Source 
original commit: cc8a9b5ed79ee065bdd36c1c01cec929de054192
This commit is contained in:
Vincent St-Amour 2012-07-31 15:13:44 -04:00
parent 445524b021
commit c9d00530aa
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2587,7 +2587,10 @@
[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 #:at (-val #f) #f -Place)]
[dynamic-place (->key -Module-Path Sym
#:at (-val #f) #f
#:named (Un (-val #f) -Symbol) #f
-Place)]
[place-wait (-> -Place -Int)]
[place-break (-> -Place -Void)]
[place-kill (-> -Place -Void)]