From d60e868da32aefd9961d82e47f98df7ab7117482 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Sat, 18 Sep 2010 15:10:36 -0600 Subject: [PATCH] fixed contracts for dict-update, dict-update! Closes PR 11228 --- collects/racket/dict.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/racket/dict.rkt b/collects/racket/dict.rkt index 7da317e3bd..4ec028f3a8 100644 --- a/collects/racket/dict.rkt +++ b/collects/racket/dict.rkt @@ -181,11 +181,13 @@ (->i ([d (and/c dict? dict-mutable?)] [k (d) (dict-key-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?])] [dict-update (->i ([d (and/c dict? dict-can-functional-set?)] [k (d) (dict-key-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-remove! dict-remove!-contract]