From 1c726f9b5cd9fc659f5694749c50c2a1ed99013b Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Wed, 28 Aug 2013 00:10:18 -0400 Subject: [PATCH] Changed set? to generic-set?. original commit: 6665f42e336a96835d95e420d48854dcd1c85b5d --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 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 6b6102df..469e2c3e 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))] -[set? (make-pred-ty (-set Univ))] +[generic-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))]