From 400340b8973be0ba9df461b9367b9531ec43ebf4 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 30 Aug 2013 22:08:05 -0400 Subject: [PATCH] Fix type of generic-set? for hash set default. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- .../typed-racket-test/tests/typed-racket/succeed/set.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 a508af9cb8..7151c34214 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 @@ -1047,7 +1047,7 @@ [proper-subset? (-poly (e) (-> (-set e) (-set e) B))] [set-map (-poly (e b) (-> (-set e) (-> e b) (-lst b)))] [set-for-each (-poly (e b) (-> (-set e) (-> e b) -Void))] -[generic-set? (asym-pred Univ B (-FS (-filter (-set Univ) 0) -top))] +[generic-set? (asym-pred Univ B (-FS -top (-not-filter (-set Univ) 0)))] [set? (make-pred-ty (-set Univ))] [set-equal? (-poly (e) (-> (-set e) B))] [set-eqv? (-poly (e) (-> (-set e) B))] diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt index 53d6c0e4b1..4fe7414f46 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt @@ -38,4 +38,4 @@ (set-eqv? v) (set-eq? q) (cast (and (set? s0) s0) (Setof Any)) -(cast (and (generic-set? s0) s0) (Setof Any)) +(generic-set? s0)