From c05791116460d45b4cde5e4b8c21f2878f86e73c Mon Sep 17 00:00:00 2001 From: Cadence Ember Date: Mon, 8 Sep 2025 22:21:52 +1200 Subject: [PATCH] hash-keys: support try-order argument --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 09d1b0bd9..a76356389 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -1048,7 +1048,9 @@ [hash-count (-> -HashTableTop -Index)] [hash-empty? (-> -HashTableTop -Boolean)] [hash-keys (-poly (a b) (cl-> [((-HT a b)) (-lst a)] - [(-HashTableTop) (-lst Univ)]))] + [((-HT a b) -Boolean) (-lst a)] + [(-HashTableTop) (-lst Univ)] + [(-HashTableTop -Boolean) (-lst Univ)]))] [hash-values (-poly (a b) (cl-> [((-HT a b)) (-lst b)] [(-HashTableTop) (-lst Univ)]))] [hash->list (-poly (a b) (cl-> [((-HT a b)) (-lst (-pair a b))]