From 84798bd3934f092298ec27f151f7c7da1ac7132e Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 29 Aug 2013 18:23:45 -0700 Subject: [PATCH] Fix set? in TR. --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 3 ++- .../typed-racket-test/tests/typed-racket/succeed/set.rkt | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) 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 469e2c3e15..d3189438b2 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,8 @@ [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? (make-pred-ty (-set Univ))] +[generic-set? (-> Univ B)] +[set? (make-pred-ty (-set Univ))] [set-equal? (-poly (e) (-> (-set e) B))] [set-eqv? (-poly (e) (-> (-set e) B))] [set-eq? (-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 de9d5cb179..84a666727f 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,3 +38,4 @@ (set-eqv? v) (set-eq? q) (set? s0) +(generic-set? s0)