From 36ba652e5c52c77165fd66582efab52a362d9cea Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 6 Nov 2013 14:16:58 -0500 Subject: [PATCH] Revert type key change from 0a6537a6cbed7ca477d153 Sets are still treated as hash sets. Eventually when we have a type for generic sets, it should have a #f type key. original commit: 570c58961ed1603733e2c5c7be3402db60e766b8 --- .../typed-racket-lib/typed-racket/rep/type-rep.rkt | 2 +- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt index a0914621..74fc83f0 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt @@ -182,7 +182,7 @@ ;; elem is a Type (def-type Set ([elem Type/c]) - [#:key #f]) + [#:key 'set]) ;; result is a Type (def-type Evt ([result Type/c]) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 16b180ad..f40df966 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -1817,6 +1817,14 @@ (for: ([k : Symbol (in-set (set 'x 'y 'z))]) (displayln k)) (void)) -Void] + + ;; PR 14139 + [tc-e + (let () + (: f : (U (Setof Integer) Integer) → (Setof Integer)) + (define (f s) (if (set? s) s (set))) + (void)) + -Void] ) (test-suite "tc-literal tests"