From 19455584ab9b68739c8c551007d87a773ab21c5b Mon Sep 17 00:00:00 2001 From: Alex Knauth Date: Sat, 24 Jan 2015 09:59:43 -0500 Subject: [PATCH] more useful type for hash still only up to 8 arguments --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 2061057a..711ff441 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -867,8 +867,11 @@ [hash-eqv? (-> -HashTop B)] [hash-equal? (-> -HashTop B)] [hash-weak? (-> -HashTop B)] -;; not a very useful type, but better than nothing -[hash (-poly (a b) (-> (-HT a b)))] +[hash (-poly (a b) (cl->* (-> (-HT a b)) + (a b . -> . (-HT a b)) + (a b a b . -> . (-HT a b)) + (a b a b a b . -> . (-HT a b)) + (a b a b a b a b . -> . (-HT a b))))] [hasheqv (-poly (a b) (-> (-HT a b)))] [hasheq (-poly (a b) (-> (-HT a b)))] [make-hash (-poly (a b) (->opt [(-lst (-pair a b))] (-HT a b)))]