From e1b9c06d5c3821faf1f3cd24ca0faf1a66ec371b Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Sat, 6 Feb 2016 12:49:50 -0500 Subject: [PATCH] remove old in-hash- private ids --- .../typed-racket/base-env/base-special-env.rkt | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-special-env.rkt b/typed-racket-lib/typed-racket/base-env/base-special-env.rkt index 0c4f4f86..18cdcb7e 100644 --- a/typed-racket-lib/typed-racket/base-env/base-special-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-special-env.rkt @@ -116,22 +116,6 @@ [(make-template-identifier 'in-bytes 'racket/private/for) (->opt -Bytes [-Int (-opt -Int) -Int] (-seq -Byte))] ;; in-hash and friends - [(make-template-identifier 'in-hash 'racket/private/for) - (-poly (a b) - (cl-> [((-HT a b)) (-seq a b)] - [(-HashTop) (-seq Univ Univ)]))] - [(make-template-identifier 'in-hash-keys 'racket/private/for) - (-poly (a b) - (cl-> [((-HT a b)) (-seq a)] - [(-HashTop) (-seq Univ)]))] - [(make-template-identifier 'in-hash-values 'racket/private/for) - (-poly (a b) - (cl-> [((-HT a b)) (-seq b)] - [(-HashTop) (-seq Univ)]))] - [(make-template-identifier 'in-hash-pairs 'racket/private/for) - (-poly (a b) - (cl-> [((-HT a b)) (-seq (-pair a b))] - [(-HashTop) (-seq (-pair Univ Univ))]))] [(make-template-identifier 'default-in-hash-key+values 'racket/private/for) (-poly (a b) (cl-> [((-HT a b)) (-seq a b)]