From 431d91bf89e70f248b45b28a74073633d37a15df Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 28 Jun 2010 18:09:30 -0400 Subject: [PATCH] Fixed the type for hash-ref! original commit: 90252c9bd33e7205a5494dd13fc823d6df78b477 --- collects/typed-scheme/private/base-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt index d2252e2b..56651fef 100644 --- a/collects/typed-scheme/private/base-env.rkt +++ b/collects/typed-scheme/private/base-env.rkt @@ -536,7 +536,8 @@ (cl-> [((-HT a b) a) b] [((-HT a b) a (-> c)) (Un b c)]))] [hash-ref! (-poly (a b) - (cl-> [((-HT a b) a (-> b)) b]))] + (cl-> [((-HT a b) a b) b] + [((-HT a b) a (-> b)) b]))] [hash-has-key? (-poly (a b) (-> (-HT a b) a B))] [hash-update! (-poly (a b) (cl-> [((-HT a b) a (-> b b)) -Void]