From c633913b9484c623ca6e56c7b485613c9d60716b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 20 Oct 2010 15:15:14 -0400 Subject: [PATCH] Add optional argument to make-hash and co. --- collects/typed-scheme/private/base-env.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index 9cb5e841fc..58f09fd235 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -548,12 +548,12 @@ [hash-eq? (-> (make-HashtableTop) B)] [hash-eqv? (-> (make-HashtableTop) B)] [hash-weak? (-> (make-HashtableTop) B)] -[make-hash (-poly (a b) (-> (-HT a b)))] -[make-hasheq (-poly (a b) (-> (-HT a b)))] -[make-hasheqv (-poly (a b) (-> (-HT a b)))] -[make-weak-hash (-poly (a b) (-> (-HT a b)))] -[make-weak-hasheq (-poly (a b) (-> (-HT a b)))] -[make-weak-hasheqv (-poly (a b) (-> (-HT a b)))] +[make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] +[make-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] +[make-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] +[make-weak-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] +[make-weak-hasheq (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] +[make-weak-hasheqv (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))] [make-immutable-hash (-poly (a b) (-> (-lst (-pair a b)) (-HT a b)))] [make-immutable-hasheq (-poly (a b) (-> (-lst (-pair a b)) (-HT a b)))] [make-immutable-hasheqv (-poly (a b) (-> (-lst (-pair a b)) (-HT a b)))]