From c88e536c460ff05fc1e8b4c134a5361a14a3f32f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 3 Oct 2013 13:13:46 -0400 Subject: [PATCH] Add (very simple) type for `hash`. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index cae6917904..2e4f262269 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -923,6 +923,8 @@ [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)))] [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)))]