From 5784358332d6bd3b66b9e982da090de7aaf27f38 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 30 Aug 2013 12:11:25 -0400 Subject: [PATCH] Improve type for generic-set?. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- .../typed-racket-test/tests/typed-racket/succeed/set.rkt | 4 ++-- 2 files changed, 3 insertions(+), 3 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 d3189438b2..a508af9cb8 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? (-> Univ B)] +[generic-set? (asym-pred Univ B (-FS (-filter (-set Univ) 0) -top))] [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 84a666727f..53d6c0e4b1 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 @@ -37,5 +37,5 @@ (set-equal? s) (set-eqv? v) (set-eq? q) -(set? s0) -(generic-set? s0) +(cast (and (set? s0) s0) (Setof Any)) +(cast (and (generic-set? s0) s0) (Setof Any))