From 2bb0698388422fd2e5faaf87fdd99dfa38106245 Mon Sep 17 00:00:00 2001 From: Phil Nguyen Date: Wed, 4 Jan 2017 15:16:49 -0500 Subject: [PATCH] add types for `hash-clear`, `hash-clear!`, and `hash-copy-clear` (#466) --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 6 ++++++ 1 file changed, 6 insertions(+) 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 aa70ba3f..ea9f7580 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -966,6 +966,12 @@ [(-HashtableTop Univ) -HashtableTop]))] [hash-remove! (-poly (a b) (cl-> [((-HT a b) a) -Void] [(-HashtableTop a) -Void]))] +[hash-clear! (-> -HashtableTop -Void)] +[hash-clear (-poly (a b) (cl-> [((-HT a b)) (-HT a b)] + [(-HashtableTop) -HashtableTop]))] +[hash-copy-clear (-poly (a b) (cl-> [((-HT a b)) (-HT a b)] + [(-HashtableTop) -HashtableTop]))] + [hash-map (-poly (a b c) (cl-> [((-HT a b) (a b . -> . c)) (-lst c)] [(-HashtableTop (Univ Univ . -> . c)) (-lst c)]))] [hash-for-each (-poly (a b c) (cl-> [((-HT a b) (-> a b c)) -Void]