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

fixed contracts for dict-update, dict-update!

Browse Source 
Closes PR 11228
This commit is contained in:
Ryan Culpepper 2010-09-18 15:10:36 -06:00
parent 3325350026
commit d60e868da3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/racket/dict.rkt
View File

@ -181,11 +181,13 @@
(->i ([d (and/c dict? dict-mutable?)] (->i ([d (and/c dict? dict-mutable?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[update (d) (-> (dict-value-contract d) (dict-value-contract d))]) [update (d) (-> (dict-value-contract d) (dict-value-contract d))])
([default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c
[_ void?])] [_ void?])]
[dict-update [dict-update
(->i ([d (and/c dict? dict-can-functional-set?)] (->i ([d (and/c dict? dict-can-functional-set?)]
[k (d) (dict-key-contract d)] [k (d) (dict-key-contract d)]
[update (d) (-> (dict-value-contract d) (dict-value-contract d))]) [update (d) (-> (dict-value-contract d) (dict-value-contract d))])
([default (d) (or/c (dict-value-contract d) (-> (dict-value-contract d)))]) ;; use if/c ?
[_ dict?])] [_ dict?])]
[dict-remove! [dict-remove!
dict-remove!-contract] dict-remove!-contract]